projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e597e05) | patch
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
treecb421f8cf6590fce9a7ae6c57b2f3ba94212cd4btree
parente597e0533d69081e6d6b01ca19f2924c1b8307ffcommit | diff
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 diff | blob | history
gcc/ipa-prop.c diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gcc.dg/ipa/vrp5.c [new file with mode: 0644] blob
gcc/testsuite/gcc.dg/ipa/vrp6.c [new file with mode: 0644] blob