[analyzer] Refine the diagnostics in the nullability checker to differentiate between...
authorAnna Zaks <ganna@apple.com>
Thu, 15 Dec 2016 22:55:15 +0000 (22:55 +0000)
committerAnna Zaks <ganna@apple.com>
Thu, 15 Dec 2016 22:55:15 +0000 (22:55 +0000)
commit6d4e76b988080060fc6b1fe0fbb1194ea6bf5e76
tree2bf4b34055143f0dbb1e70545386c3d3dc3b0cb8
parent40c74c6d2233f7c228365740f683c4d16c0693c6
[analyzer] Refine the diagnostics in the nullability checker to differentiate between nil and null

This is a big deal for ObjC, where nullability annotations are extensively
used. I've also changed "Null" -> "null" and removed "is" as this is the
pattern that Sema is using.

Differential Revision: https://reviews.llvm.org/D27600

llvm-svn: 289885
clang/lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp
clang/test/Analysis/nullability-no-arc.mm
clang/test/Analysis/nullability.mm
clang/test/Analysis/nullability_nullonly.mm