[PATCH] D54017: [analyzer] NullabilityChecker: Invariant violation should only be triggered for symbols.

[Artem Dergachev via Phabricator via cfe-commits]

NoQ updated this revision to Diff 172645.
NoQ marked 3 inline comments as done.
NoQ added a comment.

Fix comments, update comments.

Before i forget - also add invariant violation markers to the exploded graph, which helped me a lot with debugging this bug.


https://reviews.llvm.org/D54017

Files:
  lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp
  test/Analysis/nullability-arc.mm
  test/Analysis/nullability.mm

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D54017.172645.patch
Type: text/x-patch
Size: 6087 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20181105/95f52521/attachment-0001.bin>