[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 0323aad619b09e51e6939b826931ed8aefa7c710..1700070214c0b4130f7377e7dd3d8752af45b3f7 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 25a0df998fc1a2d37aab68035d6046def494f0da..e26e83f9450eadc080256cb55e04ce44d0f062d1 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