https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71452
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> --- Author: rguenth Date: Thu Jul 7 10:33:01 2016 New Revision: 238084 URL: https://gcc.gnu.org/viewcvs?rev=238084&root=gcc&view=rev Log: 2016-07-07 Richard Biener <rguent...@suse.de> Backport from mainline 2016-06-07 Richard Biener <rguent...@suse.de> PR middle-end/71423 * match.pd ((X | ~Y) -> Y <= X): Properly invert the comparison for signed ops. * gcc.dg/torture/pr71423.c: New testcase. 2016-06-08 Richard Biener <rguent...@suse.de> PR tree-optimization/71452 * tree-ssa.c (non_rewritable_lvalue_p): Make sure that the type used for the SSA rewrite has enough precision to cover the dynamic type of the location. * gcc.dg/torture/pr71452.c: New testcase. 2016-06-14 Richard Biener <rguent...@suse.de> PR tree-optimization/71522 * tree-ssa.c (non_rewritable_lvalue_p): Do not rewrite non-float copying into float copying. * gcc.dg/torture/pr71522.c: New testcase. Added: branches/gcc-5-branch/gcc/testsuite/g++.dg/torture/pr71452.C branches/gcc-5-branch/gcc/testsuite/gcc.dg/torture/pr71423.c branches/gcc-5-branch/gcc/testsuite/gcc.dg/torture/pr71452.c branches/gcc-5-branch/gcc/testsuite/gcc.dg/torture/pr71522.c Modified: branches/gcc-5-branch/gcc/ChangeLog branches/gcc-5-branch/gcc/match.pd branches/gcc-5-branch/gcc/testsuite/ChangeLog branches/gcc-5-branch/gcc/tree-ssa.c