[LLVMdev] new LLVM IR features

[David Greene]

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.

Ok.

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

                                 -Dave