From f2c992d90657ab72fd3edcf0e99a1d615edfacde Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Mon, 6 Aug 2012 09:51:56 +0200 Subject: [multiple changes] 2012-08-06 Robert Dewar * aspects.ads: Define Aspect_Id_Exclude_No_Aspect. * par-ch13.adb, restrict.adb: Use Aspect_Id_Exclude_No_Aspect to simplify code. 2012-08-06 Yannick Moy * gnat-style.texi: Update style guide for declarations. 2012-08-06 Yannick Moy * sem_attr.adb (Analyze_Attribute): In the case for 'Old, skip a special expansion which is not needed in Alfa mode. 2012-08-06 Yannick Moy * sem_ch5.adb (Analyze_Iterator_Specification): Do not perform an expansion of the iterator in Alfa mode. From-SVN: r190159 --- gcc/ada/restrict.adb | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'gcc/ada/restrict.adb') diff --git a/gcc/ada/restrict.adb b/gcc/ada/restrict.adb index 6b3dc2a..14ab452 100644 --- a/gcc/ada/restrict.adb +++ b/gcc/ada/restrict.adb @@ -1259,8 +1259,7 @@ package body Restrict is (N : Node_Id; Warning : Boolean) is - A_Id : constant Aspect_Id := Get_Aspect_Id (Chars (N)); - pragma Assert (A_Id /= No_Aspect); + A_Id : constant Aspect_Id_Exclude_No_Aspect := Get_Aspect_Id (Chars (N)); begin No_Specification_Of_Aspects (A_Id) := Sloc (N); -- cgit v1.1