Comment Re:SFLC's brief explains parts of this well (Score 1) 210
But i does have to be positive if a is an array, and that's the only case that matters in this context - the point being that the language could still implement arrays by defining a[i] as meaning *(a+i), even if pointer arithmetic was constrained to be unsigned.