diff options
| author | Richard Guenther <rguenther@suse.de> | 2012-01-05 13:41:34 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2012-01-05 13:41:34 +0000 |
| commit | 6ad024b4c0011de3a2c3a461e44f5e0ac3b70123 (patch) | |
| tree | dfc04cfd1214b568092a48852182c24f30c0fd05 /gcc | |
| parent | 713b8dfb751d1d60e63b3005df128dc5cd3fd921 (diff) | |
| download | gcc-6ad024b4c0011de3a2c3a461e44f5e0ac3b70123.zip gcc-6ad024b4c0011de3a2c3a461e44f5e0ac3b70123.tar.gz gcc-6ad024b4c0011de3a2c3a461e44f5e0ac3b70123.tar.bz2 | |
re PR tree-optimization/51760 (ICE in set_lattice_value, at tree-ssa-ccp.c:456)
2012-01-05 Richard Guenther <rguenther@suse.de>
PR tree-optimization/51760
* tree-ssa-ccp.c (likely_value): Drop UNDEFINED to CONSTANT,
not VARYING.
(bit_value_unop): Handle UNDEFINED operands.
(bit_value_binop): Likewise.
* gcc.dg/torture/pr51760.c: New testcase.
From-SVN: r182909
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 8 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/torture/pr51760.c | 19 | ||||
| -rw-r--r-- | gcc/tree-ssa-ccp.c | 19 |
4 files changed, 49 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index cc91a4c..487ce17 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,11 @@ +2012-01-05 Richard Guenther <rguenther@suse.de> + + PR tree-optimization/51760 + * tree-ssa-ccp.c (likely_value): Drop UNDEFINED to CONSTANT, + not VARYING. + (bit_value_unop): Handle UNDEFINED operands. + (bit_value_binop): Likewise. + 2012-01-05 Georg-Johann Lay <avr@gjlay.de> * config/avr/avr.c (avr_replace_prefix): Remove. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 7b85906..1064393 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2012-01-05 Richard Guenther <rguenther@suse.de> + + PR tree-optimization/51760 + * gcc.dg/torture/pr51760.c: New testcase. + 2012-01-05 Aldy Hernandez <aldyh@redhat.com> PR middle-end/51472 diff --git a/gcc/testsuite/gcc.dg/torture/pr51760.c b/gcc/testsuite/gcc.dg/torture/pr51760.c new file mode 100644 index 0000000..ebff2c9 --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr51760.c @@ -0,0 +1,19 @@ +/* { dg-do compile } */ + +extern inline __attribute__ ((always_inline)) void * +memmove (void *dest, const void *src, __SIZE_TYPE__ len) +{ + return __builtin___memmove_chk (dest, src, len, + __builtin_object_size (dest, 0)); +} + +void +foo (void) +{ + char a[64], *b; + for (;;) + { + memmove (a, b, 0); + b = a; + } +} diff --git a/gcc/tree-ssa-ccp.c b/gcc/tree-ssa-ccp.c index 738606f..2080c06 100644 --- a/gcc/tree-ssa-ccp.c +++ b/gcc/tree-ssa-ccp.c @@ -657,9 +657,10 @@ likely_value (gimple stmt) } } /* If there was an UNDEFINED operand but the result may be not UNDEFINED - fall back to VARYING even if there were CONSTANT operands. */ + fall back to CONSTANT. During iteration UNDEFINED may still drop + to CONSTANT. */ if (has_undefined_operand) - return VARYING; + return CONSTANT; /* We do not consider virtual operands here -- load from read-only memory may have only VARYING virtual operands, but still be @@ -1368,6 +1369,10 @@ bit_value_unop (enum tree_code code, tree type, tree rhs) prop_value_t rval = get_value_for_expr (rhs, true); double_int value, mask; prop_value_t val; + + if (rval.lattice_val == UNDEFINED) + return rval; + gcc_assert ((rval.lattice_val == CONSTANT && TREE_CODE (rval.value) == INTEGER_CST) || double_int_minus_one_p (rval.mask)); @@ -1399,6 +1404,16 @@ bit_value_binop (enum tree_code code, tree type, tree rhs1, tree rhs2) prop_value_t r2val = get_value_for_expr (rhs2, true); double_int value, mask; prop_value_t val; + + if (r1val.lattice_val == UNDEFINED + || r2val.lattice_val == UNDEFINED) + { + val.lattice_val = VARYING; + val.value = NULL_TREE; + val.mask = double_int_minus_one; + return val; + } + gcc_assert ((r1val.lattice_val == CONSTANT && TREE_CODE (r1val.value) == INTEGER_CST) || double_int_minus_one_p (r1val.mask)); |