[clang] [clang][dataflow] Handle when `this` refers to a different location (PR #146900)

[via cfe-commits]

martinboehme wrote:

As an initial comment, wanted to confirm that we've clarified what the semantics of the AST are here.

In https://github.com/llvm/llvm-project/issues/128068, I asked:

> What I'm not clear on is what the rule is that disambiguates this. Is it simply that if a `CXXThisExpr` is contained in an `InitListExpr`, it refers to the result object of that `InitListExpr` (and not the this pointer of the enclosing `CXXMethodDecl`)?

Have you been able to get a definitive clarification on this?

https://github.com/llvm/llvm-project/pull/146900