diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2024-04-03 13:25:04 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-06-10 11:04:00 +0200 |
| commit | d97f81d35583b0a7e16e91355d01b860c1d4fbaf (patch) | |
| tree | e9f62d9e16548bd1c6745b705329aaa800ab2f20 /gcc/tree-vect-loop.cc | |
| parent | 8a27ded7923a7a6d1cd310b93358481803c3f4ba (diff) | |
| download | gcc-d97f81d35583b0a7e16e91355d01b860c1d4fbaf.zip gcc-d97f81d35583b0a7e16e91355d01b860c1d4fbaf.tar.gz gcc-d97f81d35583b0a7e16e91355d01b860c1d4fbaf.tar.bz2 | |
ada: Tune code related to potentially unevaluated expressions
Code cleanup; semantics is unaffected.
gcc/ada/
* sem_util.adb
(Immediate_Context_Implies_Is_Potentially_Unevaluated): Use
collective subtypes in membership tests.
(Is_Known_On_Entry): Require all alternatives in a case statement
to return; this change could prevent a recently fixed glitch,
where one of the alternatives relied on the return statement
afterwards (also, the new code is shorter).
* sem_util.ads (Is_Potentially_Unevaluated): Clarify that this
routine applies to Ada 2012.
Diffstat (limited to 'gcc/tree-vect-loop.cc')
0 files changed, 0 insertions, 0 deletions