
<html><head><meta http-equiv="Content-Type" content="text/html charset=windows-1252"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><div>On Jul 6, 2012, at 10:01 PM, Richard Smith <<a href="mailto:richard@metafoo.co.uk">richard@metafoo.co.uk</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><span style="font-family: Helvetica; font-size: medium; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; display: inline !important; float: none; ">... and indeed we no longer have any protection against extension warnings being added with no explicit flag (other than -Wpedantic, which doesn't seem fine-grained enough to be useful). Would it be worthwhile to teach diagtool to additionally list diagnostics which are contained directly in the 'pedantic' group and include that in our CHECKs, with the intention of eventually emptying that list too?</span></blockquote></div><br><div>See r159893.</div></body></html>