Allow overflow of indices into the next higher dimension if it has constant length. E.g.
float A[32][2]; ((float*)A)[5];
is effectively the same as
A[2][1];
This can happen since r265379 as a side effect if ScopDetection recognizes an access as affine, but ScopInfo rejects the GetElementPtr.