diff options
| author | Bob Duff <duff@adacore.com> | 2023-05-03 08:42:24 -0400 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-06-13 09:31:46 +0200 |
| commit | d38366cbaedee32faba1664a8f529875f1128ae5 (patch) | |
| tree | 9b5975f54763a38708d891fcec5728a1f4d2e4f4 /gcc/range-op-float.cc | |
| parent | 86b8d11e485832367446569dec6847bfcd8a62da (diff) | |
| download | gcc-d38366cbaedee32faba1664a8f529875f1128ae5.zip gcc-d38366cbaedee32faba1664a8f529875f1128ae5.tar.gz gcc-d38366cbaedee32faba1664a8f529875f1128ae5.tar.bz2 | |
ada: Add missing ss_mark/ss_release in quantified expressions
If a quantified expression says "for all ... of F(...)"
where F(...) is a function call that returns on the secondary
stack, we need to clean up the secondary stack. This patch
adds the required ss_mark/ss_release in that case.
gcc/ada/
* exp_ch4.adb
(Expand_N_Quantified_Expression): Detect the secondary-stack
case, and find the innermost scope where we should mark/release,
and Set_Uses_Sec_Stack on that. Skip intermediate blocks and loops
that are part of expansion.
Diffstat (limited to 'gcc/range-op-float.cc')
0 files changed, 0 insertions, 0 deletions