exp_ch4.adb (Expand_Quantified_Expression): Do not expand in ALFA mode.
authorJohannes Kanig <kanig@adacore.com>
Mon, 29 Aug 2011 13:26:02 +0000 (13:26 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 29 Aug 2011 13:26:02 +0000 (15:26 +0200)
commit69794413ec2445eac7298bd4784fbd1cb34efe9e
treed7a69746de0804fc5c8825932ebab77567c48383
parent59e6b23c684bd7b2024faef3ac1b29279bdf2db2
exp_ch4.adb (Expand_Quantified_Expression): Do not expand in ALFA mode.

2011-08-29  Johannes Kanig  <kanig@adacore.com>

* exp_ch4.adb (Expand_Quantified_Expression): Do not expand in ALFA
mode.
* gnat1drv.adb (Adjust_Global_Switches): Set
Use_Expressions_With_Actions to False in ALFA mode.
* sem_res.adb (Resolve_Quantified_Expression): Simpler treatment in
ALFA mode.

From-SVN: r178223
gcc/ada/ChangeLog
gcc/ada/exp_ch4.adb
gcc/ada/gnat1drv.adb
gcc/ada/sem_res.adb