Skip to content

CONSTRAINT_ERROR : gnatcoll-projects.adb:5729 index check failed #64

@kevlar700

Description

@kevlar700

When using GNAT Studio 23.0w (20220512) to load the project file at the bottom. I get the following log output.

   [GPS.KERNEL.TIMEOUT] Starting the program /home/kc/.config/alire/cache/dependencies/gnat_arm_elf_11.2.4_ba16d45c/bin/arm-eabi-gnat 
   [GPS.KERNEL.TIMEOUT] Connect the command_handler to the console 
   [GPS.KERNEL.TIMEOUT] Spawn the process /home/kc/.config/alire/cache/dependencies/gnat_arm_elf_11.2.4_ba16d45c/bin/arm-eabi-gnat 
   [GPS.KERNEL.REMOTE] Spawning 
   [GPS.KERNEL.REMOTE] Arg: "/home/kc/.config/alire/cache/dependencies/gnat_arm_elf_11.2.4_ba16d45c/bin/arm-eabi-gnat" 
   [GPS.KERNEL.REMOTE] Arg: "make" 
   [GPS.KERNEL.REMOTE] Arg: "-h" 
   [GPS.MAIN.WINDOW] Default size for project-props from properties 
   [GPS.KERNEL.TASK.EXCEPTIONS] Unexpected exception: raised CONSTRAINT_ERROR : gnatcoll-projects.adb:5729 index check failed
   _GPS.KERNEL.TASK.EXCEPTIONS_ [/usr/local/GNAT/CR/bin/../lib/gnatstudio/libgnatcoll.so.23.0w]
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x7f92c7a179c1 gnatcoll__projects__compute_scenario_variables__register_untyped_var.1798.constprop.0 at ???
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x7f92c7a17d06 gnatcoll__projects__compute_scenario_variables__register_var.1778 at ???
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x7f92c7a238c7 gnatcoll__projects__for_each_external_variable_declaration at ???
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x7f92c7a26235 gnatcoll__projects__compute_scenario_variables at ???
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x7f92c7a271aa gnatcoll__projects__scenario_variables__3.part.0 at ???
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x7f92c7a27319 gnatcoll__projects__scenario_variables at ???
   _GPS.KERNEL.TASK.EXCEPTIONS_ [/usr/local/GNAT/CR/bin/gnatstudio_exe]
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x4b30826
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x4b30f30
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x4b310eb
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x4bbc4c6
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x4bbfc12
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x405c544
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x405c988
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x405cb06
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x405daf8
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x40a8c2a
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x4053da9
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x4056e3a
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x3f5bf8e
   _GPS.KERNEL.TASK.EXCEPTIONS_ [/usr/local/GNAT/CR/bin/../lib/gnatstudio/libgtkada.so.23.0w]
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x7f92c4cfd90f
   _GPS.KERNEL.TASK.EXCEPTIONS_ [/usr/local/GNAT/CR/bin/../lib/gnatstudio/libgobject-2.0.so.0]
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x7f92c1014050 g_closure_invoke at gclosure.c:810
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x7f92c1025c24 signal_emit_unlocked_R at gsignal.c:3738
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x7f92c102c007 g_signal_emit_valist at gsignal.c:3494
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x7f92c102c530 g_signal_emit at gsignal.c:3550
   _GPS.KERNEL.TASK.EXCEPTIONS_ [/usr/local/GNAT/CR/bin/../lib/gnatstudio/libgtk-3.so.0]
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x7f92c3d6ce72 gtk_widget_activate at gtkwidget.c:7845
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x7f92c3c25194 gtk_menu_shell_activate_item at gtkmenushell.c:1375
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x7f92c3c2549f gtk_menu_shell_button_release at gtkmenushell.c:791
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x7f92c3a9ba1a _gtk_marshal_BOOLEAN__BOXEDv at gtkmarshalers.c:130
   _GPS.KERNEL.TASK.EXCEPTIONS_ [/usr/local/GNAT/CR/bin/../lib/gnatstudio/libgobject-2.0.so.0]
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x7f92c101429d _g_closure_invoke_va at gclosure.c:873
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x7f92c102b6ea g_signal_emit_valist at gsignal.c:3403
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x7f92c102c530 g_signal_emit at gsignal.c:3550
   _GPS.KERNEL.TASK.EXCEPTIONS_ [/usr/local/GNAT/CR/bin/../lib/gnatstudio/libgtk-3.so.0]
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x7f92c3d6a632 gtk_widget_event_internal.part.0 at gtkwidget.c:7812
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x7f92c3c0d55e propagate_event at gtkmain.c:2588
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x7f92c3c0ef21 gtk_main_do_event at gtkmain.c:1921
   _GPS.KERNEL.TASK.EXCEPTIONS_ [/usr/local/GNAT/CR/bin/../lib/gnatstudio/libgdk-3.so.0]
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x7f92c3631433 _gdk_event_emit at gdkevents.c:73
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x7f92c3666590 gdk_event_source_dispatch at gdkeventsource.c:367
   _GPS.KERNEL.TASK.EXCEPTIONS_ [/usr/local/GNAT/CR/bin/../lib/gnatstudio/libglib-2.0.so.0]
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x7f92c0c52b49 g_main_context_dispatch at gmain.c:3325
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x7f92c0c52db6 g_main_context_iterate.constprop.0 at gmain.c:4119
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x7f92c0c52e5d g_main_context_iteration at gmain.c:4184
   _GPS.KERNEL.TASK.EXCEPTIONS_ [/usr/local/GNAT/CR/bin/../lib/gnatstudio/libgio-2.0.so.0]
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x7f92c14e0293 g_application_run at gapplication.c:2559
   _GPS.KERNEL.TASK.EXCEPTIONS_ [/usr/local/GNAT/CR/bin/gnatstudio_exe]
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x2bc669d
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x2b9d9d4
   _GPS.KERNEL.TASK.EXCEPTIONS_ [/lib64/libc.so.6]
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x7f92c8e32208
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x7f92c8e322ba
   _GPS.KERNEL.TASK.EXCEPTIONS_ [/usr/local/GNAT/CR/bin/gnatstudio_exe]
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0x2ba8cc3
   _GPS.KERNEL.TASK.EXCEPTIONS_ 0xfffffffffffffffe 
