From: Gary Dismukes <dismukes@adacore.com>
Date: Fri, 17 Jul 2020 22:28:52 +0000 (-0400)
Subject: [Ada] Inlining nonstatic calls to static expression functions
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6af3576f431fa716c3a88197355cf1f5ee682ae2;p=gcc.git

[Ada] Inlining nonstatic calls to static expression functions

gcc/ada/

	* sem_ch6.adb (Analyze_Expression_Function): Mark static
	expression functions as inlined.
---

diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb
index f314f1bde3f..215c4ada782 100644
--- a/gcc/ada/sem_ch6.adb
+++ b/gcc/ada/sem_ch6.adb
@@ -609,6 +609,12 @@ package body Sem_Ch6 is
                   Set_Expression
                     (Original_Node (Subprogram_Spec (Def_Id)),
                      New_Copy_Tree (Expr));
+
+                  --  Mark static expression functions as inlined, to ensure
+                  --  that even calls with nonstatic actuals will be inlined.
+
+                  Set_Has_Pragma_Inline (Def_Id);
+                  Set_Is_Inlined (Def_Id);
                end if;
             end if;
          end;