From 9c6919616193cee3615c889709b29da38ef9e6a2 Mon Sep 17 00:00:00 2001 From: Andrew Pinski Date: Tue, 31 May 2005 16:21:08 +0000 Subject: [PATCH] tree-cfg.c (verify_expr): Add checking for COND_EXPR's conditional expression. 2005-05-31 Andrew Pinski * tree-cfg.c (verify_expr): Add checking for COND_EXPR's conditional expression. From-SVN: r100393 --- gcc/ChangeLog | 5 +++++ gcc/tree-cfg.c | 5 +++++ 2 files changed, 10 insertions(+) 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 + + * tree-cfg.c (verify_expr): Add checking for COND_EXPR's conditional + expression. + 2005-05-31 Richard Sandiford * 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: -- 2.30.2