projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 29049f0) | patch
[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Mon, 4 Aug 2014 09:49:19 +0000 (11:49 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 4 Aug 2014 09:49:19 +0000 (11:49 +0200)
commite943fe8a6ae5d1b5f1f82825145cbd4e7c764405
treef9480b46729c2d40ecc02010804a5d4de3c660dftree
parent29049f0b22b4475b4f8e0872b0455d025782e041commit | diff
[multiple changes]

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

* sem_ch12.adb: Minor reformatting.

2014-08-04  Arnaud Charlet  <charlet@adacore.com>

* exp_util.adb, checks.adb (Check_Float_Op_Overflow): Add special
expansion in CodePeer_Mode.
(Selected_Range_Checks): Add handling of overflow checks in
CodePeer_Mode.

From-SVN: r213547
gcc/ada/ChangeLog diff | blob | history
gcc/ada/checks.adb diff | blob | history
gcc/ada/exp_util.adb diff | blob | history
gcc/ada/sem_ch12.adb diff | blob | history