<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN">

<html><body style='font-size: 14pt; font-family: Verdana,Geneva,sans-serif'>

<p>Why so strict on building? Does it really matter if a tool used in the a build doesn't free everything before exiting?</p>

<p>On 2018-01-26 03:59, Samuel Williams wrote:</p>

<blockquote type="cite" style="padding-left:5px; border-left:#1010ff 2px solid; margin-left:5px"><!-- html ignored --><!-- head ignored --><!-- meta ignored -->

<div dir="ltr">When sanitisers are on, the exit status is non-zero because of the memory leaks, so it's not just clean build reports, but actually failed builds.

<div> </div>

<div>Thanks</div>

<div>Samuel<br />

<div>

<div class="gmail_extra"><br />

<div class="gmail_quote">On 14 December 2017 at 05:22, Adrian Thurston <span><<a href="mailto:thurston@colm.net">thurston@colm.net</a>></span> wrote:<br />

<blockquote class="gmail_quote" style="margin: 0 0 0 .8ex; border-left: 1px #ccc solid; padding-left: 1ex;"><span style="text-decoration: underline;"></span>

<div style="font-size: 14pt; font-family: Verdana,Geneva,sans-serif;">

<p>Sorry, no change. The problems are in the form of memory leaks in ragel mucking up your clean build reports? Maybe you could turn them off for ragel? Honestly it's never really been a strong concern for me since ragel is a one-shot kind of program. Some improvements were made when I added libfsm, but that was mostly in the core FSM code.</p>

<p>My current concerns with ragel are to get out-of-tree support for alternate host languages. Will have some time for that in December. Removing leaks is something I would work on when 7.0 gets to stable status.</p>

<p>Adrian</p>

<div>

<div class="h5">

<p>On 2017-11-08 20:08, Samuel Williams wrote:</p>

</div>

</div>

<blockquote style="padding-left: 5px; border-left: #1010ff 2px solid; margin-left: 5px;">

<div>

<div class="h5">

<div dir="ltr">Any update to this? Still causing problems for me.</div>

<div class="gmail_extra"><br />

<div class="gmail_quote">On 9 October 2017 at 10:34, Samuel Williams <span><<a href="mailto:space.ship.traveller@gmail.com">space.ship.traveller@gmail.com</a>></span> wrote:<br />

<blockquote class="gmail_quote" style="margin: 0 0 0 .8ex; border-left: 1px #ccc solid; padding-left: 1ex;">

<div dir="ltr">

<div>Here is some log output from a build which invokes ragel to generate several parsers. I've cut out (most) unimportant output.</div>

<div> </div>

<div>The source code for the parsers: <a href="https://github.com/kurocha/async-http/tree/master/source/Async/HTTP/V1">https://github.com/kurocha/async-http/tree/master/source/Async/HTTP/V1</a></div>

<div> </div>

The results from running Ragel several times with LLVM sanitisers: <a href="https://gist.github.com/ioquatix/2e50ffb09697107338f8f75083400143">https://gist.github.com/ioquatix/2e50ffb09697107338f8f75083400143</a><br />

<div> </div>

<div>The main issue I can see are memory leaks, but there could be other issues.</div>

<div> </div>

<div>Since Ragel is a one-shot "compiler", perhaps it's not important to address these, except as a matter of correctness.</div>

<div> </div>

<div>I think there are potential problem with memory leaks and they might be covering up bigger issues - there might be cases where memory is being accessed incorrectly but it's not causing a crash because it's not freed at the right point etc.</div>

<div> </div>

<div>I'd suggest that if there is a test suite for Ragel, it's updated to run with the undefined behaviour sanitiser and address sanitiser - both provide useful output IMHO.</div>

<div> </div>

<div>Happy to provide more feedback.</div>

<div> </div>

<div>Kind regards,</div>

<div>Samuel</div>

<div> </div>

</div>

</blockquote>

</div>

</div>

</div>

</div>

<pre>_______________________________________________

ragel mailing list

<a href="mailto:ragel@colm.net">ragel@colm.net</a>

<a href="http://www.colm.net/cgi-bin/mailman/listinfo/ragel">http://www.colm.net/cgi-bin/mailman/listinfo/ragel</a>

</pre>

</blockquote>

</div>

<br />_______________________________________________<br /> ragel mailing list<br /> <a href="mailto:ragel@colm.net">ragel@colm.net</a><br /> <a href="http://www.colm.net/cgi-bin/mailman/listinfo/ragel">http://www.colm.net/cgi-bin/mailman/listinfo/ragel</a><br /> </blockquote>

</div>

</div>

</div>

</div>

</div>

<br />

<pre>_______________________________________________

ragel mailing list

<a href="mailto:ragel@colm.net">ragel@colm.net</a>

<a href="http://www.colm.net/cgi-bin/mailman/listinfo/ragel">http://www.colm.net/cgi-bin/mailman/listinfo/ragel</a>

</pre>

</blockquote>

</body></html>