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/tree-vrp.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/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 5bd4418..33e0a75 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -4027,6 +4027,16 @@ extract_range_basic (value_range *vr, gimple *stmt) : vrp_val_max (type), NULL); } return; + case CFN_BUILT_IN_STRLEN: + { + tree type = TREE_TYPE (gimple_call_lhs (stmt)); + tree max = vrp_val_max (ptrdiff_type_node); + wide_int wmax = wi::to_wide (max, TYPE_PRECISION (TREE_TYPE (max))); + tree range_min = build_zero_cst (type); + tree range_max = wide_int_to_tree (type, wmax - 1); + set_value_range (vr, VR_RANGE, range_min, range_max, NULL); + } + return; default: break; } |