diff options
| author | Richard Guenther <rguenther@suse.de> | 2008-08-22 21:13:00 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2008-08-22 21:13:00 +0000 |
| commit | 36159cf85750e5b480e1918eb2c53905b715965f (patch) | |
| tree | 123fb4b999f0a4ed1c2f5e6e9ebc0c92c4de0790 | |
| parent | d3cbd7deea504d12d9eb4d0dbe8da9a143825079 (diff) | |
| download | gcc-36159cf85750e5b480e1918eb2c53905b715965f.zip gcc-36159cf85750e5b480e1918eb2c53905b715965f.tar.gz gcc-36159cf85750e5b480e1918eb2c53905b715965f.tar.bz2 | |
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 <rguenther@suse.de>
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
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/compile/pr37078.c | 6 | ||||
| -rw-r--r-- | gcc/tree-vect-transform.c | 3 |
4 files changed, 19 insertions, 1 deletions
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 <rguenther@suse.de> + PR tree-optimization/37078 + * tree-vrp.c (extract_range_from_unary_expr): Avoid generating + [+INF, +INF] ranges. + +2008-08-22 Richard Guenther <rguenther@suse.de> + 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 <rguenther@suse.de> + PR tree-optimization/37078 + * gcc.c-torture/compile/pr37078.c: New testcase. + +2008-08-22 Richard Guenther <rguenther@suse.de> + 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); |