From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1914) id 3032F383F425; Thu, 19 May 2022 14:08:11 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 3032F383F425 MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Pierre-Marie de Rodat To: gcc-cvs@gcc.gnu.org Subject: [gcc r13-656] [Ada] Mark Requires_Transient_Scope as Inline X-Act-Checkin: gcc X-Git-Author: Eric Botcazou X-Git-Refname: refs/heads/master X-Git-Oldrev: 382a00418d7214fe678bf99e09f966467fe22a72 X-Git-Newrev: bd6c3f923686bb49e9fb9040781ae89aaf19d9e1 Message-Id: <20220519140811.3032F383F425@sourceware.org> Date: Thu, 19 May 2022 14:08:11 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 19 May 2022 14:08:11 -0000 https://gcc.gnu.org/g:bd6c3f923686bb49e9fb9040781ae89aaf19d9e1 commit r13-656-gbd6c3f923686bb49e9fb9040781ae89aaf19d9e1 Author: Eric Botcazou Date: Fri Apr 15 08:48:30 2022 +0200 [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: --- gcc/ada/sem_util.ads | 1 + 1 file changed, 1 insertion(+) 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.