diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2022-04-14 17:31:44 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-19 14:05:31 +0000 |
| commit | bf0b180b42babb61b4e16388b88350d75aad3c27 (patch) | |
| tree | ce885fdfa478182d1bf1512e675abc1d29bc0264 /gcc/ada/gcc-interface/ada-tree.h | |
| parent | e478e16e8a8a256c8c117f0bbe54a3078c086bc2 (diff) | |
| download | gcc-bf0b180b42babb61b4e16388b88350d75aad3c27.zip gcc-bf0b180b42babb61b4e16388b88350d75aad3c27.tar.gz gcc-bf0b180b42babb61b4e16388b88350d75aad3c27.tar.bz2 | |
[Ada] Fix spurious violations of No_Secondary_Stack restriction
Now that finalization and return on the secondary stack are decoupled, the
transient scopes created because of the former need not necessarily manage
the secondary stack and trigger a violation of the associated restriction.
gcc/ada/
* exp_ch7.adb (Wrap_Transient_Declaration): Propagate Uses_Sec_Stack
to enclosing function if it does not return on the secondary stack.
* exp_ch6.adb (Expand_Call_Helper): Call Establish_Transient_Scope
with Manage_Sec_Stack set to True only when necessary.
* sem_res.adb (Resolve_Call): Likewise.
(Resolve_Entry_Call): Likewise.
Diffstat (limited to 'gcc/ada/gcc-interface/ada-tree.h')
0 files changed, 0 insertions, 0 deletions