[analyzer] RetainCount: Fix os_returns_retained_on_zero with weird return types.
authorArtem Dergachev <artem.dergachev@gmail.com>
Wed, 15 May 2019 18:41:32 +0000 (18:41 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Wed, 15 May 2019 18:41:32 +0000 (18:41 +0000)
commit07c7257cdc7f7fda8343d45e645a4c59f66835a1
treedaa20aea391f182b6d18c6ad160ad393c1532ed1
parentf672b6170ce8cf1f3dac48a167947c868beaa6e5
[analyzer] RetainCount: Fix os_returns_retained_on_zero with weird return types.

The checker was crashing when it was trying to assume a structure
to be null or non-null so that to evaluate the effect of the annotation.

Differential Revision: https://reviews.llvm.org/D61958

llvm-svn: 360790
clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp
clang/test/Analysis/osobject-retain-release.cpp