diff options
| author | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-09-25 09:51:49 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-09-25 09:51:49 +0000 |
| commit | 61b1489667e08d7b1ef6672682906072df7bc369 (patch) | |
| tree | c134926fb8862b14d9968c9e1d5623f67a9d56e0 /gcc/ada/ChangeLog | |
| parent | 871a0725ddee3c9ef8cf827cb85ce08e150fec44 (diff) | |
| download | gcc-61b1489667e08d7b1ef6672682906072df7bc369.zip gcc-61b1489667e08d7b1ef6672682906072df7bc369.tar.gz gcc-61b1489667e08d7b1ef6672682906072df7bc369.tar.bz2 | |
[multiple changes]
2017-09-25 Yannick Moy <moy@adacore.com>
* exp_spark.adb (Expand_SPARK_Indexed_Component,
Expand_SPARK_Selected_Component): New procedures to insert explicit
dereference if required.
(Expand_SPARK): Call the new procedures.
2017-09-25 Patrick Bernardi <bernardi@adacore.com>
* libgnat/a-stwiun.adb, libgnat/s-stchop__vxworks.adb,
libgnat/g-socthi__vxworks.ads, libgnat/a-stzunb.adb,
libgnat/a-strunb.adb, libgnarl/s-osinte__lynxos178.adb,
libgnarl/s-intman__vxworks.adb, libgnarl/s-osinte__darwin.adb,
libgnarl/a-exetim__darwin.adb: Removed ineffective use-clauses.
2017-09-25 Vasiliy Fofanov <fofanov@adacore.com>
* adaint.c (win32_wait): Properly handle error and take into account
the WIN32 limitation on the number of simultaneous wait objects.
2017-09-25 Yannick Moy <moy@adacore.com>
* sem_ch3.adb (Constant_Redeclaration): Do not insert a call to the
invariant procedure in GNATprove mode.
* sem_ch5.adb (Analyze_Assignment): Likewise.
From-SVN: r253143
Diffstat (limited to 'gcc/ada/ChangeLog')
| -rw-r--r-- | gcc/ada/ChangeLog | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 979748e..28fa8f1 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,29 @@ +2017-09-25 Yannick Moy <moy@adacore.com> + + * exp_spark.adb (Expand_SPARK_Indexed_Component, + Expand_SPARK_Selected_Component): New procedures to insert explicit + dereference if required. + (Expand_SPARK): Call the new procedures. + +2017-09-25 Patrick Bernardi <bernardi@adacore.com> + + * libgnat/a-stwiun.adb, libgnat/s-stchop__vxworks.adb, + libgnat/g-socthi__vxworks.ads, libgnat/a-stzunb.adb, + libgnat/a-strunb.adb, libgnarl/s-osinte__lynxos178.adb, + libgnarl/s-intman__vxworks.adb, libgnarl/s-osinte__darwin.adb, + libgnarl/a-exetim__darwin.adb: Removed ineffective use-clauses. + +2017-09-25 Vasiliy Fofanov <fofanov@adacore.com> + + * adaint.c (win32_wait): Properly handle error and take into account + the WIN32 limitation on the number of simultaneous wait objects. + +2017-09-25 Yannick Moy <moy@adacore.com> + + * sem_ch3.adb (Constant_Redeclaration): Do not insert a call to the + invariant procedure in GNATprove mode. + * sem_ch5.adb (Analyze_Assignment): Likewise. + 2017-09-25 Piotr Trojanek <trojanek@adacore.com> * adabkend.adb (Call_Back_End): Fix wording of "front-end" and |