From 50b04185042881d21f0c856d9f5b0de4ccf72ffc Mon Sep 17 00:00:00 2001 From: Richard Kenner Date: Mon, 5 Jul 2004 14:25:14 +0000 Subject: * tree-cfg.c (verify_expr): Use CHECK_OK in binary case. From-SVN: r84114 --- gcc/tree-cfg.c | 24 +++++------------------- 1 file changed, 5 insertions(+), 19 deletions(-) (limited to 'gcc/tree-cfg.c') diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c index 940df86..4bf00df 100644 --- a/gcc/tree-cfg.c +++ b/gcc/tree-cfg.c @@ -3151,7 +3151,9 @@ verify_expr (tree *tp, int *walk_subtrees, void *data ATTRIBUTE_UNUSED) if (TYPE_P (t)) *walk_subtrees = 0; - /* Check operand N for being valid GIMPLE and give error MSG if not. */ + /* Check operand N for being valid GIMPLE and give error MSG if not. + We check for constants explicitly since they are not considered + gimple invariants if they overflowed. */ #define CHECK_OP(N, MSG) \ do { if (TREE_CODE_CLASS (TREE_CODE (TREE_OPERAND (t, N))) != 'c' \ && !is_gimple_val (TREE_OPERAND (t, N))) \ @@ -3300,24 +3302,8 @@ verify_expr (tree *tp, int *walk_subtrees, void *data ATTRIBUTE_UNUSED) case BIT_IOR_EXPR: case BIT_XOR_EXPR: case BIT_AND_EXPR: - x = TREE_OPERAND (t, 0); - /* We check for constants explicitly since they are not considered - gimple invariants if they overflowed. */ - if (TREE_CODE_CLASS (TREE_CODE (x)) != 'c' - && !is_gimple_val (x)) - { - error ("Invalid operand to binary operator"); - return x; - } - x = TREE_OPERAND (t, 1); - /* We check for constants explicitly since they are not considered - gimple invariants if they overflowed. */ - if (TREE_CODE_CLASS (TREE_CODE (x)) != 'c' - && !is_gimple_val (x)) - { - error ("Invalid operand to binary operator"); - return x; - } + CHECK_OP (0, "Invalid operand to binary operator"); + CHECK_OP (1, "Invalid operand to binary operator"); break; default: -- cgit v1.1