]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7da1391) | patch
[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)
commitfbfd4cc0b44e4acc5036d7f1d1601e0253518d49
tree73d572f091cbc014ffb09e2ccf14afa59f969ce8tree | snapshot
parent7da1391bdec01faee1dd5af9f3a0c6df63eff243commit | diff
[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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@360790 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp diff | blob | history
test/Analysis/osobject-retain-release.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.