[llvm-commits] [llvm] r89915 - /llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp

[Duncan Sands]

Hi Chris,

> +  // If our known offset is bigger than the access size, we know we don't have
> +  // an alias.
> +  if (GEP1BaseOffset) {
> +    if (GEP1BaseOffset >= (int64_t)V2Size ||
> +        GEP1BaseOffset <= -(int64_t)V1Size)
>        return NoAlias;

what if this wraps around the entire address space and lands back on top of
the original pointer?

Ciao,

Duncan.