OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[Ada] Fix crash on pragma Compile_Time_Warning/Error

Browse Source 
gcc/ada/

	* sem_prag.adb (Process_Compile_Time_Warning_Or_Error): Do not
	follow the Corresponding_Spec pointer if Acts_As_Spec is True,
	because Corresponding_Spec is Empty in that case, so we would
	exit the loop prematurely, and incorrectly think we are not
	inside a generic unit when we are.
This commit is contained in:
Bob Duff 2021-11-17 12:06:32 -05:00 committed by Pierre-Marie de Rodat
parent 1010cb00c8
commit 9ce9322ccc
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
gcc/ada/sem_prag.adb
View File

@ -7827,11 +7827,15 @@ package body Sem_Prag is
if Compile_Time_Known_Value (Arg1x) then
Validate_Compile_Time_Warning_Or_Error (N, Sloc (Arg1));
else
while Present (P) and then Nkind (P) not in N_Generic_Declaration
loop
if Nkind (P) in N_Package_Body | N_Subprogram_Body then
P := Corresponding_Spec (P);
if (Nkind (P) = N_Subprogram_Body and then not Acts_As_Spec (P))
or else Nkind (P) = N_Package_Body
then
P := Parent (Corresponding_Spec (P));
else
P := Parent (P);
end if;