diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2018-11-14 11:40:09 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-11-14 11:40:09 +0000 |
| commit | fb620f0e8dfb4edfc153e7ecca7ad30989812da8 (patch) | |
| tree | d8b86d68bcef700f3a93a5c6b6af6953734674b4 /gcc | |
| parent | cbf9e2fee37489089874cce8c03aa23eb5ed977e (diff) | |
| download | gcc-fb620f0e8dfb4edfc153e7ecca7ad30989812da8.zip gcc-fb620f0e8dfb4edfc153e7ecca7ad30989812da8.tar.gz gcc-fb620f0e8dfb4edfc153e7ecca7ad30989812da8.tar.bz2 | |
[Ada] Handle -gx switches explicitly
2018-11-14 Arnaud Charlet <charlet@adacore.com>
gcc/ada/
* adabkend.adb (Scan_Back_End_Switches): Handle -gx switches
explicitly.
From-SVN: r266108
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/ada/adabkend.adb | 20 |
2 files changed, 25 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 5577ddb..f6e996e 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2018-11-14 Arnaud Charlet <charlet@adacore.com> + + * adabkend.adb (Scan_Back_End_Switches): Handle -gx switches + explicitly. + 2018-11-13 Eric Botcazou <ebotcazou@adacore.com> * gcc-interface/misc.c (gnat_init_gcc_eh): Set -fnon-call-exceptions diff --git a/gcc/ada/adabkend.adb b/gcc/ada/adabkend.adb index 738854f..36665f6 100644 --- a/gcc/ada/adabkend.adb +++ b/gcc/ada/adabkend.adb @@ -186,6 +186,26 @@ package body Adabkend is Opt.Suppress_Control_Flow_Optimizations := True; return; + -- Recognize -gxxx switches + + elsif Switch_Chars (First) = 'g' then + Debugger_Level := 2; + + if First < Last then + case Switch_Chars (First + 1) is + when '0' => + Debugger_Level := 0; + when '1' => + Debugger_Level := 1; + when '2' => + Debugger_Level := 2; + when '3' => + Debugger_Level := 3; + when others => + null; + end case; + end if; + -- Ignore all other back end switches elsif Is_Back_End_Switch (Switch_Chars) then |