[PATCH] D131655: [analyzer] Nullability: Enable analysis of non-inlined nullable objc properties.

Artem Dergachev via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Aug 11 15:28:32 PDT 2022


NoQ added inline comments.


================
Comment at: clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp:85-86
 
-  PostStmt PS(CallExpr, LCtx);
+  SimpleProgramPointTag T{"ExprEngine", "Trivial Copy"};
+  PostStmt PS(CallExpr, LCtx, &T);
   for (ExplodedNodeSet::iterator I = Dst.begin(), E = Dst.end();
----------------
Ooops that wasn't part of the patch I should remove that.


Repository:
  rC Clang

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

https://reviews.llvm.org/D131655



More information about the cfe-commits mailing list