[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