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

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

What makes you think that conjured symbols are special?

Doesn't the same problem appear in the following example?:

  void foo(std::vector<int> &v1, std::vector<int> &v2) {
    v2.erase(v1.cbegin());
  }

In this example if `foo()` is analyzed as a top level function, the respective symbols would be of `SymbolRegionValue` kind. It is also easy to come up with a test case that involves `SymbolDerived`.


Repository:
  rC Clang

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

https://reviews.llvm.org/D53754