AdaCore / ada_language_server

Server implementing the Microsoft Language Protocol for Ada and SPARK
GNU General Public License v3.0
226 stars 54 forks source link

ALS 23.0.21 crash when requested lookup of constant #1163

Closed Fratee closed 2 months ago

Fratee commented 10 months ago

crashed when ctrl+click on K_BANANA

function CheckBanana(STATUS: in MY_UNIT.A_TYPE) return Boolean is
  IS_OK : boolean;
  use type MY_UNIT.A_TYPE;
begin
  if (STATUS and MY_UNIT.K_BANANA) = 0 then
     IS_OK := false;
  else
      IS_OK:= true;
 end if;
end CheckBanana;

MY_UNIT:

K_BANANA: constant  := 12345;
Error - 8:28:00 AM] Request textDocument/definition failed.
  Message: PROGRAM_ERROR
[c:\Users\usp00bo\.vscode\extensions\adacore.ada-23.0.21\x64\win32\ada_language_server.exe]
0x7ff642668938
[C:\WINDOWS\SYSTEM32\ntdll.dll]
0x7ff95b8923ad
[C:\WINDOWS\SYSTEM32\ntdll.dll]
0x7ff95b8414b2
[C:\WINDOWS\SYSTEM32\ntdll.dll]
0x7ff95b890ebc
[c:\Users\usp00bo\.vscode\extensions\adacore.ada-23.0.21\x64\win32\ada_language_server.exe]
0x7ff64137b5ae
0x7ff64137f3dc
0x7ff64137f4b7
0x7ff6411fe0d5
0x7ff641429870
0x7ff64149e21a
0x7ff6415a6d8d
0x7ff6415a9fcb
0x7ff6414f7f8e
0x7ff6414f91dd
0x7ff6414fadda
0x7ff641634dd7
0x7ff641678858
0x7ff64163515a
0x7ff64166f606
0x7ff641634415
0x7ff64164da14
0x7ff641634e7b
0x7ff64166f599
0x7ff641634415
0x7ff641661211
0x7ff64120a51d
0x7ff6414e3651
0x7ff6414e3201
0x7ff6414e3201
0x7ff6414e3201
0x7ff6414e3201
0x7ff6414e3201
0x7ff6414e4b0e
0x7ff6414e4d20
0x7ff6414e5ff9
0x7ff6414e693c
0x7ff6415c218a
0x7ff6415c2341
0x7ff640ea5c4f
0x7ff640c03b1f
0x7ff64089ea4c
0x7ff64089f453
0x7ff6406b2414
0x7ff640693416
0x7ff6406a5a9e
0x7ff6406a64bd
0x7ff6425af0fe
[C:\WINDOWS\System32\KERNEL32.DLL]
0x7ff959db7612
[C:\WINDOWS\SYSTEM32\ntdll.dll]
0x7ff95b8426af

  Code: -32603 
AnthonyLeonardoGracio commented 10 months ago

Hello!

We can't reproduce the issue on our side unfortunately. Does it still happen with the latest version of the extension? Can it be reproduced systematically? If yes, could you provide your whole project in a .zip archive?

Regards,