diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index df4da476a6c7cfa35a919f39484fe46cc65f7c2b..3f883c2b7a88c382013761adc2473cbcd5a416f6 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 a7424a3f8e2b7e6ae6c97776809da268fd1858ad..9ca3924ea89c21645152347aabea48e606f60121 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);