Teach isKnownNonNull that a nonnull return is not null. Add a test for this…

Description

Teach isKnownNonNull that a nonnull return is not null. Add a test for this case as well as the case of a nonnull attribute (already handled but not tested).

Details

Committed
nicholasMay 19 2014, 10:13 PM
Parents
rL209192: [C++11] Use 'nullptr'. Tooling edition.
Branches
Unknown
Tags
Unknown