[PATCH] D53754: [Analyzer] Skip symbolic regions based on conjured symbols in comparison of the containers of iterators

[Balogh, Ádám via Phabricator via cfe-commits]

baloghadamsoftware added a comment.
Herald added a subscriber: gamesh411.

In D53754#1277253 <https://reviews.llvm.org/D53754#1277253>, @Szelethus wrote:

> I wonder whether a method in `MemRegion` called `isSameRegion` or `isSurelySameRegion` would be better. I think it's likely that there are (or will be) checkers that would do similar things.


Unfortunately the question whether two regions are the same is a partially decidable problem. We can never be sure whether two regions are "surely" the same. We can only disclose some highly unreliable region types such as symbolic regions based on conjured symbols to reduce false positives.


Repository:
  rC Clang

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

https://reviews.llvm.org/D53754