<br><br><div class="gmail_quote">On Tue, Nov 6, 2012 at 7:53 PM, Kostya Serebryany <span dir="ltr"><<a href="mailto:kcc@google.com" target="_blank">kcc@google.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div style="font-family:arial,helvetica,sans-serif;font-size:10pt">Hi, <div><br></div><div>We need more clang flags in two categories: </div><div>   - flags that modify the behavior of asan/tsan/msan</div><div>   - flags that enable additional features of asan/tsan/msan</div>

<div><br></div><div>As we just discussed with Richard Smith, the flags should probably look like this: </div><div><br></div><div>modify the behavior: </div><div>   -f[no-]sanitize-address-zero-base-shadow # zero base for asan, should check that -pie is present, linux-only</div>

<div>   -f[no-]sanitize-memory-track-origins  # msan track-origins (once msan is in trunk, of course)</div><div><br></div><div>add additional features:</div><div>  -fsanitize=address,global-init-order,use-after-return,use-after-scope # asan subphases, currently off by default. </div>

<div><br></div><div>Does that sound good? Anything else? </div><div><br></div><div>Thanks, </div><div><br></div><div>--kcc </div></div>
<br>_______________________________________________<br>
cfe-dev mailing list<br>
<a href="mailto:cfe-dev@cs.uiuc.edu">cfe-dev@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev</a><br>
<br></blockquote></div><br>It seems weird to me, as a user, than the syntax to modify behavior would not reuse the "-fsanitize" common prefix.<br><br>There is precedent in -Wl being able to forward parameters to the linker already, so maybe a dedicated "-fsanitize-flags=address,....." could just forward the flags (whatever they are) to ASan and let it parse them. If the commas pose an issue, then perhaps than a "-fsanitize-address flag" would be simpler, with the latter part (address) being taken from the list of known checkers.<br>
<br>-- Matthieu<br><br>