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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index fd97205019b498b80dc961eb226e4a0b464fe7a8..c54190fe1f1bd0b1cae56c98ce156540928858b6 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+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

diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c
index 970b6b34d34b66d9238880e231ebe1f2ac36f450..3193ed6b23370cdcee15aecc889489c5fbf085ed 100644 (file)
--- a/gcc/tree-cfg.c
+++ b/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: