[LLVMdev] load widening conflicts with AddressSanitizer

Dan Gohman gohman at apple.com
Mon Dec 19 18:09:13 PST 2011

On Dec 19, 2011, at 4:31 PM, Chris Lattner wrote:

> On Dec 19, 2011, at 3:04 PM, John Criswell wrote:
>> 2) The load-widening transform introduces behavior that, as far as I know, is undefined at the LLVM IR level.
> This is incorrect, it is fully defined for LLVM IR.
>> Am I making sense now?  Is there something I'm misunderstanding here?
> Yes, it is that this is fully defined by LLVM IR. :)  This is not defined by C.  This is another case where LLVM IR is more general than C is.

To be fair, LangRef doesn't currently say this.


More information about the llvm-dev mailing list