[Ada] Incorrect emptying of CUDA global subprograms

This patch corrects an error in the compiler whereby no
Corresponding_Spec was set for emptied CUDA global subprograms - leading
to a malformed tree.

gcc/ada/

	* gnat_cuda.adb (Empty_CUDA_Global_Subprogram): Set
	Specification and Corresponding_Spec to match the original
	Kernel_Body.
This commit is contained in:
Justin Squirek 2022-06-10 12:16:17 +00:00 committed by Pierre-Marie de Rodat
parent 405ebd743d
commit 614c45555a

View File

@ -165,17 +165,20 @@ package body GNAT_CUDA is
Kernel_Elm := First_Elmt (Kernels);
while Present (Kernel_Elm) loop
Kernel := Node (Kernel_Elm);
Kernel := Node (Kernel_Elm);
Kernel_Body := Subprogram_Body (Kernel);
Loc := Sloc (Kernel_Body);
Loc := Sloc (Kernel_Body);
Null_Body := Make_Subprogram_Body (Loc,
Specification => Subprogram_Specification (Kernel),
Specification => Specification (Kernel_Body),
Declarations => New_List,
Handled_Statement_Sequence =>
Make_Handled_Sequence_Of_Statements (Loc,
Statements => New_List (Make_Null_Statement (Loc))));
Set_Corresponding_Spec (Null_Body,
Corresponding_Spec (Kernel_Body));
Rewrite (Kernel_Body, Null_Body);
Next_Elmt (Kernel_Elm);