Diffusion LLVM Github Monorepo 2301c5ab4dfd

[analyzer] Trust _Nonnull annotations for system framework
2301c5ab4dfd
Actions

Authored by george.karpenkov on Mar 22 2018, 5:16 PM.

Description

[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

Details

Committed

george.karpenkov

Mar 22 2018, 5:16 PM

Differential Revision

D44341: [analyzer] Trust _Nonnull annotations for system framework

Parents

rG628920b460a4: [analyzer] Extend GCDAntipatternChecker to match group_enter/group_leave pattern

Branches

Unknown

Tags

Unknown

Event Timeline

george.karpenkov committed rG2301c5ab4dfd: [analyzer] Trust _Nonnull annotations for system framework (authored by george.karpenkov).Mar 22 2018, 5:16 PM

Changes (8)

				Path	Packages
	M			clang/include/clang/StaticAnalyzer/Checkers/Checkers.td
	M			clang/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerHelpers.h
	M			clang/lib/StaticAnalyzer/Checkers/CMakeLists.txt
	M			clang/lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp
	A			clang/lib/StaticAnalyzer/Checkers/TrustNonnullChecker.cpp
	M			clang/lib/StaticAnalyzer/Core/CheckerHelpers.cpp
	M			clang/test/Analysis/Inputs/system-header-simulator-for-nullability.h
	A			clang/test/Analysis/trustnonnullchecker_test.m