search

AdaCore / gnatstudio

GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
399 stars 52 forks source link

GNAT Studio 23.0w (20220512) crash when a signed integer is entered in the search box, and we click on the Calculator context search result line #154

Open dsauvage opened 1 year ago

dsauvage commented 1 year ago

GNAT Studio 23.0w (20220512) hosted on x86_64-pc-linux-gnu

GNAT Studio crash when a signed integer is entered in the search box (GNAT Studio top right), and when the user click on the Calculator context search result line.

While a GNATCOLL.VFS.VFS_INVALID_FILE_ERROR exception is initially raised from gnatcoll-vfs.adb:340, may be nominal as we are in the Calculator context, and no such file exists. However, another exception, "raised PROGRAM_ERROR : adjust/finalize" might be related to a GNAT compiler bug, used to build the GNAT Studio 23.0w (20220512) release.

Unhandled Exception raised
raised STORAGE_ERROR : s-intman.adb:136 explicit raise
[gnatstudio-23.0w/bin/../lib/gnatstudio/libgnarl-23.20220414.so]
0x7f6f2e4bfd6c system__interrupt_management__notify_exception at ???
[/lib/x86_64-linux-gnu/libpthread.so.0]
0x7f6f3181941e
[gnatstudio-23.0w/bin/../lib/gnatstudio/libgnat-23.20220414.so]
0x7f6f2e0f4fab system__traceback__symbolic__symbolic_traceback__3 at ???
0xfffffffffffffffe

Unhandled Exception raised
raised PROGRAM_ERROR : adjust/finalize raised GNATCOLL.VFS.VFS_INVALID_FILE_ERROR: gnatcoll-vfs.adb:340
[gnatstudio-23.0w/bin/../lib/gnatstudio/libgnarl-23.20220414.so]
0x7f6f2e4ced7d system__tasking__stages__finalize_global_tasks at ???
[gnatstudio-23.0w/bin/../lib/gnatstudio/libgnat-23.20220414.so]
0x7f6f2df0e328 __gnat_last_chance_handler at ???
0x7f6f2df10132 Ada.Exceptions.Exception_Traces.Unhandled_Exception_Terminate at a-exextr.adb:190
0x7f6f2df0feee .Gnat_Unhandled_Except_Handler at a-exexpr.adb:672
0x7f6f2e19a19a __gnat_cleanupunwind_handler at ???
[gnatstudio-23.0w/bin/../lib/gnatstudio/libgcc_s.so.1]
0x7f6f2db6c10f _Unwind_ForcedUnwind_Phase2 at unwind.inc:170
0x7f6f2db6c740 _Unwind_ForcedUnwind at unwind.inc:217
[gnatstudio-23.0w/bin/../lib/gnatstudio/libgnat-23.20220414.so]
0x7f6f2df0fe96 Ada.Exceptions.Exception_Propagation.Propagate_Gcc_Exception at a-exexpr.adb:613
0x7f6f2df0fead Ada.Exceptions.Exception_Propagation.Propagate_Exception at a-exexpr.adb:630
[gnatstudio-23.0w/bin/../lib/gnatstudio/libgnarl-23.20220414.so]
0x7f6f2e4bfd6c system__interrupt_management__notify_exception at ???
[/lib/x86_64-linux-gnu/libpthread.so.0]
0x7f6f3181941e
[gnatstudio-23.0w/bin/../lib/gnatstudio/libgnat-23.20220414.so]
0x7f6f2e0f4fab system__traceback__symbolic__symbolic_traceback__3 at ???
0xfffffffffffffffe

Unhandled Exception raised
raised PROGRAM_ERROR : adjust/finalize raised GNATCOLL.VFS.VFS_INVALID_FILE_ERROR: gnatcoll-vfs.adb:340
[/lib64/ld-linux-x86-64.so.2]
0x7f6f39338f69
[/lib/x86_64-linux-gnu/libc.so.6]
0x7f6f2d9af8a5
0x7f6f2d9afa5e
[/opt/ada/gnatstudio-23.0w/bin/../lib/gnatstudio/libgnat-23.20220414.so]
0x7f6f2e197387 __gnat_os_exit at ???
0x7f6f2df0e444 __gnat_last_chance_handler at ???
0x7f6f2df10132 Ada.Exceptions.Exception_Traces.Unhandled_Exception_Terminate at a-exextr.adb:190
0x7f6f2df0feee .Gnat_Unhandled_Except_Handler at a-exexpr.adb:672
0x7f6f2e19a19a __gnat_cleanupunwind_handler at ???
[/opt/ada/gnatstudio-23.0w/bin/../lib/gnatstudio/libgcc_s.so.1]
0x7f6f2db6c10f _Unwind_ForcedUnwind_Phase2 at unwind.inc:170
0x7f6f2db6c9c3 _Unwind_Resume at unwind.inc:243
[/opt/ada/gnatstudio-23.0w/bin/../lib/gnatstudio/libgnarl-23.20220414.so]
0x7f6f2e4ced7d system__tasking__stages__finalize_global_tasks at ???
[/opt/ada/gnatstudio-23.0w/bin/../lib/gnatstudio/libgnat-23.20220414.so]
0x7f6f2df0e328 __gnat_last_chance_handler at ???
0x7f6f2df10132 Ada.Exceptions.Exception_Traces.Unhandled_Exception_Terminate at a-exextr.adb:190
0x7f6f2df0feee .Gnat_Unhandled_Except_Handler at a-exexpr.adb:672
0x7f6f2e19a19a __gnat_cleanupunwind_handler at ???
[/opt/ada/gnatstudio-23.0w/bin/../lib/gnatstudio/libgcc_s.so.1]
0x7f6f2db6c10f _Unwind_ForcedUnwind_Phase2 at unwind.inc:170
0x7f6f2db6c740 _Unwind_ForcedUnwind at unwind.inc:217
[/opt/ada/gnatstudio-23.0w/bin/../lib/gnatstudio/libgnat-23.20220414.so]
0x7f6f2df0fe96 Ada.Exceptions.Exception_Propagation.Propagate_Gcc_Exception at a-exexpr.adb:613
0x7f6f2df0fead Ada.Exceptions.Exception_Propagation.Propagate_Exception at a-exexpr.adb:630
[/opt/ada/gnatstudio-23.0w/bin/../lib/gnatstudio/libgnarl-23.20220414.so]
0x7f6f2e4bfd6c system__interrupt_management__notify_exception at ???
[/lib/x86_64-linux-gnu/libpthread.so.0]
0x7f6f3181941e
[/opt/ada/gnatstudio-23.0w/bin/../lib/gnatstudio/libgnat-23.20220414.so]
0x7f6f2e0f4fab system__traceback__symbolic__symbolic_traceback__3 at ???
AnthonyLeonardoGracio commented 1 year ago

Hello @dsauvage,

We can reproduce the issue. Thanks for the report!

Regards,