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

[Vedant Kumar via llvm-dev]

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()) { ... }


best
vedant