diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-04-20 11:27:50 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-04-20 11:27:50 +0200 |
| commit | 68218f7cf3231acd218849e35fc2a481ea9d0bff (patch) | |
| tree | adf7787ef9569dd63423802893ba7751405a5553 /gcc/ada/switch-c.adb | |
| parent | 21a495fba4c18d2a025e75c4938964eb1a70df28 (diff) | |
| download | gcc-68218f7cf3231acd218849e35fc2a481ea9d0bff.zip gcc-68218f7cf3231acd218849e35fc2a481ea9d0bff.tar.gz gcc-68218f7cf3231acd218849e35fc2a481ea9d0bff.tar.bz2 | |
[multiple changes]
2009-04-20 Arnaud Charlet <charlet@adacore.com>
* switch-c.adb (Scan_Front_End_Switches): Disable inspector mode in
ASIS mode.
2009-04-20 Geert Bosch <bosch@adacore.com>
* a-tifiio.adb (Put): Avoid generating too many digits for certain
fixed types with smalls that are neither integer or the reciprocal
of an integer.
2009-04-20 Bob Duff <duff@adacore.com>
* uname.ads: Minor comment fix.
* types.ads: Minor comment fix.
From-SVN: r146382
Diffstat (limited to 'gcc/ada/switch-c.adb')
| -rw-r--r-- | gcc/ada/switch-c.adb | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/gcc/ada/switch-c.adb b/gcc/ada/switch-c.adb index 6c79b94..dc85383 100644 --- a/gcc/ada/switch-c.adb +++ b/gcc/ada/switch-c.adb @@ -257,12 +257,23 @@ package body Switch.C is Set_Dotted_Debug_Flag (C); Store_Compilation_Switch ("-gnatd." & C); - -- Disable front-end inlining in inspector mode -- ??? Change this when we use a non debug flag to -- enable inspector mode. if C = 'I' then - Front_End_Inlining := False; + if ASIS_Mode then + -- Do not enable inspector mode in ASIS mode, + -- since the two switches are incompatible. + + Inspector_Mode := False; + + else + -- In inspector mode, we need back-end rep info + -- annotations and disable front-end inlining. + + Back_Annotate_Rep_Info := True; + Front_End_Inlining := False; + end if; end if; else Set_Debug_Flag (C); |