[llvm] [TBAA] Fix the case where a subobject gets accessed at a non-zero offset. (PR #101485)

[Eli Friedman via llvm-commits]

================
@@ -613,12 +613,13 @@ static bool mayBeAccessToSubobjectOf(TBAAStructTagNode BaseTag,
     }
 
     if (BaseType.getNode() == SubobjectTag.getBaseType()) {
----------------
efriedma-quic wrote:

I'm sorry, I can't follow the logic here at all.  What is the purpose of the code inside this if statement?

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