[LLVMdev] new LLVM IR features

[Dan Gohman]

On Jul 29, 2009, at 12:47 PM, David Greene wrote:


> On Wednesday 29 July 2009 13:25, Dan Gohman wrote:
>
>> The optional inbounds flag further constrains a GEP by saying that
>>
>> the integer arithmetic implied by a GEP won't overflow.
>>
>
> Then maybe it should be renamed.  As I understand this, I could  
> compute
> an overflowing GEP so that the end result os an address that is  
> within the
> bounds of the object.  That's still "in bounds" but is not "inbounds."

Aha, good catch! I'll rename the keyword and reword the documentation
in terms of integer overflow.

Dan