bad reassociation with signed integer code after PR45232.

[Richard Guenther]

On Mon, Sep 24, 2012 at 2:04 PM, Dinar Temirbulatov
<dtemirbulatov@gmail.com> wrote:
> Hi,
> I noticed some minor regression with singed integer operations in "the
> proprietary" code since
> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45232. Of course, I could
> use "-fwrapv"  flag but my question is: why we could not add overflow
> checking in for example int_const_binop() at fold-const.c for signed
> integers restore original behavior of the reassociation pass?

Because the compiler may not introduce expressions that may overflow.

Richard.

>                                                               thanks, Dinar.