<div dir="ltr">On 28 June 2013 19:45, Chris Matthews <span dir="ltr"><<a href="mailto:chris.matthews@apple.com" target="_blank">chris.matthews@apple.com</a>></span> wrote:<br><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"><div style="word-wrap:break-word">Given this tradeoff I think we want to tend towards false positives (over false negatives) strictly as a matter of compiler quality.</div>
</blockquote><div><br></div><div>False hits are not binary, but (at least) two-dimensional. You can't say it's better to have any amount of false positives than any amount of false negatives (pretty much like the NSA spying on *everybody* to avoid *any* false negative). You can't also say that N false-positives is the same as N false-negatives, because a false-hit can be huge in itself, or not. </div>
<div><br></div><div>What we have today is a huge amount of false positives and very few (or none) false negatives. But even the real positives that we could spot even with this amount of noise, we don't, because people don't normally look at regressions. If I had to skim through the regressions on every build, I'd do nothing else.</div>
<div><br></div><div>Given the proportion, I'd rather have a few small false positives and reduce considerably the number of false positives with a hammer approach, and only later try to nail down the options and do some fine tuning, than doing the fine tuning now while still nobody cares about any result because they're not trust-worthy.</div>
<div><br></div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><div>That said, I’d never object to a professional’s opinion on this problem!<br>
</div></div></blockquote><div></div></div><br></div><div class="gmail_extra">Absolutely! And David can help you a lot, there. But I wouldn't try to get it perfect before we get it acceptable.</div><div class="gmail_extra">
<br></div><div class="gmail_extra">cheers,</div><div class="gmail_extra">--renato</div></div>