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

[Chris Lattner]

On Nov 26, 2009, at 9:46 AM, Duncan Sands wrote:

> 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?

Then that's undefined behavior.

-Chris