[LLVMdev] new LLVM IR features

Dan Gohman gohman at apple.com
Wed Jul 29 14:18:07 PDT 2009


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




More information about the llvm-dev mailing list