Specification Details

7. Arrays

[Disagreement with ANS]

7.1
An index of an array must be in the range of -2147483647 to 2147483647.

[Implementation-defined]

7.2.6
An underflow does not cause an exception.
7.3.4
If an array is assigned to an array with a substring qualifier and the size of those dose not coincide, an exception with extype 6101 shall be raised. Note that if the size of left-hand array is smaller than that of right-hand one then extype shall be 5001.