diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-29 15:33:32 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-29 15:33:32 +0200 |
| commit | 3ddd922ebf36fb7d4701e8f55e633d27fca54296 (patch) | |
| tree | 2cd208abe1d4a90b529b90894e8a74cc9c7d3425 /gcc/ada/sem_res.adb | |
| parent | 444acbddf8211319b4adc6c9b161ce836db7d129 (diff) | |
| download | gcc-3ddd922ebf36fb7d4701e8f55e633d27fca54296.zip gcc-3ddd922ebf36fb7d4701e8f55e633d27fca54296.tar.gz gcc-3ddd922ebf36fb7d4701e8f55e633d27fca54296.tar.bz2 | |
[multiple changes]
2011-08-29 Yannick Moy <moy@adacore.com>
* exp_ch13.adb: Adjust previous change.
2011-08-29 Robert Dewar <dewar@adacore.com>
* 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
Diffstat (limited to 'gcc/ada/sem_res.adb')
| -rw-r--r-- | gcc/ada/sem_res.adb | 7 |
1 files changed, 4 insertions, 3 deletions
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; |