While rewriting PHI-OPT to use match and simplify infrastructure, I ran into a problem where VRP pass would create a EQ_EXPR which has a non boolean type inside the VRP pass. This currently works on accident as it seems we don't check the type of the argument of COND_EXPR gimple to be boolean type if it is a comparison.
OK? Bootstrapped and tested on aarch64-linux-gnu with no regressions. Thanks, Andrew Pinski ChangeLog: * tree-vrp.c (simplify_stmt_using_ranges): Use boolean_type_node for the EQ_EXPR.
Index: tree-vrp.c =================================================================== --- tree-vrp.c (revision 242933) +++ tree-vrp.c (working copy) @@ -10225,7 +10225,7 @@ simplify_stmt_using_ranges (gimple_stmt_ 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,