diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-04-20 09:27:50 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-04-20 09:27:50 +0000 |
| commit | 229a9278aac080852863004515286aa106857fc0 (patch) | |
| tree | adf7787ef9569dd63423802893ba7751405a5553 /gcc/ada/switch-c.adb | |
| parent | ae381971354e7f5c123305f04dad429a48d5fd41 (diff) | |
| download | gcc-229a9278aac080852863004515286aa106857fc0.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146382 138bc75d-0d04-0410-961f-82ee72b054a4
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 6c79b94569f..dc8538363de 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); |