From 1f0b1e48473f587a1d6104612ef1c865df169643 Mon Sep 17 00:00:00 2001 From: Robert Dewar Date: Mon, 20 Jan 2014 13:57:30 +0000 Subject: sem_aggr.adb, [...]: Minor reformatting. 2014-01-20 Robert Dewar * 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 --- gcc/ada/expander.adb | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) (limited to 'gcc/ada/expander.adb') 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 -- cgit v1.1