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

uecker · 2025-10-09T16:02:33 1760025753

Whatever index you compute can be checked against a bound.

1718627440 · 2025-10-10T17:41:41 1760118101

2[a*b] What bound?

uecker · 2025-10-11T09:42:44 1760175764

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.