diff options
| author | Viljar Indus <indus@adacore.com> | 2023-06-21 16:22:37 +0300 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-07-06 13:36:10 +0200 |
| commit | 15e2d19ff46527d56407eaea64161943efc3e2b7 (patch) | |
| tree | 86718cc3ace5e2c76197a0448a4bcd8ffd8c28ce /gcc/tree-ssa-loop-prefetch.cc | |
| parent | d4fea89d289d45aa6811b9e1fa6d40ba9f28dd60 (diff) | |
| download | gcc-15e2d19ff46527d56407eaea64161943efc3e2b7.zip gcc-15e2d19ff46527d56407eaea64161943efc3e2b7.tar.gz gcc-15e2d19ff46527d56407eaea64161943efc3e2b7.tar.bz2 | |
ada: Evaluate static expressions in Range attributes
Gigi assumes that the value of range expressions is an integer literal.
Force evaluation of such expressions since static non-literal expressions
are not always evaluated to a literal form by gnat.
gcc/ada/
* sem_attr.adb (analyze_attribute.check_array_type): Replace valid
indexes with their staticly evaluated values.
Diffstat (limited to 'gcc/tree-ssa-loop-prefetch.cc')
0 files changed, 0 insertions, 0 deletions