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/ada/adabkend.adb | |
| parent | cbf9e2fee37489089874cce8c03aa23eb5ed977e (diff) | |
| download | gcc-fb620f0e8dfb4edfc153e7ecca7ad30989812da8.tar.gz | |
[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/ada/adabkend.adb')
| -rw-r--r-- | gcc/ada/adabkend.adb | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/gcc/ada/adabkend.adb b/gcc/ada/adabkend.adb index 738854f1b29..36665f615eb 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 |