[PATCH] D154221: [analyzer] Fix false negative when pass implicit cast nil to nonnull

tripleCC via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue Jul 4 08:18:35 PDT 2023


tripleCC added inline comments.


================
Comment at: clang/test/Analysis/nullability-arc.mm:26
   [self foo:nil];
-#if __has_feature(objc_arc)
-  // expected-note at -2{{Calling 'foo:'}}
-  // expected-note at -3{{Passing nil object reference via 1st parameter 'param'}}
-#endif
+  // expected-warning at -1{{nil passed to a callee that requires a non-null 1st parameter}}
+  // expected-note at -2   {{nil passed to a callee that requires a non-null 1st parameter}}
----------------
I'm not sure if this change fixes the issue in [[ https://reviews.llvm.org/D54017?id=172274#inline-477102 | D54017 ]] , and may require some further discussion


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D154221/new/

https://reviews.llvm.org/D154221



More information about the cfe-commits mailing list