From 3ddd922ebf36fb7d4701e8f55e633d27fca54296 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Mon, 29 Aug 2011 15:33:32 +0200 Subject: [multiple changes] 2011-08-29 Yannick Moy * exp_ch13.adb: Adjust previous change. 2011-08-29 Robert Dewar * sem_prag.adb, prj.adb, sem_util.adb, sem_res.adb, gnat1drv.adb, exp_ch4.adb, sem_ch8.adb: Minor code reorganization Minor reformatting. From-SVN: r178226 --- gcc/ada/sem_res.adb | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'gcc/ada/sem_res.adb') diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb index ab57f46..f56b849 100644 --- a/gcc/ada/sem_res.adb +++ b/gcc/ada/sem_res.adb @@ -8076,6 +8076,8 @@ package body Sem_Res is procedure Resolve_Quantified_Expression (N : Node_Id; Typ : Entity_Id) is begin + -- Normal mode (not ALFA) + if not ALFA_Mode then -- The loop structure is already resolved during its analysis, only @@ -8086,11 +8088,10 @@ package body Sem_Res is Expander_Mode_Save_And_Set (False); Resolve (Condition (N), Typ); Expander_Mode_Restore; - else - -- In ALFA_Mode, no such magic needs to happen, we just resolve the - -- underlying nodes. + -- In ALFA_Mode, no magic needed, we just resolve the underlying nodes + else Resolve (Condition (N), Typ); end if; end Resolve_Quantified_Expression; -- cgit v1.1