[PATCH] D12619: [Static Analyzer] Minor cleanups for the nullability checker.

Anna Zaks via cfe-commits cfe-commits at lists.llvm.org
Thu Sep 3 22:06:25 PDT 2015


zaks.anna added inline comments.

================
Comment at: lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp:99
@@ +98,3 @@
+                                     "Nullable pointer is assigned to a "
+                                     "pointer which has _Nonnull type",
+                                     "Nullable pointer is returned from a "
----------------
This is very asymmetric: "Nullable pointer" and "_Nonnull" type. Also, is "_Nonnull" the only spelling we have?


http://reviews.llvm.org/D12619





More information about the cfe-commits mailing list