[PATCH] D12852: [Static Analyzer] Moving nullability checkers to a top level package.

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

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

This patch is a preparation to enabling some of the nullability checks by default.

1. Moved nullability checkers to a top level package. The core package is not a great fit, because some of the checks should be turned on by default and some of them should be opt-in checks.

2. When the only the default checks turned on, tracking nullability of the symbols is not necessary. This minimizes the impact of the default checks on memory consumption.

3. Added a separate test file to the configuration when only those checks are turned on that will be turned on by default later on. 

http://reviews.llvm.org/D12852

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D12852.34703.patch
Type: text/x-patch
Size: 7439 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20150914/54d7b418/attachment.bin>