------- Comment #16 from rguenth at gcc dot gnu dot org 2005-11-16 09:39 ------- Is the second reduced testcase not fine from a standards POV? I.e.
void abort(void);
int main()
{
int a[10], *p, *q;
q = &a[1];
p = &q[-1];
if (p >= &a[9])
abort ();
return 0;
}
or does "array" in the standard refer to q[0]..q[8] here?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24851
