[PATCH] D19935: [BasicAA] Compare GEP indices based on value

[Mikael Holmén via llvm-commits]

uabelho added a subscriber: uabelho.
uabelho added a comment.

Great! We've done a fix like this locally to get around the problem and it's worked so far.

However, I'm a little bit worried that there could be other places in AA where GEPs are considered to be noaliasing only based on checking Value pointers, e.g in

bool BasicAAResult::isValueEqualInPotentialCycles(const Value *V,

                                                  const Value *V2) {
  if (V != V2)
    return false;

but I don't know the code well enough to know if the code above can cause any similar problems or not.


http://reviews.llvm.org/D19935