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

[Duncan Sands]

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.

then shouldn't it be false by default?

>> In fact I don't understand what this flag means exactly.
> 
> I'll be checking in more documentation soon.

Thanks!

Duncan.