diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/tree-vrp.c | 7 |
2 files changed, 9 insertions, 4 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index df4da47..3f883c2 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2017-06-16 Yury Gribov <tetra2005@gmail.com> + + PR tree-optimization/81089 + * tree-vrp.c (is_masked_range_test): Validate operands of + subexpression. + 2017-06-15 Martin Sebor <msebor@redhat.com> PR c++/80560 diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index a7424a3..9ca3924 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -5651,8 +5651,9 @@ is_masked_range_test (tree name, tree valt, enum tree_code cond_code, || gimple_assign_rhs_code (def_stmt) != BIT_AND_EXPR) return false; + tree t = gimple_assign_rhs1 (def_stmt); tree maskt = gimple_assign_rhs2 (def_stmt); - if (TREE_CODE (maskt) != INTEGER_CST) + if (TREE_CODE (t) != SSA_NAME || TREE_CODE (maskt) != INTEGER_CST) return false; wide_int mask = maskt; @@ -5663,11 +5664,9 @@ is_masked_range_test (tree name, tree valt, enum tree_code cond_code, || (val & mask) != val) return false; - tree t = gimple_assign_rhs1 (def_stmt); - tree type = TREE_TYPE (t); - bool is_range = cond_code == EQ_EXPR; + tree type = TREE_TYPE (t); wide_int min = wi::min_value (type), max = wi::max_value (type); |