[PATCH] D99194: [analyzer] Fix body farm for Obj-C++ properties

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added inline comments.


================
Comment at: clang/lib/Analysis/BodyFarm.cpp:757
+      if (PI->getPropertyDecl()) {
+        Prop = PI->getPropertyDecl();
+        if (Prop->getGetterName() == MD->getSelector())
----------------
At this point `Prop` may contain a completely unrelated property decl. It doesn't necessarily correspond to the `IVar` or have the right name. We keep it after the end of the loop and use it later. This doesn't sound right.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D99194