[LLVMdev] proposed new rule for getelementptr

Eli Friedman eli.friedman at gmail.com
Thu Jul 23 07:51:20 PDT 2009

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.


More information about the llvm-dev mailing list