]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
[Ada] Mark Requires_Transient_Scope as Inline
authorEric Botcazou <ebotcazou@adacore.com>
Fri, 15 Apr 2022 06:48:30 +0000 (08:48 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 19 May 2022 14:05:32 +0000 (14:05 +0000)
The predicate is now a simple disjunction of two other predicates.

gcc/ada/

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

gcc/ada/sem_util.ads

index 7038f1188ba657183f5fac1a4c5ecf3e6ec34945..2d9cbd3cf8b9a7bb62a55e79c18ae66c4379aed9 100644 (file)
@@ -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.