OSDN Git Service

2011-08-29 Johannes Kanig <kanig@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 29 Aug 2011 13:26:02 +0000 (13:26 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 29 Aug 2011 13:26:02 +0000 (13:26 +0000)
commit9663760b4ea36fd87161cae28a0c27b62987a420
treed7a69746de0804fc5c8825932ebab77567c48383
parentcdfc6883f228e7847a470de615dfbd1bb0b591f8
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178223 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/exp_ch4.adb
gcc/ada/gnat1drv.adb
gcc/ada/sem_res.adb