From a5fa15228d5eecb6db3029c44a6a24ded6f68818 Mon Sep 17 00:00:00 2001 From: Javier Miranda Date: Wed, 6 Jul 2016 13:45:55 +0000 Subject: [PATCH] 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 * 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 --- gcc/ada/ChangeLog | 5 +++++ gcc/ada/sem_ch6.adb | 6 ++++++ 2 files changed, 11 insertions(+) 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 + + * 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 * 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); -- 2.30.2