diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-08-06 09:51:56 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-08-06 09:51:56 +0200 |
| commit | f2c992d90657ab72fd3edcf0e99a1d615edfacde (patch) | |
| tree | d291c113a8fc760226d95d8f4abb9bcb435b7a39 /gcc/ada/restrict.adb | |
| parent | a01da44af3b5bfe3426833961c2126448b576cb1 (diff) | |
| download | gcc-f2c992d90657ab72fd3edcf0e99a1d615edfacde.zip gcc-f2c992d90657ab72fd3edcf0e99a1d615edfacde.tar.gz gcc-f2c992d90657ab72fd3edcf0e99a1d615edfacde.tar.bz2 | |
[multiple changes]
2012-08-06 Robert Dewar <dewar@adacore.com>
* 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 <moy@adacore.com>
* gnat-style.texi: Update style guide for declarations.
2012-08-06 Yannick Moy <moy@adacore.com>
* 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 <moy@adacore.com>
* sem_ch5.adb (Analyze_Iterator_Specification): Do not perform
an expansion of the iterator in Alfa mode.
From-SVN: r190159
Diffstat (limited to 'gcc/ada/restrict.adb')
| -rw-r--r-- | gcc/ada/restrict.adb | 3 |
1 files changed, 1 insertions, 2 deletions
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); |