mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-05 10:30:55 +08:00
Code Issues Packages Projects Releases Wiki Activity

ada: Propagate aspect Ghost when instantiating null formal procedures

Browse Source 
When instantiating generic package that includes a formal subprogram
declaration with Ghost aspect and a subprogram_default of null, e.g.:

   generic
     with procedure Proc is null with Ghost;
   package P is ...

the Ghost aspect should be propagated to the internally generated null
subprogram, so this null subprogram can be used in contexts that require
ghost entities.

gcc/ada/

	* sem_ch12.adb (Instantiate_Formal_Subprogram): Copy aspect Ghost
	from formal subprogram declaration to the internally generated
	procedure.
This commit is contained in:
Piotr Trojanek 2022-10-21 20:12:15 +02:00 committed by Marc Poulhiès
parent 59ad8b684d
commit a645dc3c20
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gcc/ada/sem_ch12.adb
View File

@ -11088,6 +11088,8 @@ package body Sem_Ch12 is
Set_Convention (Defining_Unit_Name (New_Spec), Convention_Intrinsic);
Copy_Ghost_Aspect (Formal, To => Decl_Node);
-- Eliminate the calls to it when optimization is enabled
Set_Is_Inlined (Defining_Unit_Name (New_Spec));