[PATCH] D45510: [RFC][AliasAnalysis][BasicAA] Return MayAlias for the pointer plus variable offset to structure object member

[Hal Finkel via Phabricator via llvm-commits]

hfinkel added a comment.

> The LLVM version, of course, does not make this undefined behavior AFAIK (which is a source of much imprecision)

I agree. I believe this is UB in C/C++, but is well defined at the IR level (and, thus, we should still fix this).


Repository:
  rL LLVM

https://reviews.llvm.org/D45510