[Analyzer] Assume that CFBooleanRef const globals are non-null
authorGeorge Karpenkov <ekarpenkov@apple.com>
Fri, 13 Oct 2017 00:51:41 +0000 (00:51 +0000)
committerGeorge Karpenkov <ekarpenkov@apple.com>
Fri, 13 Oct 2017 00:51:41 +0000 (00:51 +0000)
commit9a542f7553f198251869ef377a748e92e545c8f0
treec021fd54869ec8a16d04f5b6eacfbdcefdc17241
parent4516caef8e8760a011c501deca6cc3aaf21c75f0
[Analyzer] Assume that CFBooleanRef const globals are non-null

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

llvm-svn: 315655
clang/include/clang/StaticAnalyzer/Checkers/Checkers.td
clang/lib/StaticAnalyzer/Checkers/CMakeLists.txt
clang/lib/StaticAnalyzer/Checkers/NonnullGlobalConstantsChecker.cpp [new file with mode: 0644]
clang/lib/StaticAnalyzer/Checkers/NonnullStringConstantsChecker.cpp [deleted file]
clang/test/Analysis/nonnull-global-constants.mm [new file with mode: 0644]
clang/test/Analysis/nonnull-string-constants.mm [deleted file]