[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Mon, 20 Jan 2014 15:45:51 +0000 (16:45 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 20 Jan 2014 15:45:51 +0000 (16:45 +0100)
commitff4e28eb7d01f36d8848a328d0ad7cf4b8c1d3c5
treea59b6fd98ee1b936e9707aa626a253218922d45e
parenta1efcc17b7f168c11304b7600ca7e25430ec6128
[multiple changes]

2014-01-20  Arnaud Charlet  <charlet@adacore.com>

* s-tataat.adb (Initialize_Attributes): Abort might already be
deferred in Create_Task.

2014-01-20  Hristian Kirtchev  <kirtchev@adacore.com>

* checks.adb (Apply_Scalar_Range_Check): Flag
the exponent as requiring a range check when the expression is
an exponentiation.

From-SVN: r206831
gcc/ada/ChangeLog
gcc/ada/checks.adb
gcc/ada/s-tataat.adb