<br><br><div class="gmail_quote">On Tue, Jan 24, 2012 at 10:04 AM, Joerg Sonnenberger <span dir="ltr"><<a href="mailto:joerg@britannica.bec.de">joerg@britannica.bec.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">On Tue, Jan 24, 2012 at 10:23:06AM +0100, Duncan Sands wrote:<br>
> Hi Kostya,<br>
><br>
> > [resurrecting an old mail thread about AddressSanitizer false positive caused by<br>
> > load widening]<br>
> ><br>
> > Once the Attribute::AddressSafety is set by clang (a separate patch), fixing<br>
> > this bug may look as simple as this:<br>
><br>
> I don't get the point of an attribute.  There's plenty of code out there<br>
> that does wide loads like this directly (without them being created by the<br>
> optimizers) since, just like the optimizers, they know it is safe and a win.<br>
> The attribute won't help them.  It looks like a way of just hiding the real<br>
> problem, which seems to be that address sanitizer is overly strict.<br>
<br>
</div>The approach taken by valgrind is to provide a preprocessor macro, so a<br>
validation build can disable such optional performance hacks.<br></blockquote><div><br></div><div>True (to some extent it is equivalent to proposed __attribute__).</div><div>The difference is that valgrind's RUNNING_ON_VALGRIND (<a href="http://valgrind.org/docs/manual/manual-core-adv.html#manual-core-adv.clientreq">http://valgrind.org/docs/manual/manual-core-adv.html#manual-core-adv.clientreq</a>)</div>
<div>is a dynamically executed code, while with asan we need something static. </div><div><br></div><div>--kcc </div><div><br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<span class="HOEnZb"><font color="#888888"><br>
Joerg<br>
</font></span><div class="HOEnZb"><div class="h5">_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:LLVMdev@cs.uiuc.edu">LLVMdev@cs.uiuc.edu</a>         <a href="http://llvm.cs.uiuc.edu" target="_blank">http://llvm.cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</a><br>
</div></div></blockquote></div><br>