diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-09-08 15:18:05 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-09-08 15:18:05 +0200 |
| commit | 8223b65461fbeeb58f4753c23748b64daa84c10e (patch) | |
| tree | 9d2f1271bbeb68636f8cefd5f336b29f95329ae1 /gcc/ada/ChangeLog | |
| parent | cfc29a96f8909d8112d7b3e81984801eb3bb505e (diff) | |
| download | gcc-8223b65461fbeeb58f4753c23748b64daa84c10e.zip gcc-8223b65461fbeeb58f4753c23748b64daa84c10e.tar.gz gcc-8223b65461fbeeb58f4753c23748b64daa84c10e.tar.bz2 | |
[multiple changes]
2017-09-08 Javier Miranda <miranda@adacore.com>
* exp_ch4.adb (Expand_N_Op_Divide): Reordering code that handles
divisions with fixed point results to avoid generating twice
the runtime check on divide by zero.
* checks.adb (Apply_Divide_Checks): Ensure that operands are
not evaluated twice (once for their runtime checks and once for
their regular computation).
2017-09-08 Yannick Moy <moy@adacore.com>
* sem_prag.adb (Analyze_Part_Of): Add missing
return statements after issuing errors. Add detection of
out-of-order item and single concurrent type.
From-SVN: r251892
Diffstat (limited to 'gcc/ada/ChangeLog')
| -rw-r--r-- | gcc/ada/ChangeLog | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 61dc740..067d275 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,18 @@ +2017-09-08 Javier Miranda <miranda@adacore.com> + + * exp_ch4.adb (Expand_N_Op_Divide): Reordering code that handles + divisions with fixed point results to avoid generating twice + the runtime check on divide by zero. + * checks.adb (Apply_Divide_Checks): Ensure that operands are + not evaluated twice (once for their runtime checks and once for + their regular computation). + +2017-09-08 Yannick Moy <moy@adacore.com> + + * sem_prag.adb (Analyze_Part_Of): Add missing + return statements after issuing errors. Add detection of + out-of-order item and single concurrent type. + 2017-09-08 Nicolas Roche <roche@adacore.com> * gcc-interface/Makefile.in, a-extiti.ads, s-taprop-linux.adb, |