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 /gcc/ada/namet.adb | |
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 'gcc/ada/namet.adb')
-rw-r--r-- | gcc/ada/namet.adb | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/gcc/ada/namet.adb b/gcc/ada/namet.adb index 20dd504..b87dd91 100644 --- a/gcc/ada/namet.adb +++ b/gcc/ada/namet.adb @@ -1088,10 +1088,10 @@ package body Namet is begin Name_Chars.Set_Last (Name_Chars.Last + Name_Chars_Reserve); Name_Entries.Set_Last (Name_Entries.Last + Name_Entries_Reserve); - Name_Chars.Locked := True; - Name_Entries.Locked := True; Name_Chars.Release; + Name_Chars.Locked := True; Name_Entries.Release; + Name_Entries.Locked := True; end Lock; ---------------- @@ -1708,11 +1708,11 @@ package body Namet is procedure Unlock is begin - Name_Chars.Set_Last (Name_Chars.Last - Name_Chars_Reserve); - Name_Entries.Set_Last (Name_Entries.Last - Name_Entries_Reserve); Name_Chars.Locked := False; - Name_Entries.Locked := False; + Name_Chars.Set_Last (Name_Chars.Last - Name_Chars_Reserve); Name_Chars.Release; + Name_Entries.Locked := False; + Name_Entries.Set_Last (Name_Entries.Last - Name_Entries_Reserve); Name_Entries.Release; end Unlock; |