From 36159cf85750e5b480e1918eb2c53905b715965f Mon Sep 17 00:00:00 2001 From: Richard Guenther Date: Fri, 22 Aug 2008 21:13:00 +0000 Subject: [PATCH] re PR middle-end/37078 (ICE in set_value_range, at tree-vrp.c:401 when compiling gmp 4.2.3) 2008-08-22 Richard Guenther PR tree-optimization/37078 * tree-vrp.c (extract_range_from_unary_expr): Avoid generating [+INF, +INF] ranges. * gcc.c-torture/compile/pr37078.c: New testcase. From-SVN: r139501 --- gcc/ChangeLog | 6 ++++++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.c-torture/compile/pr37078.c | 6 ++++++ gcc/tree-vect-transform.c | 3 ++- 4 files changed, 19 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/gcc.c-torture/compile/pr37078.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 84e6baa..7d69cf0 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,11 @@ 2008-08-22 Richard Guenther + PR tree-optimization/37078 + * tree-vrp.c (extract_range_from_unary_expr): Avoid generating + [+INF, +INF] ranges. + +2008-08-22 Richard Guenther + PR tree-optimization/37143 * tree-vect-transform.c (vect_create_cond_for_align_checks): Build a conversion statement instead of a copy. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 8b41251..aca1340 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,10 @@ 2008-08-22 Richard Guenther + PR tree-optimization/37078 + * gcc.c-torture/compile/pr37078.c: New testcase. + +2008-08-22 Richard Guenther + PR tree-optimization/37143 * g++.dg/vect/pr37143.C: New testcase. diff --git a/gcc/testsuite/gcc.c-torture/compile/pr37078.c b/gcc/testsuite/gcc.c-torture/compile/pr37078.c new file mode 100644 index 0000000..1cc1659 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/pr37078.c @@ -0,0 +1,6 @@ +int foo (int b) +{ + if (b == (int)0x80000000) + return __builtin_abs (b); + return 0; +} diff --git a/gcc/tree-vect-transform.c b/gcc/tree-vect-transform.c index 9736633..c0c299b 100644 --- a/gcc/tree-vect-transform.c +++ b/gcc/tree-vect-transform.c @@ -7459,7 +7459,8 @@ vect_create_cond_for_align_checks (loop_vec_info loop_vinfo, addr_tmp = create_tmp_var (int_ptrsize_type, tmp_name); add_referenced_var (addr_tmp); addr_tmp_name = make_ssa_name (addr_tmp, NULL); - addr_stmt = gimple_build_assign (addr_tmp_name, addr_base); + addr_stmt = gimple_build_assign_with_ops (NOP_EXPR, addr_tmp_name, + addr_base, NULL_TREE); SSA_NAME_DEF_STMT (addr_tmp_name) = addr_stmt; gimple_seq_add_stmt (cond_expr_stmt_list, addr_stmt); -- 2.7.4