]> granicus.if.org Git - clang/commit
[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)
commit7cd19b9e4f1ebe5da782cde760dae82113a77e22
tree6ad4cde8492f3540da22b044ed00369605aa2f0c
parent93bb48133ff0de7e60b34457ca80de26948aa26c
[Analyzer] Assume that CFBooleanRef const globals are non-null

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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@315655 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Checkers/Checkers.td
lib/StaticAnalyzer/Checkers/CMakeLists.txt
lib/StaticAnalyzer/Checkers/NonnullGlobalConstantsChecker.cpp [moved from lib/StaticAnalyzer/Checkers/NonnullStringConstantsChecker.cpp with 74% similarity]
test/Analysis/nonnull-global-constants.mm [moved from test/Analysis/nonnull-string-constants.mm with 86% similarity]