]> granicus.if.org Git - clang/commit
[analyzer] Model another special-case kind of cast for OSObject RetainCountChecker
authorGeorge Karpenkov <ekarpenkov@apple.com>
Tue, 22 Jan 2019 19:50:47 +0000 (19:50 +0000)
committerGeorge Karpenkov <ekarpenkov@apple.com>
Tue, 22 Jan 2019 19:50:47 +0000 (19:50 +0000)
commit714c3b9dec3d419bf4e712c3e3d3d463e63e0eef
tree213893c3b125b29bd7342beea38aa7ea0a0a5de9
parent528084e553dcbebf03691467233a6e5cf19f6f2e
[analyzer] Model another special-case kind of cast for OSObject RetainCountChecker

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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@351864 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/RetainSummaryManager.h
lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp
lib/StaticAnalyzer/Core/RetainSummaryManager.cpp
test/Analysis/os_object_base.h
test/Analysis/osobject-retain-release.cpp