[Bug middle-end/36124] conditional loop becomes infinite loop in -O2 (gcc 4.2 -> 4.3 regression)

[cyprien+gccbug at cypou dot net]

------- Comment #5 from cyprien+gccbug at cypou dot net  2008-05-04 17:03 -------
Now, this code should not rely on undefined behaviour:

extern void func(int,void*);
void test()
{
    register long *foo = (long*) (4*sizeof(*foo)) - 1;
    register int index;
    for(index=0;index<4;index++)
        func(index,foo--);
}


it still make an infinite loop, while last func call is done with foo parameter
(nil).


Do you mean I explicitely ask gcc to use foo as end-of-loop condition ??


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36124