[LLVMdev] new LLVM IR features

[David Greene]

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

> Getelementptr now has an optional flag: inbounds.  WIth this flag,
> if the result of a getelementptr is not in bounds of an allocated
> object,
> the result value is undefined.  Note the the new getelementptr rule
> applies regardless of whether the keyword is present.

How do the semantics of "inbounds" differ from the new GEP rules?

                            -Dave