[PATCH] D33671: [analyzer] In plist alternate mode, don't add weird control flow pieces from ObjC property declarations to uses.

[Anna Zaks via Phabricator via cfe-commits]

zaks.anna accepted this revision.
zaks.anna added inline comments.
This revision is now accepted and ready to land.


================
Comment at: lib/StaticAnalyzer/Core/BugReporter.cpp:1674
         const Decl *D = CalleeLC->getDecl();
-        addEdgeToPath(PD.getActivePath(), PrevLoc,
-                      PathDiagnosticLocation::createBegin(D, SM),
-                      CalleeLC);
+        if (D->hasBody())
+          addEdgeToPath(PD.getActivePath(), PrevLoc,
----------------
Why does the edge to the end of the function is not drawn either? (I assume it is not.)


https://reviews.llvm.org/D33671