[LLVMdev] proposed new rule for getelementptr

[Eli Friedman]

On Wed, Jul 22, 2009 at 1:32 PM, Dan Gohman<gohman at apple.com> wrote:
> Yes, something like this. I had been thinking of defining gep overflow
> in terms of integer overflow, and then just saying that since LLVM IR
> doesn't usually know what the address is, the only way to be safe is to
> stay within the object, but your suggestion might be simpler.

Hmm, yeah, I was considering that too.  We quickly run into the issue
of "what sort of integer overflow", though.

-Eli