------- 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