[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Fri, 5 Oct 2012 14:26:27 +0000 (16:26 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 5 Oct 2012 14:26:27 +0000 (16:26 +0200)
commit967fb65e809daa9c8d5a233dab77dd5e61d8effc
tree2c59e16f45cb06bdd0078f6acdcad19653f91c17
parent60b68e56cecc0af3e14698ba66e620c2eb76705c
[multiple changes]

2012-10-05  Robert Dewar  <dewar@adacore.com>

* sem_util.adb (Has_One_Matching_Field): Handle case of lone
discriminant.

2012-10-05  Yannick Moy  <moy@adacore.com>

* checks.adb (Minimize_Eliminate_Overflow_Checks): Correct code
for the division operation and exponent operation. Adjust bound
for the mod and rem operations.

From-SVN: r192126
gcc/ada/ChangeLog
gcc/ada/checks.adb
gcc/ada/sem_util.adb