[llvm-commits] [llvm] r89915 - /llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp
Chris Lattner
sabre at nondot.org
Thu Nov 26 10:29:40 PST 2009
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
More information about the llvm-commits
mailing list