with "config/stm32l4r9_hal_config.gpr";
project Stm32l4r9_Hal is

   for Library_Name use "Stm32l4r9_Hal";
   for Library_Version use Project'Library_Name & ".so." & Stm32l4r9_Hal_Config.Crate_Version;

   for Source_Dirs use ("src",
                        "src/cortex_m",
                        "src/cortex_m/cm4f",
                        "src/drivers/**",
                        "src/devices/STM32L4R9",
                        "src/svd/STM32L4R9");

   for Object_Dir use "obj";
   for Create_Missing_Dirs use "True";
   for Library_Dir use "lib";
   
      -- Added Manually
   for Target use "arm-eabi";
   for Runtime ("ada") use "zfp-cortex-m4f";
   -- End Added Manually

--   type Library_Type_Type is ("relocatable", "static", "static-pic");
--   Library_Type : Library_Type_Type :=
--    external ("STM32L4R9_HAL_LIBRARY_TYPE", external ("LIBRARY_TYPE", "static"));

   for Library_Kind use "static";
   
 package Compiler is
      for Default_Switches ("ada") use ("-g", "-gnatQ", "-fcallgraph-info=su,da", "-gnato", "-gnatVa", "-gnatwYa.b.fh.h.kl.o.st.w.y.X", "-gnatyaAbBdeiklM120nOrsSu"); -- Don't quit. Generate
      for Local_Configuration_Pragmas use "gnat.adc";
   end Compiler;

   package Binder is
      for Switches ("Ada") use ("-Es"); --  Symbolic traceback
   end Binder;

   package Ide is
      for Vcs_Kind use "git";
      for Vcs_Repository_Root use ".";
   end Ide;

   package Pretty_Printer is
      for Default_Switches ("ada") use ("--call-threshold=1", "--par-threshold=1", "--vertical-enum-types", "--vertical-named-aggregates", "--comments-unchanged", "-W8");
   end Pretty_Printer;

   package Builder is
      for Switches ("ada") use ("-g", "-j2");
   end Builder;

end Stm32l4r9_Hal;

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions