[Bug middle-end/55863] Fails to fold (i + 2) - (i + 1) to 1

[rguenth at gcc dot gnu.org]

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



--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> 2013-01-04 
10:45:44 UTC ---

Author: rguenth

Date: Fri Jan  4 10:45:37 2013

New Revision: 194899



URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=194899

Log:

2013-01-04  Richard Biener  <rguent...@suse.de>



    PR middle-end/55863

    * fold-const.c (split_tree): Undo -X - 1 to ~X folding for

    reassociation.



    * gcc.dg/fold-reassoc-2.c: New testcase.



Added:

    trunk/gcc/testsuite/gcc.dg/fold-reassoc-2.c

Modified:

    trunk/gcc/ChangeLog

    trunk/gcc/fold-const.c

    trunk/gcc/testsuite/ChangeLog