[LLVMdev] load widening conflicts with AddressSanitizer

[Kostya Serebryany]

On Mon, Dec 19, 2011 at 4:27 PM, Chris Lattner <clattner at apple.com> wrote:

>
> On Dec 17, 2011, at 7:40 AM, Rafael Ávila de Espíndola wrote:
>
> > On 16/12/11 08:46 PM, Chris Lattner wrote:
> >> I'm not opposed to disabling this transformation when asan is on, we
> just need a clean way to express this in the IR.
> >
> > Could clang be aware of asan being on and introduce a "please don't
> > widen" metadata on local variable accesses?
>
> Yes, "we just need a clean way to express this in the IR."
>
> LLVM can't have a global "bool ASANIsOn;" that the optimizers listen to.
>


A global is bad.
What about a metadata attached to a Function saying that transformations
which will read out of bounds (even "safely") are illegal?
asan and SAFEcode will add this metadata, optimizers will listen to it.

Any other suggestion?


--kcc
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20111227/a9e51b02/attachment.html>