<div dir="ltr">Thanks Kostya for the feedback.<br><br><div class="gmail_quote"><div dir="ltr">On Tue, Oct 31, 2017 at 6:00 PM Kostya Serebryany <<a href="mailto:kcc@google.com">kcc@google.com</a>> wrote:</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
- Stack errors: it seems sensible not to insert 32-byte sentinels<br>
  between every object, but the result is that some stack overflow<br>
  gets reported as unknown or use-after-scope.  I have a patch that<br>
  improves on the default behavior, but there remains cases where the<br>
  error reports will not be as good.<br></blockquote><div><br></div></div></div></div></div><div dir="ltr"><div><div class="gmail_extra"><div class="gmail_quote"><div>Hmm. Not sure what's the problem here. It's totally fine to insert 32-byte redzone around stack objects. </div><div>(in 32-byte granularity mode)</div></div></div></div></div></blockquote><div><br></div><div>I was concerned about stack overhead, but I will go with your suggestion for now, and revisit when I have more data.</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
- Would it make sense to provide an internal compiler flag to set the<br>
  shadow granularity, so that there we can at least run the<br>
  instrumentation tests for 32-byte granularity in normal builds?<br></blockquote><div><br></div></div></div></div></div><div dir="ltr"><div><div class="gmail_extra"><div class="gmail_quote"><div>I'd prefer a proper flag, like -fsanitize-address-granularity=N (8,16,32)</div></div></div></div></div></blockquote><div><br></div><div>Ok I'll do that.</div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><div class="gmail_extra"><div class="gmail_quote"><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
- Is there a reasonable subset of tests I can port to 32-byte<br>
  granularity to provide reasonable coverage, or should I aim to port<br>
  all tests?<br></blockquote><div><br></div></div></div></div></div><div dir="ltr"><div><div class="gmail_extra"><div class="gmail_quote"><div>Let's see what tests won't work out of the box and decide. </div><div>We can mark all failing tests as</div><div>   UNSUPPORTED: 32-bit-granularity </div><div>but ideally we shouldn't have to mark too many of those. </div></div></div></div></div></blockquote><div><br></div><div>I will write up a classification of the failures.   There are many tests that fail because they assume the shadow granularity; I will propose fixes for them.</div><div><br></div><div>Thanks,</div><div><br></div><div>Walter</div><div><br></div></div></div>