diff options
| author | Richard Biener <rguenther@suse.de> | 2015-10-29 08:21:50 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2015-10-29 08:21:50 +0000 |
| commit | fcbb6b483667d4c3f7bf77fca5683c688e7b3c92 (patch) | |
| tree | 988682d93098dc6128f90e4efb0513170f1f9a2e /gcc/fold-const.c | |
| parent | 384aedfcf16640be3b3250743304207f63d4cde9 (diff) | |
| download | gcc-fcbb6b483667d4c3f7bf77fca5683c688e7b3c92.zip gcc-fcbb6b483667d4c3f7bf77fca5683c688e7b3c92.tar.gz gcc-fcbb6b483667d4c3f7bf77fca5683c688e7b3c92.tar.bz2 | |
re PR middle-end/56956 (ftrapv traps on valid abs-like code)
2015-10-29 Richard Biener <rguenther@suse.de>
PR middle-end/56956
* fold-const.c (fold_cond_expr_with_comparison): Do not fold
unsigned conditonal negation to ABS_EXPR.
* c-c++-common/ubsan/pr56956.c: New testcase.
From-SVN: r229517
Diffstat (limited to 'gcc/fold-const.c')
| -rw-r--r-- | gcc/fold-const.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/gcc/fold-const.c b/gcc/fold-const.c index 71d72f1..d88bffc 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -4963,8 +4963,7 @@ fold_cond_expr_with_comparison (location_t loc, tree type, case GE_EXPR: case GT_EXPR: if (TYPE_UNSIGNED (TREE_TYPE (arg1))) - arg1 = fold_convert_loc (loc, signed_type_for - (TREE_TYPE (arg1)), arg1); + break; tem = fold_build1_loc (loc, ABS_EXPR, TREE_TYPE (arg1), arg1); return pedantic_non_lvalue_loc (loc, fold_convert_loc (loc, type, tem)); case UNLE_EXPR: @@ -4974,8 +4973,7 @@ fold_cond_expr_with_comparison (location_t loc, tree type, case LE_EXPR: case LT_EXPR: if (TYPE_UNSIGNED (TREE_TYPE (arg1))) - arg1 = fold_convert_loc (loc, signed_type_for - (TREE_TYPE (arg1)), arg1); + break; tem = fold_build1_loc (loc, ABS_EXPR, TREE_TYPE (arg1), arg1); return negate_expr (fold_convert_loc (loc, type, tem)); default: |