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
This commit is contained in:
Javier Miranda 2016-07-06 13:45:55 +00:00 committed by Arnaud Charlet
parent 6dfc5e671f
commit a5fa15228d
2 changed files with 11 additions and 0 deletions

View File

@ -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

View File

@ -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);