]> git.ipfire.org Git - thirdparty/gcc.git/commit - gcc/testsuite/ChangeLog
ADDR_EXPR and nonnull
authorKugan Vivekanandarajah <kuganv@linaro.org>
Fri, 21 Oct 2016 20:13:55 +0000 (20:13 +0000)
committerKugan Vivekanandarajah <kugan@gcc.gnu.org>
Fri, 21 Oct 2016 20:13:55 +0000 (20:13 +0000)
commitf75036994f9d6945265d02cb29de502d6d7d538d
treecb421f8cf6590fce9a7ae6c57b2f3ba94212cd4b
parente597e0533d69081e6d6b01ca19f2924c1b8307ff
ADDR_EXPR and nonnull

ADDR_EXPR and nonnull
gcc/ChangeLog:

2016-10-21  Kugan Vivekanandarajah  <kuganv@linaro.org>

* ipa-prop.c (ipa_compute_jump_functions_for_edge): Create nonzero
value range for pointers in more cases.

gcc/testsuite/ChangeLog:

2016-10-21  Kugan Vivekanandarajah  <kuganv@linaro.org>

* gcc.dg/ipa/vrp5.c: New test.
* gcc.dg/ipa/vrp6.c: New test.

From-SVN: r241428
gcc/ChangeLog
gcc/ipa-prop.c
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/ipa/vrp5.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/ipa/vrp6.c [new file with mode: 0644]