From: Eric Botcazou <ebotcazou@adacore.com>
Date: Fri, 15 Apr 2022 06:48:30 +0000 (+0200)
Subject: [Ada] Mark Requires_Transient_Scope as Inline
X-Git-Tag: basepoints/gcc-14~6551
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bd6c3f923686bb49e9fb9040781ae89aaf19d9e1;p=thirdparty%2Fgcc.git

[Ada] Mark Requires_Transient_Scope as Inline

The predicate is now a simple disjunction of two other predicates.

gcc/ada/

	* sem_util.ads (Requires_Transient_Scope): Add pragma Inline.
---

diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads
index 7038f1188ba..2d9cbd3cf8b 100644
--- a/gcc/ada/sem_util.ads
+++ b/gcc/ada/sem_util.ads
@@ -3068,6 +3068,7 @@ package Sem_Util is
    --  previous errors (particularly in -gnatq mode).
 
    function Requires_Transient_Scope (Typ : Entity_Id) return Boolean;
+   pragma Inline (Requires_Transient_Scope);
    --  Return true if temporaries of Typ need to be wrapped in a transient
    --  scope, either because they are allocated on the secondary stack or
    --  finalization actions must be generated before the next instruction.