[PATCH] D54466: [Analyzer] Iterator Checkers - Use the region of the topmost base class for iterators stored in a region

Umann Kristóf via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Nov 22 07:18:57 PST 2018


Szelethus added a comment.

In https://reviews.llvm.org/D54466#1305305, @baloghadamsoftware wrote:

> In https://reviews.llvm.org/D54466#1297887, @NoQ wrote:
>
> > > Hmmm, shouldn't we add this to `MemRegion`'s interface instead?
>
>
> This:
>
> > I wouldn't insist, but this does indeed sound useful. I suggest `MemRegion::getMostDerivedObjectRegion()` or something like that.
>
> vs
>
> > Also, ugh, that nomenclature: the base region of `CXXBaseObjectRegion` in fact represents the //derived// object.
>
> So if `CXXBaseObjectRegion` is the derived object, then `MemRegion::getMostDerivedObjectRegion()` gets the least derived object region now?


Hmm, are there any particular reasons against renaming it to `CXXDerivedRegion`?


https://reviews.llvm.org/D54466





More information about the cfe-commits mailing list