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

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

I still think that the mistake was made earlier. Why are we getting a compound value here? The argument of `strcpy` is a plain pointer, not a compound value. It points to an array of chars which may be interpreted as a compound value, but in any case our intention is definitely not to make assumes over the whole array.


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

https://reviews.llvm.org/D77062