[PATCH] D95307: [StaticAnalyzer] Add checking for degenerate base class in MemRegion

[Valeriy Savchenko via Phabricator via cfe-commits]

vsavchenko added a comment.

In D95307#2532669 <https://reviews.llvm.org/D95307#2532669>, @RedDocMD wrote:

> I clearly am taking the wrong approach to this problem. I will need to reconsider how PointerToMember is actually modelled before solving this problem

I don't know if this is useful or not, but pointer-to-members used to be `void *` up until very recently.  Here is my change on that topic (and it probably where the bug you're trying to fix initiated): https://reviews.llvm.org/D85817
I thought, it can be useful to see the areas of code where it all happens.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D95307/new/

https://reviews.llvm.org/D95307