From: Justin Squirek <squirek@adacore.com>
Date: Sun, 13 Jun 2021 16:52:18 +0000 (-0400)
Subject: [Ada] Crash on inlined separate subprogram
X-Git-Tag: basepoints/gcc-13~6102
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=765ca22b1792b613d2801b6d2ef9986e18bba3ab;p=thirdparty%2Fgcc.git

[Ada] Crash on inlined separate subprogram

gcc/ada/

	* sem_ch6.adb (Check_Pragma_Inline): Correctly use
	Corresponding_Spec_Of_Stub when dealing subprogram body stubs.
---

diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb
index 78a076cf51a7..304dc1942434 100644
--- a/gcc/ada/sem_ch6.adb
+++ b/gcc/ada/sem_ch6.adb
@@ -3454,7 +3454,12 @@ package body Sem_Ch6 is
                   --  Link the body and the generated spec
 
                   Set_Corresponding_Body (Decl, Body_Id);
-                  Set_Corresponding_Spec (N, Subp);
+
+                  if Nkind (N) = N_Subprogram_Body_Stub then
+                     Set_Corresponding_Spec_Of_Stub (N, Subp);
+                  else
+                     Set_Corresponding_Spec (N, Subp);
+                  end if;
 
                   Set_Defining_Unit_Name (Specification (Decl), Subp);