https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60979
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> --- Author: rguenth Date: Wed May 28 12:46:39 2014 New Revision: 211019 URL: http://gcc.gnu.org/viewcvs?rev=211019&root=gcc&view=rev Log: 2014-05-28 Richard Biener <rguent...@suse.de> Backport from mainline 2014-05-28 Richard Biener <rguent...@suse.de> PR middle-end/61045 * fold-const.c (fold_comparison): When folding X +- C1 CMP Y +- C2 to X CMP Y +- C2 +- C1 also ensure the sign of the remaining constant operand stays the same. * gcc.dg/pr61045.c: New testcase. 2014-05-05 Richard Biener <rguent...@suse.de> PR middle-end/61010 * fold-const.c (fold_binary_loc): Consistently avoid canonicalizing X & CST away from a CST that is the mask of a mode. * gcc.dg/torture/pr61010.c: New testcase. 2014-04-28 Richard Biener <rguent...@suse.de> PR tree-optimization/60979 * graphite-scop-detection.c (scopdet_basic_block_info): Reject SCOPs that end in a block with a successor with abnormal predecessors. * gcc.dg/graphite/pr60979.c: New testcase. Added: branches/gcc-4_9-branch/gcc/testsuite/gcc.dg/graphite/pr60979.c branches/gcc-4_9-branch/gcc/testsuite/gcc.dg/pr61045.c branches/gcc-4_9-branch/gcc/testsuite/gcc.dg/torture/pr61010.c Modified: branches/gcc-4_9-branch/gcc/ChangeLog branches/gcc-4_9-branch/gcc/fold-const.c branches/gcc-4_9-branch/gcc/graphite-scop-detection.c branches/gcc-4_9-branch/gcc/testsuite/ChangeLog