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

[Artem Dergachev via Phabricator via cfe-commits]

NoQ created this revision.
Herald added a subscriber: xazax.hun.

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 https://reviews.llvm.org/D32437, where this gets reproduced, though other checkers seem to be affected as well.


https://reviews.llvm.org/D33671

Files:
  lib/StaticAnalyzer/Core/BugReporter.cpp
  test/Analysis/nullability-notes.m

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D33671.100693.patch
Type: text/x-patch
Size: 10734 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20170530/9af3e673/attachment-0001.bin>