[llvm-dev] Different index types in GEPs -> non-aliasing?

Vedant Kumar via llvm-dev llvm-dev at lists.llvm.org
Mon Apr 18 08:28:17 PDT 2016

This sounds like a bug to me.

>  // If the last (struct) indices are constants and are equal, the other indices
>  // might be also be dynamically equal, so the GEPs can alias.
>  if (C1 && C2 && C1 == C2)
>    return MayAlias;

Does changing this condition fix the issue? E.g

  if (C1 && C2 && C1->getSExtValue() == C2->getSExtValue()) { ... }


More information about the llvm-dev mailing list