<div dir="auto"><div><br><div class="gmail_extra"><br><div class="gmail_quote">On Dec 15, 2017 08:45, "Dirk Hohndel" <<a href="mailto:dirk@hohndel.org">dirk@hohndel.org</a>> wrote:<blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
I'll let him comment on "-Wall" and on the patch below.<br></blockquote></div></div></div><div dir="auto"><br></div><div dir="auto">-Wall is almost always the right thing to use. </div><div dir="auto"><br></div><div dir="auto">Sometimes it enables particular things that can be annoying, but I'm all for fixing those.</div><div dir="auto"><br></div><div dir="auto">      Linus</div></div>