projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 628920b) | patch
[analyzer] Trust _Nonnull annotations for system framework
authorGeorge Karpenkov <ekarpenkov@apple.com>
Fri, 23 Mar 2018 00:16:03 +0000 (00:16 +0000)
committerGeorge Karpenkov <ekarpenkov@apple.com>
Fri, 23 Mar 2018 00:16:03 +0000 (00:16 +0000)
commit2301c5ab4dfda7e2f278971e183dc4b58990f18a
tree9976bc834318bc934bfa2975fd2794e8db3a298dtree | snapshot
parent628920b460a48ca58b373035333b2899ee0114d3commit | diff
[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/include/clang/StaticAnalyzer/Checkers/Checkers.td diff | blob | history
clang/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerHelpers.h diff | blob | history
clang/lib/StaticAnalyzer/Checkers/CMakeLists.txt diff | blob | history
clang/lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp diff | blob | history
clang/lib/StaticAnalyzer/Checkers/TrustNonnullChecker.cpp [new file with mode: 0644] blob
clang/lib/StaticAnalyzer/Core/CheckerHelpers.cpp diff | blob | history
clang/test/Analysis/Inputs/system-header-simulator-for-nullability.h diff | blob | history
clang/test/Analysis/trustnonnullchecker_test.m [new file with mode: 0644] blob
Domain: System / Toolchain;