From: Andrew Pinski <pinskia@physics.uc.edu>
Date: Tue, 31 May 2005 16:21:08 +0000 (+0000)
Subject: tree-cfg.c (verify_expr): Add checking for COND_EXPR's conditional expression.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9c6919616193cee3615c889709b29da38ef9e6a2;p=gcc.git

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 fd97205019b..c54190fe1f1 100644
--- 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 970b6b34d34..3193ed6b233 100644
--- 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: