This does not even compile. For array indexing, array[expression] if "array" has a bound whatever expression evaluates to can be checked against the bound of

This does not even compile. For array indexing, array[expression] if "array" has a bound whatever expression evaluates to can be checked against the bound of array. If "array" is not a bounded array but a pointer or an unbounded array, then this does not work, but my point is that it is easy to avoid such code.