diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2024-11-10 19:20:13 +0100 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2024-11-18 15:06:55 +0100 |
| commit | 70999668a1305571d3b5fc57168fcb060a976418 (patch) | |
| tree | 3dc21379637e5cb4447bc86cff85aadd26082823 /libitm/method-ml.cc | |
| parent | 4e23ce507067b04865342bb1a22a3651caaf28bc (diff) | |
| download | gcc-master.zip gcc-master.tar.gz gcc-master.tar.bz2 | |
The semantics of the GNAT-specific Predicate aspect should be equivalent
to those of the Static_Predicate aspect when the predicate expression is
static, but that is not correctly implemented for static case expressions.
gcc/ada/ChangeLog:
* exp_ch4.adb (Expand_N_Case_Expression): Remove the test on
enclosing predicate function for the return optimization.
Rewrite it in the general case to catch all nondynamic predicates.
(Expand_N_If_Expression): Remove the test on enclosing predicate
function for the return optimization.
Diffstat (limited to 'libitm/method-ml.cc')
0 files changed, 0 insertions, 0 deletions