https://github.com/nikic commented: I think this isn't wrong, but it's also not useful for anything. We will not be able to use a ParitalAlias result without proper nesting and an offset. https://github.com/llvm/llvm-project/pull/110519