From: Arnaud Charlet <charlet@adacore.com>
Date: Wed, 20 Jan 2021 09:50:14 +0000 (-0500)
Subject: [Ada] Assert failure on pragma Inline in procedure body
X-Git-Tag: basepoints/gcc-13~7769
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e18e1b5f524507fd7b7d8bd4d674bc63333a5679;p=thirdparty%2Fgcc.git

[Ada] Assert failure on pragma Inline in procedure body

gcc/ada/

	* sem_ch6.adb (Is_Inline_Pragma): Protect against N not being a
	list member in both branches.
---

diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb
index a53540d5c3d1..a919a0af22da 100644
--- a/gcc/ada/sem_ch6.adb
+++ b/gcc/ada/sem_ch6.adb
@@ -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