[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Thu, 27 Apr 2017 12:09:11 +0000 (14:09 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 27 Apr 2017 12:09:11 +0000 (14:09 +0200)
commitde33eb3865a19e2fcc527de18e611de0703cb83a
treea9a4e9fa415795e1946a1894ef10ac7a430de742
parent1b7c8d39fb9f98a73adfd125b5f3b768c6401cd2
[multiple changes]

2017-04-27  Bob Duff  <duff@adacore.com>

* g-dyntab.ads, g-dyntab.adb: Add assertions to subprograms that
can reallocate.
* atree.adb, elists.adb, fname-uf.adb, ghost.adb, inline.adb,
* lib.adb, namet.adb, nlists.adb, sem.adb, sinput.adb, stringt.adb:
Reorder code so that above assertions do not fail.
* table.ads: Remove obsolete comment on Locked.

2017-04-27  Claire Dross  <dross@adacore.com>

* a-cfdlli.ads: Code cleanup.

2017-04-27  Yannick Moy  <moy@adacore.com>

* exp_spark.adb (Expand_SPARK_Freeze_Type): Build a DIC procedure
when needed for proof. (Expand_SPARK): Call the new procedure.
* exp_util.ads Fix typo.

2017-04-27  Gary Dismukes  <dismukes@adacore.com>

* a-cofuma.ads, a-cfhama.ads: Minor reformatting, grammar, and typo
fixes.

From-SVN: r247323
20 files changed:
gcc/ada/ChangeLog
gcc/ada/a-cfdlli.ads
gcc/ada/a-cfhama.ads
gcc/ada/a-cofuma.ads
gcc/ada/atree.adb
gcc/ada/elists.adb
gcc/ada/exp_spark.adb
gcc/ada/exp_util.ads
gcc/ada/fname-uf.adb
gcc/ada/g-dyntab.adb
gcc/ada/g-dyntab.ads
gcc/ada/ghost.adb
gcc/ada/inline.adb
gcc/ada/lib.adb
gcc/ada/namet.adb
gcc/ada/nlists.adb
gcc/ada/sem.adb
gcc/ada/sinput.adb
gcc/ada/stringt.adb
gcc/ada/table.ads