diff options
| author | Kugan Vivekanandarajah <kuganv@linaro.org> | 2016-10-17 23:39:55 +0000 |
|---|---|---|
| committer | Kugan Vivekanandarajah <kugan@gcc.gnu.org> | 2016-10-17 23:39:55 +0000 |
| commit | 7fd4f180b4cca4766001ad06dd21cd3c82181eaa (patch) | |
| tree | d95015eb946bbd6b518fd07d6ed0f061be225658 /gcc/tree-vrp.c | |
| parent | 718625ad3a786a3df0405d2e080c211ccad915f4 (diff) | |
| download | gcc-7fd4f180b4cca4766001ad06dd21cd3c82181eaa.zip gcc-7fd4f180b4cca4766001ad06dd21cd3c82181eaa.tar.gz gcc-7fd4f180b4cca4766001ad06dd21cd3c82181eaa.tar.bz2 | |
Use get_ptr_nonnull in tree-vrp
Use get_ptr_nonnull in tree-vrp
gcc/testsuite/ChangeLog:
2016-10-18 Kugan Vivekanandarajah <kuganv@linaro.org>
* gcc.dg/ipa/vrp4.c: Adjust testcase.
gcc/ChangeLog:
2016-10-18 Kugan Vivekanandarajah <kuganv@linaro.org>
* tree-vrp.c (get_value_range): Check get_ptr_nonnull.
From-SVN: r241289
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index b11fc64..eb3eebd 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -685,7 +685,8 @@ get_value_range (const_tree var) anti-ranges for pointers. Note that this is only valid with default definitions of PARM_DECLs. */ if (POINTER_TYPE_P (TREE_TYPE (sym)) - && nonnull_arg_p (sym)) + && (nonnull_arg_p (sym) + || get_ptr_nonnull (var))) set_value_range_to_nonnull (vr, TREE_TYPE (sym)); else if (INTEGRAL_TYPE_P (TREE_TYPE (sym))) { |