[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Mon, 4 Aug 2014 08:07:57 +0000 (10:07 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 4 Aug 2014 08:07:57 +0000 (10:07 +0200)
commit98bf4cf4973d9b66774c85fe271073e7bc0ff916
treea49b72b107d4323bbc67eda560d73754064ea1c9
parentce5ba43a4ea1fe705546313188ce51b783b4037c
[multiple changes]

2014-08-04  Ed Schonberg  <schonberg@adacore.com>

* sem_util.adb (Is_Potentially_Unevaluated): If the original
node of a parent node in the tree is a short-circuit operation,
the node is potentially unevaluated.

2014-08-04  Robert Dewar  <dewar@adacore.com>

* sem_res.adb (Resolve_Type_Conversion): Set Do_Range_Check on
conversion from a real type to an integer type.

From-SVN: r213538
gcc/ada/ChangeLog
gcc/ada/sem_res.adb
gcc/ada/sem_util.adb