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

2005-05-31  Andrew Pinski  <pinskia@physics.uc.edu>

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

From-SVN: r100393

gcc/ChangeLog

+2005-05-31  Andrew Pinski  <pinskia@physics.uc.edu>
+
+	* tree-cfg.c (verify_expr): Add checking for COND_EXPR's conditional
+	expression.
+
 2005-05-31  Richard Sandiford  <rsandifo@redhat.com>
 
 	* doc/tm.texi (TARGET_GET_PCH_VALIDITY, TARGET_PCH_VALID_P): Tweak

gcc/tree-cfg.c

@@ -3178,6 +3178,11 @@ verify_expr (tree *tp, int *walk_subtrees, void *data ATTRIBUTE_UNUSED)
 	  error ("non-boolean used in condition");
 	  return x;
 	}
+      if (!is_gimple_condexpr (x))
+        {
+	  error ("Invalid conditional operand");
+	  return x;
+	}
       break;
 
     case NOP_EXPR: