[PATCH] D12445: [Static Analyzer] Remove sinks from nullability checks.

[Gábor Horváth via cfe-commits]

xazax.hun created this revision.
xazax.hun added reviewers: zaks.anna, dcoughlin, krememek, jordan_rose.
xazax.hun added a subscriber: cfe-commits.

With this patch a nullability violation no longer generates a sink node, so it does not cause any coverage loss for other checkers.
>From now on, it also do not warns, when a nullability precondition is violated. These changes are related, because in order to be able to remove the sinks (without generating duplicate reports for the same symbol), there should be a mechanism to turn off this checker for a path.

http://reviews.llvm.org/D12445

Files:
  lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp
  test/Analysis/nullability.mm

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D12445.33458.patch
Type: text/x-patch
Size: 12731 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20150828/dbdaf4b0/attachment.bin>