diff options
| author | Kai Tietz <ktietz@redhat.com> | 2011-05-19 13:16:20 +0200 |
|---|---|---|
| committer | Kai Tietz <ktietz@gcc.gnu.org> | 2011-05-19 13:16:20 +0200 |
| commit | da5fb46991c2b6af4cb7271841429d26a8d7d78a (patch) | |
| tree | 59b15ab519b18f6a41e0da7f63f9ab0b90d5213b /gcc/tree-cfg.c | |
| parent | 0967b2288935f9ed8030ba4750c6247aa7329a08 (diff) | |
| download | gcc-da5fb46991c2b6af4cb7271841429d26a8d7d78a.zip gcc-da5fb46991c2b6af4cb7271841429d26a8d7d78a.tar.gz gcc-da5fb46991c2b6af4cb7271841429d26a8d7d78a.tar.bz2 | |
tree-cfg.c (verify_gimple_assign_binary): Barf on TRUTH_AND_EXPR, TRUTH_OR_EXPR, and TRUTH_XOR_EXPR.
2011-05-19 Kai Tietz <ktietz@redhat.com>
* tree-cfg.c (verify_gimple_assign_binary): Barf on
TRUTH_AND_EXPR, TRUTH_OR_EXPR, and TRUTH_XOR_EXPR.
(gimplify_expr): Move TRUTH_AND|OR|XOR_EXPR to its binary form.
From-SVN: r173903
Diffstat (limited to 'gcc/tree-cfg.c')
| -rw-r--r-- | gcc/tree-cfg.c | 20 |
1 files changed, 1 insertions, 19 deletions
diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c index 957f1f1..f6b1710 100644 --- a/gcc/tree-cfg.c +++ b/gcc/tree-cfg.c @@ -3555,29 +3555,11 @@ do_pointer_plus_expr_check: case TRUTH_ANDIF_EXPR: case TRUTH_ORIF_EXPR: - gcc_unreachable (); - case TRUTH_AND_EXPR: case TRUTH_OR_EXPR: case TRUTH_XOR_EXPR: - { - /* We require two-valued operand types. */ - if (!(TREE_CODE (rhs1_type) == BOOLEAN_TYPE - || (INTEGRAL_TYPE_P (rhs1_type) - && TYPE_PRECISION (rhs1_type) == 1)) - || !(TREE_CODE (rhs2_type) == BOOLEAN_TYPE - || (INTEGRAL_TYPE_P (rhs2_type) - && TYPE_PRECISION (rhs2_type) == 1))) - { - error ("type mismatch in binary truth expression"); - debug_generic_expr (lhs_type); - debug_generic_expr (rhs1_type); - debug_generic_expr (rhs2_type); - return true; - } - break; - } + gcc_unreachable (); case LT_EXPR: case LE_EXPR: |