sem_res.adb (Preanalyze_And_Resolve): In Alfa mode do not disable checks...
authorEd Schonberg <schonberg@adacore.com>
Tue, 6 Nov 2012 10:47:21 +0000 (10:47 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 6 Nov 2012 10:47:21 +0000 (11:47 +0100)
commit1115dd7ed7f7aec9c532b74ae01390e0fc0f57cf
tree991415545ba8f2db4c910d88f75002e82164a999
parent97ce3a148a0c13f7ec36584e70f5a2e952b63a32
sem_res.adb (Preanalyze_And_Resolve): In Alfa mode do not disable checks...

2012-11-06  Ed Schonberg  <schonberg@adacore.com>

* sem_res.adb (Preanalyze_And_Resolve): In Alfa mode do not
disable checks, so that flags can be properly set on expressions
that are not further expanded.

From-SVN: r193231
gcc/ada/ChangeLog
gcc/ada/sem_res.adb