[PATCH] D77062: [analyzer] Added check for unacceptable equality operation between Loc and NonLoc types

[Kristóf Umann via Phabricator via cfe-commits]

Szelethus added a comment.

In D77062#1977613 <https://reviews.llvm.org/D77062#1977613>, @ASDenysPetrov wrote:

> I've investigated graph.dot of the sample. F11723847: tmp63ucwe5i.html <https://reviews.llvm.org/F11723847>


This is the exploded graph for which code? The t37503.cpp file you uploaded earlier doesn't have the functions/variables found here, nor does the test case included in this patch.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D77062/new/

https://reviews.llvm.org/D77062