From: Javier Miranda <miranda@adacore.com>
Date: Wed, 6 Jul 2016 13:45:55 +0000 (+0000)
Subject: sem_ch6.adb (Check_Inline_Pragma): if the subprogram has no spec then move its aspect... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a5fa15228d5eecb6db3029c44a6a24ded6f68818;p=gcc.git

sem_ch6.adb (Check_Inline_Pragma): if the subprogram has no spec then move its aspects to the internally built...

2016-07-06  Javier Miranda  <miranda@adacore.com>

	* sem_ch6.adb (Check_Inline_Pragma): if the subprogram has no spec
	then move its aspects to the internally built subprogram spec.

From-SVN: r238052
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 98e47fbc758..8954f8b04ea 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2016-07-06  Javier Miranda  <miranda@adacore.com>
+
+	* sem_ch6.adb (Check_Inline_Pragma): if the subprogram has no spec
+	then move its aspects to the internally built subprogram spec.
+
 2016-07-06  Yannick Moy  <moy@adacore.com>
 
 	* sem_ch6.adb (Analyze_Expression_Function): Mark body of
diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb
index a47ebda2807..c9c0f7f4605 100644
--- a/gcc/ada/sem_ch6.adb
+++ b/gcc/ada/sem_ch6.adb
@@ -2665,6 +2665,12 @@ package body Sem_Ch6 is
                        (Specification (Decl), Plist);
                   end if;
 
+                  --  Move aspects to the new spec
+
+                  if Has_Aspects (N) then
+                     Move_Aspects (N, To => Decl);
+                  end if;
+
                   Insert_Before (N, Decl);
                   Analyze (Decl);
                   Analyze (Prag);