From df879ff1cc8e2a9667871ec445adf3994ed6ebbe Mon Sep 17 00:00:00 2001 From: Yury Gribov Date: Wed, 14 Jun 2017 11:53:29 +0100 Subject: [PATCH] 2017-06-14 Yury Gribov gcc/ PR tree-optimization/81089 * tree-vrp.c (is_masked_range_test): Validate operands of subexpression. --- gcc/tree-vrp.c | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) 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); -- 2.7.4