diff options
| author | Richard Guenther <rguenther@suse.de> | 2011-08-15 15:01:33 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2011-08-15 15:01:33 +0000 |
| commit | d510820a47f86a507ab6a450b681009f3f3aba99 (patch) | |
| tree | 89980c834807b5a0b0482e3062763d600f60c4c7 | |
| parent | 1a0fcfa901a27c06cba7e178069789a5a413b443 (diff) | |
| download | gcc-d510820a47f86a507ab6a450b681009f3f3aba99.zip gcc-d510820a47f86a507ab6a450b681009f3f3aba99.tar.gz gcc-d510820a47f86a507ab6a450b681009f3f3aba99.tar.bz2 | |
re PR tree-optimization/50082 (-Wstrict-overflow mishandles typedef)
2011-08-15 Richard Guenther <rguenther@suse.de>
PR middle-end/50082
* fold-const.c (maybe_canonicalize_comparison_1): Properly
convert the modified operand to the other operand type.
(fold_comparison): Call maybe_canonicalize_comparison_1 with
useless conversions stripped from comparison operands.
From-SVN: r177762
| -rw-r--r-- | gcc/ChangeLog | 8 | ||||
| -rw-r--r-- | gcc/fold-const.c | 3 |
2 files changed, 10 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index de1298c..9523107 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,13 @@ 2011-08-15 Richard Guenther <rguenther@suse.de> + PR middle-end/50082 + * fold-const.c (maybe_canonicalize_comparison_1): Properly + convert the modified operand to the other operand type. + (fold_comparison): Call maybe_canonicalize_comparison_1 with + useless conversions stripped from comparison operands. + +2011-08-15 Richard Guenther <rguenther@suse.de> + * tree-vrp.c (value_range_nonnegative_p): Fix anti-range case. (extract_range_from_unary_expr_1): Restructure. diff --git a/gcc/fold-const.c b/gcc/fold-const.c index 6abce59..9c389cc 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -8446,6 +8446,7 @@ maybe_canonicalize_comparison_1 (location_t loc, enum tree_code code, tree type, cst0, build_int_cst (TREE_TYPE (cst0), 1)); if (code0 != INTEGER_CST) t = fold_build2_loc (loc, code0, TREE_TYPE (arg0), TREE_OPERAND (arg0, 0), t); + t = fold_convert (TREE_TYPE (arg1), t); /* If swapping might yield to a more canonical form, do so. */ if (swap) @@ -8935,7 +8936,7 @@ fold_comparison (location_t loc, enum tree_code code, tree type, return fold_build2_loc (loc, cmp_code, type, variable1, const2); } - tem = maybe_canonicalize_comparison (loc, code, type, op0, op1); + tem = maybe_canonicalize_comparison (loc, code, type, arg0, arg1); if (tem) return tem; |