diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2022-04-15 08:48:30 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-19 14:05:32 +0000 |
| commit | bd6c3f923686bb49e9fb9040781ae89aaf19d9e1 (patch) | |
| tree | 93dc5b08ba6663534e853f4f62419c2c5991483d | |
| parent | 382a00418d7214fe678bf99e09f966467fe22a72 (diff) | |
| download | gcc-bd6c3f923686bb49e9fb9040781ae89aaf19d9e1.zip gcc-bd6c3f923686bb49e9fb9040781ae89aaf19d9e1.tar.gz gcc-bd6c3f923686bb49e9fb9040781ae89aaf19d9e1.tar.bz2 | |
[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.
| -rw-r--r-- | gcc/ada/sem_util.ads | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads index 7038f11..2d9cbd3 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. |