diff options
| author | Gary Dismukes <dismukes@adacore.com> | 2021-04-06 19:07:39 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-06-21 06:45:21 -0400 |
| commit | 62a3799f34939740c744328849910204e5cf48d5 (patch) | |
| tree | 4fb0af1969d1ca9a7ce819f2600c142734371da2 /gcc/cfgexpand.c | |
| parent | a61fd32dd1f8a4f8a65564f7d2f3b7fbc73167c4 (diff) | |
| download | gcc-62a3799f34939740c744328849910204e5cf48d5.zip gcc-62a3799f34939740c744328849910204e5cf48d5.tar.gz gcc-62a3799f34939740c744328849910204e5cf48d5.tar.bz2 | |
[Ada] Implement fixed-lower-bound consistency checks for qualified_expressions
gcc/ada/
* checks.adb (Selected_Range_Checks): In the case of a
qualified_expression where the qualifying subtype is an
unconstrained array subtype with fixed lower bounds for some of
its indexes, generate tests to check that those bounds are equal
to the corresponding lower bounds of the qualified array object.
Diffstat (limited to 'gcc/cfgexpand.c')
0 files changed, 0 insertions, 0 deletions