Page MenuHomePhabricator

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

Authored by NoQ on May 30 2017, 5:04 AM.

Details

Summary

These result in really weird arrows that have little to do with control flow. Other path diagnostic modes behave differently and seem to be unaffected. Patching on top of D32437, where this gets reproduced, though other checkers seem to be affected as well.

Diff Detail

Repository
rL LLVM

Event Timeline

NoQ created this revision.May 30 2017, 5:04 AM
zaks.anna accepted this revision.May 31 2017, 10:34 AM
zaks.anna added inline comments.
lib/StaticAnalyzer/Core/BugReporter.cpp
1674 ↗(On Diff #100693)

Why does the edge to the end of the function is not drawn either? (I assume it is not.)

This revision is now accepted and ready to land.May 31 2017, 10:34 AM
This revision was automatically updated to reflect the committed changes.