HomePhabricator

[analyzer] Trust _Nonnull annotations for system framework

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