diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-10-11 11:48:35 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-10-11 11:48:35 +0200 |
| commit | 76e3504fad8d01df1ac2cc110051f593fdf49faf (patch) | |
| tree | d086737515eaf19da233b1d479e7cf13f22b53da /gcc/ada/gnat1drv.adb | |
| parent | ae6ede7778adc56299bdecf1e73302aebc990fef (diff) | |
| download | gcc-76e3504fad8d01df1ac2cc110051f593fdf49faf.tar.gz | |
[multiple changes]
2010-10-11 Javier Miranda <miranda@adacore.com>
* sem_ch10.adb (Analyze_With_Clause): Add missing test to ensure
availability of attribute Instance_Spec.
2010-10-11 Arnaud Charlet <charlet@adacore.com>
* gnat1drv.adb (Adjust_Global_Switches): Disable codepeer mode if
checking syntax only or in ASIS mode.
2010-10-11 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (Check_Delayed_Subprogram): Abstract subprograms may also
need a freeze node if some type in the profile has one.
* gcc-interface/trans.c (case N_Abstract_Subprogram_Declaration): If
entity has a freeze node, defer elaboration.
2010-10-11 Emmanuel Briot <briot@adacore.com>
* prj-nmsc.adb (Check_Aggregate_Project): Add support for finding all
aggregated projects.
From-SVN: r165287
Diffstat (limited to 'gcc/ada/gnat1drv.adb')
| -rw-r--r-- | gcc/ada/gnat1drv.adb | 16 |
1 files changed, 10 insertions, 6 deletions
diff --git a/gcc/ada/gnat1drv.adb b/gcc/ada/gnat1drv.adb index 04b26c58fa5..5e95182425d 100644 --- a/gcc/ada/gnat1drv.adb +++ b/gcc/ada/gnat1drv.adb @@ -123,6 +123,13 @@ procedure Gnat1drv is Generate_SCIL := True; end if; + -- Disable CodePeer_Mode in Check_Syntax, since we need front-end + -- expansion. + + if Operating_Mode = Check_Syntax then + CodePeer_Mode := False; + end if; + -- Set ASIS mode if -gnatt and -gnatc are set if Operating_Mode = Check_Semantics and then Tree_Output then @@ -136,10 +143,11 @@ procedure Gnat1drv is Inline_Active := False; - -- Turn off SCIL generation in ASIS mode, since SCIL requires front- - -- end expansion. + -- Turn off SCIL generation and CodePeer mode in semantics mode, + -- since SCIL requires front-end expansion. Generate_SCIL := False; + CodePeer_Mode := False; end if; -- SCIL mode needs to disable front-end inlining since the generated @@ -160,10 +168,6 @@ procedure Gnat1drv is Front_End_Inlining := False; Inline_Active := False; - -- Turn off ASIS mode: incompatible with front-end expansion - - ASIS_Mode := False; - -- Disable front-end optimizations, to keep the tree as close to the -- source code as possible, and also to avoid inconsistencies between -- trees when using different optimization switches. |