diff options
Diffstat (limited to 'gcc/ada/gnat1drv.adb')
-rw-r--r-- | gcc/ada/gnat1drv.adb | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gcc/ada/gnat1drv.adb b/gcc/ada/gnat1drv.adb index 6e90c2b..b2e0647 100644 --- a/gcc/ada/gnat1drv.adb +++ b/gcc/ada/gnat1drv.adb @@ -109,6 +109,9 @@ procedure Gnat1drv is ---------------------------- procedure Adjust_Global_Switches is + procedure set_flag_debug_instances (Val : Int); + pragma Import (C, set_flag_debug_instances); + begin -- Debug flag -gnatd.I is a synonym for Generate_SCIL and requires code -- generation. @@ -573,6 +576,10 @@ procedure Gnat1drv is end if; end if; + -- Set back-end flag_debug_instances from corresponding front-end flag + + set_flag_debug_instances (Boolean'Pos (Generate_SCO_Instance_Table)); + -- Finally capture adjusted value of Suppress_Options as the initial -- value for Scope_Suppress, which will be modified as we move from -- scope to scope (by Suppress/Unsuppress/Overflow_Checks pragmas). |