[PATCH] D54466: [Analyzer] [WIP] Iterator Checkers - Use the base region of C++ Base Object Regions (recursively) for iterators stored in a region

[Balogh, Ádám via Phabricator via cfe-commits]

baloghadamsoftware added a comment.

I marked this patch as WIP because I could not create a test-case for it. However in real projects this patch seems to reduce false positives significantly.

The member function `getBaseRegion()` of `MemRegion` does not work here because it recursively retrieves the base region of multiple kinds of `SubRegion`.


Repository:
  rC Clang

https://reviews.llvm.org/D54466