<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">2015-06-07 20:24 GMT+02:00 Eliot Miranda <span dir="ltr"><<a href="mailto:eliot.miranda@gmail.com" target="_blank">eliot.miranda@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"> <br><div dir="ltr">Hi Holger,<br><div class="gmail_extra"><br><div class="gmail_quote">On Sun, Jun 7, 2015 at 12:32 AM, Holger Freyther <span dir="ltr"><<a href="mailto:holger@freyther.de" target="_blank">holger@freyther.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
<br>
> On 07 Jun 2015, at 01:25, tim Rowledge <<a href="mailto:tim@rowledge.org" target="_blank">tim@rowledge.org</a>> wrote:<br>
><br>
><br>
> GCC is such fun.<br>
<br>
given the amount of warnings emitted during compilation, have you considered<br>
that it might be the input given to gcc that is the issue here? ;)<br>
<br></blockquote><div><br></div><div>You're very welcome to make changes to plugins to reduce warnings. I'm focussed on the core VM, and as Tim has said there are almost no warnings from that code. There is one warning from the Cogit that is inappropriate and I refuse to waste the code that would avoid it, and there are, I think, 8 warnings from the 32-bit Stack/CoInterpreter which are in integer conversion code which is conditionally compiled code not used in 32-bits. So in the code I have responsibility for I have eliminated all but the minimum of warnings. I am not the author of the plugins and don't presume to understand them all well enough to fix them. I would appreciate your help, rather than your criticism.</div><div><br></div></div><br></div></div></blockquote><div><br></div><div>I'd like to help in this domain too.<br></div><div>Unfortunately, eliminating warnings is a first step, but not enough (even with -Wall -Wextra ...)<br></div><div>Many UB conditions are not detected (or the compiler would really be pedantic with false alarms).<br></div><div>For example, like testing overflow in post-condition which is wrong since overflow is UB, anything could happen...<br>see bytecodePrimeMultiply <a href="http://smallissimo.blogspot.fr/2015/04/the-more-or-less-defined-behavior-we.html">http://smallissimo.blogspot.fr/2015/04/the-more-or-less-defined-behavior-we.html</a><br><br></div><div>I thing clang has some optional analyzer (as the one used in Xcode, but there might be more capabilities...)<br></div><div><br></div><div>Nicolas<br><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><br clear="all"><div><br></div>-- <br><div>best,<div>Eliot</div></div>
</div></div>
<br></blockquote></div><br></div></div>