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

[Umann Kristóf via Phabricator via cfe-commits]

Szelethus added a comment.

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.

Maybe something like this?

  bool MemRegion::isSurelySameRegion(const MemRegion *Other) const {
    // We can't reason about symbolic regions.
    if (/* this or Other is symbolic*/)
      return;
    return this == Other;
  }


Repository:
  rC Clang

https://reviews.llvm.org/D53754



_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits