[PATCH] D53754: [Analyzer] Skip symbolic regions based on conjured symbols in comparison of the containers of iterators
Artem Dergachev via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Fri Nov 30 14:08:17 PST 2018
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
More information about the cfe-commits
mailing list