sem_ch6.adb (Check_Inline_Pragma): if the subprogram has no spec then move its aspect...

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 98e47fbc7589299d23cf348b8bf68399bf48f80f..8954f8b04ea52bf0e2fa1ea1f3f2bb8fdf579f81 100644 (file)
--- 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 a47ebda2807102227b9b544df5d8b65cd767db67..c9c0f7f46056f02f97012f993034bf4c9181e69f 100644 (file)
--- 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);