[PATCH/VRP] Fix type of EQ_EXPR

[Andrew Pinski <pinskia at gmail dot com>]

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.

Attachment: fixvrpeqexpr.diff.txt
Description: Text document