From: pmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Tue, 21 Aug 2018 14:47:12 +0000 (+0000)
Subject: [Ada] Sprint: add guard on printing aspects
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=49daa8a9aa0b0f079f8ecec3838b35f87bd9e222;p=thirdparty%2Fgcc.git

[Ada] Sprint: add guard on printing aspects

2018-08-21  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

	* sprint.adb: Add guard on printing aspects.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@263723 138bc75d-0d04-0410-961f-82ee72b054a4
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index e9e674b8a141..4afe997d33c1 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,7 @@
+2018-08-21  Ed Schonberg  <schonberg@adacore.com>
+
+	* sprint.adb: Add guard on printing aspects.
+
 2018-08-21  Javier Miranda  <miranda@adacore.com>
 
 	* exp_cg.adb (Generate_CG_Output): Handle calls removed by the
diff --git a/gcc/ada/sprint.adb b/gcc/ada/sprint.adb
index f19629c6f9ab..79788237b7fb 100644
--- a/gcc/ada/sprint.adb
+++ b/gcc/ada/sprint.adb
@@ -3540,8 +3540,10 @@ package body Sprint is
       --  where the aspects are printed inside the package specification.
 
       if Has_Aspects (Node)
-         and then not Nkind_In (Node, N_Package_Declaration,
-                                      N_Generic_Package_Declaration)
+        and then not Nkind_In (Node, N_Package_Declaration,
+                               N_Generic_Package_Declaration)
+        and then not Is_Empty_List (Aspect_Specifications (Node))
+        and then not Is_Empty_List (Aspect_Specifications (Node))
       then
          Sprint_Aspect_Specifications (Node, Semicolon => True);
       end if;