diff options
| author | Richard Guenther <rguenther@suse.de> | 2008-12-07 20:33:07 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2008-12-07 20:33:07 +0000 |
| commit | e61451e84368480158e282eb1f6378ce122e321b (patch) | |
| tree | dc230a771ff4feb71ae8d166dd3ed4608d98ee72 /gcc | |
| parent | 2abffaa239593e6c8914ad9e90843c7066a3d5e8 (diff) | |
| download | gcc-e61451e84368480158e282eb1f6378ce122e321b.zip gcc-e61451e84368480158e282eb1f6378ce122e321b.tar.gz gcc-e61451e84368480158e282eb1f6378ce122e321b.tar.bz2 | |
re PR tree-optimization/38405 ((silent failure) handling bitfield in ternary)
2008-12-07 Richard Guenther <rguenther@suse.de>
PR tree-optimization/38405
* tree-vrp.c (simplify_truth_ops_using_ranges): Make sure to
not sign-extend truth values.
From-SVN: r142539
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/tree-vrp.c | 6 |
2 files changed, 12 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 85cd145..19d56b0 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2008-12-07 Richard Guenther <rguenther@suse.de> + + PR tree-optimization/38405 + * tree-vrp.c (simplify_truth_ops_using_ranges): Make sure to + not sign-extend truth values. + 2008-12-07 Eric Botcazou <ebotcazou@adacore.com> * tree-sra.c (scalarize_use): Create another temporary with the proper diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 1289c49..a69b216 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -6512,6 +6512,12 @@ simplify_truth_ops_using_ranges (gimple_stmt_iterator *gsi, gimple stmt) !useless_type_conversion_p (TREE_TYPE (gimple_assign_lhs (stmt)), TREE_TYPE (op0)); + /* Make sure to not sign-extend -1 as a boolean value. */ + if (need_conversion + && !TYPE_UNSIGNED (TREE_TYPE (op0)) + && TYPE_PRECISION (TREE_TYPE (op0)) == 1) + return false; + switch (rhs_code) { case TRUTH_AND_EXPR: |