[llvm-commits] [llvm] r76222 - /llvm/trunk/lib/VMCore/Instructions.cpp

[Dan Gohman]

On Jul 17, 2009, at 1:00 PM, Duncan Sands <baldrick at free.fr> wrote:

> Hi Dan,
>
>> +  // GetElementPtr instructions have undefined results on overflow  
>> by default.
>> +  setHasNoPointerOverflow(true);
>
> setHasNoPointerOverflow makes it sound like you have proved it doesn't
> overflow.

That is what it is.

> In fact I don't understand what this flag means exactly.

I'll be checking in more documentation soon.

Dan