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

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).

llvm-svn: 209193