<div dir="ltr">Thanks Kostya :)</div><div class="gmail_extra"><br><div class="gmail_quote">2015-11-09 20:22 GMT+01:00 Kostya Serebryany <span dir="ltr"><<a href="mailto:kcc@google.com" target="_blank">kcc@google.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote"><span class="">On Mon, Nov 9, 2015 at 8:54 AM, Piotr Padlewski via cfe-dev <span dir="ltr"><<a href="mailto:cfe-dev@lists.llvm.org" target="_blank">cfe-dev@lists.llvm.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr">Hi,<div>so I've heard that ASAN supports sanitizing static initialization order fiasco:</div><div><a href="http://clang.llvm.org/docs/AddressSanitizer.html#initialization-order-checking" target="_blank">http://clang.llvm.org/docs/AddressSanitizer.html#initialization-order-checking</a><br></div><div><br></div><div>I assume that it only reports occurrences of fiasco, and not cases when it could happen but we were lucky enough that initialization order was right.<br></div></div></blockquote><div><br></div></span><div>There is a stricter mode  that will find potential fiasco as well: </div><div><a href="https://github.com/google/sanitizers/wiki/AddressSanitizerInitializationOrderFiasco#strict-init-order-checking" target="_blank">https://github.com/google/sanitizers/wiki/AddressSanitizerInitializationOrderFiasco#strict-init-order-checking</a><br></div><span class=""><div><br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr"><div></div><div>Am I right or not? If so, is there any way to staticly prove that code is initialization order fiasco free?</div></div></blockquote><div><br></div></span><div>I'd guess this can be checked statically but I am not aware of a tool that does it. </div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr"><div><br></div><div>Best</div><span><font color="#888888"><div>Piotr Padlewski</div></font></span></div>
<br>_______________________________________________<br>
cfe-dev mailing list<br>
<a href="mailto:cfe-dev@lists.llvm.org" target="_blank">cfe-dev@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev</a><br>
<br></blockquote></div><br></div></div>
</blockquote></div><br></div>