[Bug c/54945] Too strong non-aliasing analysis?

[mpolacek at gcc dot gnu.org]

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

--- Comment #4 from Marek Polacek <mpolacek at gcc dot gnu.org> 2012-10-17 16:11:08 UTC ---
In .ccp1 we have:
    i_6 = (intptr_t) &MEM[(void *)&x + 4B];
    j_7 = (intptr_t) &y;
    _8 = i_6 == j_7;
    _9 = (int) _8;
but in .forwprop1:
    _8 = 0;
    _9 = (int) _8;