[Ada] Implement fixed-lower-bound consistency checks for qualified_expressions
Pierre-Marie de Rodat
Mon Jun 21 11:05:34 GMT 2021
This change implements a missing check for qualified_expressions where
the qualifying subtype is an unconstrained array subtype that specifies
fixed lower bounds for one or more of its index ranges.
Tested on x86_64-pc-linux-gnu, committed on trunk
* 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.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 2447 bytes
Desc: not available
More information about the Gcc-patches