[LLVMdev] new LLVM IR features

David Greene dag at cray.com
Wed Jul 29 12:47:20 PDT 2009

On Wednesday 29 July 2009 13:25, Dan Gohman wrote:

> The new GEP rule says that you can't dereference a pointer within an
> object if it was computed from a GEP based on a different object.


> 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."


More information about the llvm-dev mailing list