https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71452
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> --- Author: rguenth Date: Thu Jul 7 07:30:04 2016 New Revision: 238077 URL: https://gcc.gnu.org/viewcvs?rev=238077&root=gcc&view=rev Log: 2016-07-07 Richard Biener <rguent...@suse.de> Backport from mainline 2016-05-25 Richard Biener <rguent...@suse.de> PR tree-optimization/71264 * tree-vect-stmts.c (vect_init_vector): Properly deal with vector type val. * gcc.dg/vect/pr71264.c: New testcase. 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-14 Richard Biener <rguent...@suse.de> PR tree-optimization/71521 * tree-vrp.c (extract_range_from_binary_expr_1): Guard division int_const_binop against zero divisor. * gcc.dg/tree-ssa/vrp101.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-6-branch/gcc/testsuite/g++.dg/torture/pr71452.C branches/gcc-6-branch/gcc/testsuite/gcc.dg/torture/pr71423.c branches/gcc-6-branch/gcc/testsuite/gcc.dg/torture/pr71452.c branches/gcc-6-branch/gcc/testsuite/gcc.dg/torture/pr71522.c branches/gcc-6-branch/gcc/testsuite/gcc.dg/tree-ssa/vrp101.c branches/gcc-6-branch/gcc/testsuite/gcc.dg/vect/pr71264.c Modified: branches/gcc-6-branch/gcc/ChangeLog branches/gcc-6-branch/gcc/match.pd branches/gcc-6-branch/gcc/testsuite/ChangeLog branches/gcc-6-branch/gcc/tree-ssa.c branches/gcc-6-branch/gcc/tree-vect-stmts.c branches/gcc-6-branch/gcc/tree-vrp.c