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