[PATCH] D54017: [analyzer] NullabilityChecker: Invariant violation should only be triggered for symbols.
Artem Dergachev via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Nov 5 13:26:41 PST 2018
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.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 6087 bytes
Desc: not available
More information about the cfe-commits