2016-11-29 Andrew Pinski <apinski@cavium.com>

* tree-vrp.c (simplify_stmt_using_ranges): Use boolean_type_node for the EQ_EXPR. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@242970 138bc75d-0d04-0410-961f-82ee72b054a4
gcc-mirror · Nov 29, 2016 · e901b43 · e901b43
1 parent 7ac42f4
commit e901b43
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2016-11-29  Andrew Pinski  <apinski@cavium.com>
+
+	* tree-vrp.c (simplify_stmt_using_ranges): Use boolean_type_node
+	for the EQ_EXPR.
+
 2016-11-29  Chen Gang  <gang.chen.5i5j@gmail.com>
 
 	PR target/71331

diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c
@@ -10225,7 +10225,7 @@ simplify_stmt_using_ranges (gimple_stmt_iterator *gsi)
 	     in divide by zero, new_rhs1 / new_rhs will be NULL_TREE.  */
 	  if (new_rhs1 && new_rhs2)
 	    {
-	      tree cond = build2 (EQ_EXPR, TREE_TYPE (cmp_var), cmp_var, val1);
+	      tree cond = build2 (EQ_EXPR, boolean_type_node, cmp_var, val1);
 	      gimple_assign_set_rhs_with_ops (gsi,
 					      COND_EXPR, cond,
 					      new_rhs1,