Page MenuHomePhabricator

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

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



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


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.
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.