[PATCH] D62978: [analyzer] ReturnVisitor: Handle non-null ReturnStmts

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

Ah, that positive!

No, i don't think this is a valid way to suppress it. I'll tease you a bit more though, and only give a hint: the null value that we're null-dereferencing was in fact assumed to be null //in the top frame//, not within any inline function. Therefore the whole "Returning pointer..." note is completely misleading: it is irrelevant what value we return from `getSuperRegion()`, we might have as well evaluated it conservatively, the report would still have been emitted.


Repository:
  rC Clang

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D62978/new/

https://reviews.llvm.org/D62978