I was wondering if loops of form
for (i=0; ....; i++)
a[i]
can be assumed finite because eventaully a[i] would get to unallocated
memory otherwise. This is however similar to inifinite recursion
Correct me if I'm wrong but this is definitely wrong...
Assuming a 64bit processor and i to be a 32bits int (eg x86-64), it is
possible to allocate
a 4Gb array of chars and such a loop is definitely OK. It is somewhat
similar to say that
this loop:
int array[256];
for (unsigned char i=0;;++i)
array[i] = XXX;
is finite, which is wrong.