diff options
| author | Robert Dewar <dewar@adacore.com> | 2014-01-20 13:57:30 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-20 14:57:30 +0100 |
| commit | 1f0b1e48473f587a1d6104612ef1c865df169643 (patch) | |
| tree | eb52567ceca7bf15890ad0b3a2ca1bf0fd487b88 /gcc/ada/expander.adb | |
| parent | c093d3cce4323009b79e41dadee5f4f224112924 (diff) | |
| download | gcc-1f0b1e48473f587a1d6104612ef1c865df169643.zip gcc-1f0b1e48473f587a1d6104612ef1c865df169643.tar.gz gcc-1f0b1e48473f587a1d6104612ef1c865df169643.tar.bz2 | |
sem_aggr.adb, [...]: Minor reformatting.
2014-01-20 Robert Dewar <dewar@adacore.com>
* sem_aggr.adb, exp_prag.adb, sem_aux.adb, sinfo.ads, sem_ch10.adb,
checks.adb, sem_prag.adb, sem_ch12.adb, freeze.adb, g-arrspl.adb,
expander.adb, gnat1drv.adb, exp_ch4.adb, sem_ch6.adb,
sem_ch8.adb, exp_dist.adb: Minor reformatting.
From-SVN: r206813
Diffstat (limited to 'gcc/ada/expander.adb')
| -rw-r--r-- | gcc/ada/expander.adb | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/gcc/ada/expander.adb b/gcc/ada/expander.adb index 1fd1bc8..760c264 100644 --- a/gcc/ada/expander.adb +++ b/gcc/ada/expander.adb @@ -84,14 +84,14 @@ package body Expander is and then not (Inside_A_Generic and then Expander_Active)); -- There are three reasons for the Expander_Active flag to be false - -- + -- The first is when are not generating code. In this mode the -- Full_Analysis flag indicates whether we are performing a complete -- analysis, in which case Full_Analysis = True or a pre-analysis in -- which case Full_Analysis = False. See the spec of Sem for more info -- on this. Additionally, the GNATprove_Mode flag indicates that a light -- expansion for formal verification should be used. - -- + -- The second reason for the Expander_Active flag to be False is that -- we are performing a pre-analysis. During pre-analysis all expansion -- activity is turned off to make sure nodes are semantically decorated @@ -111,9 +111,7 @@ package body Expander is if not (Expander_Active or (Full_Analysis and GNATprove_Mode)) then Set_Analyzed (N, Full_Analysis); - if Serious_Errors_Detected > 0 - and then Scope_Is_Transient - then + if Serious_Errors_Detected > 0 and then Scope_Is_Transient then Scope_Stack.Table (Scope_Stack.Last).Actions_To_Be_Wrapped_Before := No_List; Scope_Stack.Table |