diff options
| author | Léo Creuse <creuse@adacore.com> | 2023-07-13 12:30:42 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-07-28 09:28:15 +0200 |
| commit | 808ac54287901a344080b42e78c181a0c3566ccf (patch) | |
| tree | fbc0d82bb5f6c7b9da2180482c670e083d1ae738 /gcc/expr.cc | |
| parent | 5bd09a25b342f980f0596c9e354c54a4c635ec65 (diff) | |
| download | gcc-808ac54287901a344080b42e78c181a0c3566ccf.zip gcc-808ac54287901a344080b42e78c181a0c3566ccf.tar.gz gcc-808ac54287901a344080b42e78c181a0c3566ccf.tar.bz2 | |
ada: Add missing SCO generation for quantified expressions in object decl
This change corrects the Has_Decision predicate in par_sco.adb to
properly consider predicates of quantified expressions as
decisions.
gcc/ada/
* par_sco.adb (Has_Decision): Consider that quantified expressions
contain decisions.
Diffstat (limited to 'gcc/expr.cc')
0 files changed, 0 insertions, 0 deletions