diff options
author | Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org> | 2016-11-23 18:04:14 +0000 |
---|---|---|
committer | Prathamesh Kulkarni <prathamesh3492@gcc.gnu.org> | 2016-11-23 18:04:14 +0000 |
commit | cfe3d6538850d8e247995f2119b71f5dd04d1981 (patch) | |
tree | 723df5e17588ca6e76d0d12d560b1154fc7c1f3a /gcc/gimple-fold.c | |
parent | 017fdefeb3fda37d787818f006832ab98c9e8651 (diff) | |
download | gcc-cfe3d6538850d8e247995f2119b71f5dd04d1981.zip gcc-cfe3d6538850d8e247995f2119b71f5dd04d1981.tar.gz gcc-cfe3d6538850d8e247995f2119b71f5dd04d1981.tar.bz2 |
re PR middle-end/78153 (strlen return value can be assumed to be less than PTRDIFF_MAX)
2016-11-23 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
PR middle-end/78153
* gimple-fold.c (fold_stmt_1): Handle case for GIMPLE_RETURN.
* tree-vrp.c (extract_range_basic): Handle case for
CFN_BUILT_IN_STRLEN.
testsuite/
* gcc.dg/tree-ssa/pr78153-1.c: New test.
* gcc.dg/tree-ssa/pr78153-2.c: Likewise.
From-SVN: r242786
Diffstat (limited to 'gcc/gimple-fold.c')
-rw-r--r-- | gcc/gimple-fold.c | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/gcc/gimple-fold.c b/gcc/gimple-fold.c index aabc8ff..6842301 100644 --- a/gcc/gimple-fold.c +++ b/gcc/gimple-fold.c @@ -4406,6 +4406,23 @@ fold_stmt_1 (gimple_stmt_iterator *gsi, bool inplace, tree (*valueize) (tree)) } break; + case GIMPLE_RETURN: + { + greturn *ret_stmt = as_a<greturn *> (stmt); + tree ret = gimple_return_retval(ret_stmt); + + if (ret && TREE_CODE (ret) == SSA_NAME && valueize) + { + tree val = valueize (ret); + if (val && val != ret) + { + gimple_return_set_retval (ret_stmt, val); + changed = true; + } + } + } + break; + default:; } |