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

[Eli Friedman via Phabricator via llvm-commits]

efriedma added inline comments.


================
Comment at: lib/Analysis/BasicAliasAnalysis.cpp:1164
+  // We can't get GEP offset to identify pointer alias if the GEP has variable
+  // indeces.
+  else
----------------
*indices.

You should probably fix the big block comment as well; "we can't count on the constant offsets that come from non-struct sources" isn't an accurate description of the LangRef rules for GEPs.


Repository:
  rL LLVM

https://reviews.llvm.org/D45510