------- Comment #10 from aoliva at gcc dot gnu dot org 2010-01-08 02:43 ------- Well, it's not like accessing an uninitialized variable is well-defined, so it's not like our splitting into multiple webs is wrong, or could possibly generate incorrect results. The only reason we notice this is that it gets us different results precisely for a test framework designed to be picky about minute differences, even if in the end they don't make any difference in terms of program behavior.
Just to be clear, although the references were *originally* part of a loop, when the loop was unrolled, the failing bits became part of an pre-loop block, so there's nothing that could actually fail here in terms of codegen, AFAICT. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42631
