[1718627440]

But can't I put any pointer arithmetic in array brackets, so it wouldn't limit anything?

[uecker]

Whatever index you compute can be checked against a bound.

[1718627440]

2[a*b] What bound?

[uecker]

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.