[Ada] Reject aspect specifications on number constants

2019-12-18  Ghjuvan Lacambre  <lacambre@adacore.com>

gcc/ada/

	* par-ch13.adb: Check if declarations allow aspect
	specifications.

From-SVN: r279509

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 0323aad..1700070 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2019-12-18  Ghjuvan Lacambre  <lacambre@adacore.com>
+
+       * par-ch13.adb: Check if declarations allow aspect
+       specifications.
+
 2019-12-18  Piotr Trojanek  <trojanek@adacore.com>
 
        * einfo.ads (Is_Ghost_Entity): Fix typo in comment.

diff --git a/gcc/ada/par-ch13.adb b/gcc/ada/par-ch13.adb
index 25a0df9..e26e83f 100644 (file)
--- a/gcc/ada/par-ch13.adb
+++ b/gcc/ada/par-ch13.adb
@@ -956,7 +956,9 @@ package body Ch13 is
 
          --  If Decl is Error, we ignore the aspects, and issue a message
 
-         elsif Decl = Error then
+         elsif Decl = Error
+            or else not Permits_Aspect_Specifications (Decl)
+         then
             Error_Msg ("aspect specifications not allowed here", Ptr);
 
          --  Here aspects are allowed, and we store them