diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-27 14:09:11 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-27 14:09:11 +0200 |
| commit | de33eb3865a19e2fcc527de18e611de0703cb83a (patch) | |
| tree | a9a4e9fa415795e1946a1894ef10ac7a430de742 /libgomp/icv.c | |
| parent | 1b7c8d39fb9f98a73adfd125b5f3b768c6401cd2 (diff) | |
| download | gcc-de33eb3865a19e2fcc527de18e611de0703cb83a.zip gcc-de33eb3865a19e2fcc527de18e611de0703cb83a.tar.gz gcc-de33eb3865a19e2fcc527de18e611de0703cb83a.tar.bz2 | |
[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
Diffstat (limited to 'libgomp/icv.c')
0 files changed, 0 insertions, 0 deletions