From de33eb3865a19e2fcc527de18e611de0703cb83a Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Thu, 27 Apr 2017 14:09:11 +0200 Subject: [multiple changes] 2017-04-27 Bob Duff * 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 * a-cfdlli.ads: Code cleanup. 2017-04-27 Yannick Moy * 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 * a-cofuma.ads, a-cfhama.ads: Minor reformatting, grammar, and typo fixes. From-SVN: r247323 --- gcc/ada/namet.adb | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'gcc/ada/namet.adb') 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; -- cgit v1.1