diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2016-11-25 09:03:51 +0100 |
|---|---|---|
| committer | Prathamesh Kulkarni <prathamesh3492@gcc.gnu.org> | 2016-11-25 08:03:51 +0000 |
| commit | 2131e489c9f181e3d445e8e5412407ad32a8875c (patch) | |
| tree | 99d2c15c747af7f434b7e22df7ab31cf3efb6631 /gcc/tree-vrp.c | |
| parent | 6d52e46695c0ca61a64030413c48076cec7b0026 (diff) | |
| download | gcc-2131e489c9f181e3d445e8e5412407ad32a8875c.zip gcc-2131e489c9f181e3d445e8e5412407ad32a8875c.tar.gz gcc-2131e489c9f181e3d445e8e5412407ad32a8875c.tar.bz2 | |
re PR middle-end/78501 (SEGV in vrp_val_max)
2016-11-25 Jakub Jelinek <jakub@redhat.com>
Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
PR middle-end/78501
* tree-vrp.c (extract_range_basic): Check for ptrdiff_type_node to be
non null and it's precision matches precision of lhs's type.
Co-Authored-By: Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
From-SVN: r242858
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 23 |
1 files changed, 14 insertions, 9 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 33e0a75..8bea4db 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -4028,15 +4028,20 @@ extract_range_basic (value_range *vr, gimple *stmt) } 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; + if (tree lhs = gimple_call_lhs (stmt)) + if (ptrdiff_type_node + && (TYPE_PRECISION (ptrdiff_type_node) + == TYPE_PRECISION (TREE_TYPE (lhs)))) + { + tree type = TREE_TYPE (lhs); + 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; + } + break; default: break; } |