nonzero-3.C: New testcase.
authorJan Hubicka <hubicka@ucw.cz>
Mon, 13 Apr 2015 14:16:41 +0000 (16:16 +0200)
committerJan Hubicka <hubicka@gcc.gnu.org>
Mon, 13 Apr 2015 14:16:41 +0000 (14:16 +0000)
commit10706779287de8fffd80b7968baaa1ba45c15a85
tree706cd9ad1492a7ecff6bd5bb390144df2d0690c5
parent95d81ba561d69d63c65ac00c059555ce33d6e77a
nonzero-3.C: New testcase.

* g++.dg/tree-ssa/nonzero-3.C: New testcase.
* tree-vrp.c (nonnull_arg_p): THIS pointers and references are non-zero.
(gimple_stmt_nonzero_warnv_p): Reference return values are non-zero.

From-SVN: r222054
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/g++.dg/tree-ssa/nonzero-3.C [new file with mode: 0644]
gcc/tree-vrp.c