diff options
| author | Kai Tietz <ktietz@redhat.com> | 2011-05-13 15:37:16 +0200 |
|---|---|---|
| committer | Kai Tietz <ktietz@gcc.gnu.org> | 2011-05-13 15:37:16 +0200 |
| commit | 3c6cbf7ad1abf48e18c7130feb6e4f60fad938f7 (patch) | |
| tree | b843d80ae46c2b1f7619c542f88fb859c50782cc /gcc/tree-cfg.c | |
| parent | 2e7f5dc0e434647df5e36133a81500139635e131 (diff) | |
| download | gcc-3c6cbf7ad1abf48e18c7130feb6e4f60fad938f7.zip gcc-3c6cbf7ad1abf48e18c7130feb6e4f60fad938f7.tar.gz gcc-3c6cbf7ad1abf48e18c7130feb6e4f60fad938f7.tar.bz2 | |
gimplify.c (gimplify_expr): Make sure operand is boolified.
2011-05-13 Kai Tietz <ktietz@redhat.com>
* gimplify.c (gimplify_expr): Make sure operand is boolified.
* tree-cfg.c (verify_gimple_assign_unary): Check for boolean
compatible type for TRUTH_NOT_EXPR.
From-SVN: r173732
Diffstat (limited to 'gcc/tree-cfg.c')
| -rw-r--r-- | gcc/tree-cfg.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c index aa73f5e..c5fa416 100644 --- a/gcc/tree-cfg.c +++ b/gcc/tree-cfg.c @@ -3342,6 +3342,15 @@ verify_gimple_assign_unary (gimple stmt) return false; case TRUTH_NOT_EXPR: + if (!useless_type_conversion_p (boolean_type_node, rhs1_type)) + { + error ("invalid types in truth not"); + debug_generic_expr (lhs_type); + debug_generic_expr (rhs1_type); + return true; + } + break; + case NEGATE_EXPR: case ABS_EXPR: case BIT_NOT_EXPR: |