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
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
