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

[Ada] Assert failure on pragma Inline in procedure body

Browse Source 
gcc/ada/

	* sem_ch6.adb (Is_Inline_Pragma): Protect against N not being a
	list member in both branches.
This commit is contained in:
Arnaud Charlet 2021-01-20 04:50:14 -05:00 committed by Pierre-Marie de Rodat
parent 952da35cc6
commit e18e1b5f52
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ada/sem_ch6.adb
View File

@ -3416,15 +3416,13 @@ package body Sem_Ch6 is
Prag := Empty;
end if;
if Present (Prag) then
if Present (Prag) and then Is_List_Member (N) then
if Present (Spec_Id) then
if Is_List_Member (N)
and then Is_List_Member (Unit_Declaration_Node (Spec_Id))
if Is_List_Member (Unit_Declaration_Node (Spec_Id))
and then In_Same_List (N, Unit_Declaration_Node (Spec_Id))
then
Analyze (Prag);
end if;
else
-- Create a subprogram declaration, to make treatment uniform.
-- Make the sloc of the subprogram name that of the entity in