[LLVMdev] load widening conflicts with AddressSanitizer

[Dan Gohman]

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.

Dan