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