Next: Unnamed_Blocks_And_Loops, Previous: Unconstrained_Array_Returns, Up: Predefined Rules
Universal_Ranges
Flag discrete ranges that are a part of an index constraint, constrained
array definition, or for-loop parameter specification, and whose bounds
are both of type universal_integer. Ranges that have at least one
bound of a specific type (such as 1 .. N, where N is a variable
or an expression of non-universal type) are not flagged.
This rule has no parameters.