[PATCH] Add checking for COND_EXPR in verify_expr

[Andrew Pinski <pinskia at physics dot uc dot edu>]

In verify_expr we miss checking for COND_EXPR of is_gimple_condexpr.
This patch adds that checking.  I found this while working on my tree
combiner and found we actually have a couple of places where we will
abort because is_gimple_condexpr was not true for the COND_EXPR's
operand.

OK? Bootstrapped and tested on powerpc-darwin with no regressions.

Thanks,
Andrew Pinski

ChangeLog:

	* tree-cfg.c (verify_expr): Add checking for COND_EXPR's conditional
	expression.

Attachment: temp.1.diff.txt
Description: Text document