commit 2301c5ab4dfda7e2f278971e183dc4b58990f18a
author George Karpenkov <ekarpenkov@apple.com> Fri Mar 23 00:16:03 2018 +0000
committer George Karpenkov <ekarpenkov@apple.com> Fri Mar 23 00:16:03 2018 +0000
tree 9976bc834318bc934bfa2975fd2794e8db3a298d
parent 628920b460a48ca58b373035333b2899ee0114d3

[analyzer] Trust _Nonnull annotations for system framework

Changes the analyzer to believe that methods annotated with _Nonnull
from system frameworks indeed return non null objects.
Local methods with such annotation are still distrusted.
rdar://24291919

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

llvm-svn: 328282

clang/lib/StaticAnalyzer/Checkers/CMakeLists.txt

diff --git a/clang/lib/StaticAnalyzer/Checkers/CMakeLists.txt b/clang/lib/StaticAnalyzer/Checkers/CMakeLists.txt
index baf36e0..d472ae4 100644
--- a/clang/lib/StaticAnalyzer/Checkers/CMakeLists.txt
+++ b/clang/lib/StaticAnalyzer/Checkers/CMakeLists.txt
@@ -84,6 +84,7 @@
   TaintTesterChecker.cpp
   TestAfterDivZeroChecker.cpp
   TraversalChecker.cpp
+  TrustNonnullChecker.cpp
   UndefBranchChecker.cpp
   UndefCapturedBlockVarChecker.cpp
   UndefResultChecker.cpp