Hi!<div><br></div><div>I just submitted a patch containing a fix for this crash.</div><div><br></div><div>    git fetch git://<a href="http://github.com/aronisstav/otp.git">github.com/aronisstav/otp.git</a> dialyzer-fix</div>

<div><br></div><div>Thanks for the report!</div><div><br></div><div>Stavros</div><br><div class="gmail_quote">On Thu, Sep 6, 2012 at 2:43 PM, Nico Kruber <span dir="ltr"><<a href="mailto:lists.nico.k@googlemail.com" target="_blank">lists.nico.k@googlemail.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb"><div class="h5">On Thursday 06 Sep 2012 14:03:23 Kostis Sagonas wrote:<br>
> On 09/06/2012 11:31 AM, Nico Kruber wrote:<br>
> > same here (running dialyzer from R15B02 on the Scalaris sources):<br>
> ><br>
> > Scalaris>  make dialyzer<br>
> > /usr/lib64/erlang/bin/dialyzer  -Dhave_toke -Dtid_not_builtin -<br>
> > Dwith_export_type_support -DNO_FILE_SENDFILE -Dhave_cthooks_support -<br>
> > Dhave_callback_support  -Werror_handling -Wrace_conditions<br>
> > -Wunmatched_returns -I include/ -I contrib/yaws/include/ -I<br>
> > contrib/log4erl/include/ --src -c src src/*/ test/unittest_helper.erl<br>
> > test/tester*.erl test/mockup*.erl<br>
> > test/erl_id_trans.erl test/measure_util.erl test/scalaris_cth.erl<br>
> > --no_native><br>
> >    Checking whether the PLT /home/nico/.dialyzer_plt is up-to-date... yes<br>
> >    Proceeding with analysis...<br>
> ><br>
> > =ERROR REPORT==== 6-Sep-2012::11:26:27 ===<br>
> > Error in process<0.7223.0>  with exit value:<br>
> > {badarg,[{ets,insert,[4947997,<br>
> > [{{out,{comm_logger,dump,0}},{{comm_logger,dump,0},<br>
> > {comm_logger,handle_call,3}}},{{in,{comm_logger,handle_call,3}},<br>
> > {{comm_logger,dump,0},{comm_logger,handle_call,3}}}]],[]},<br>
> > {digraph,do_insert_edge,5,[{...<br>
><br>
> The race condition detection in dialyzer in R15B02 unfortunately has a<br>
> problem in many cases (at least in all cases where behaviours are also<br>
> involved).  We already have a patch for this, which we are testing in<br>
> large code bases to make sure there are no issues left, and we will<br>
> notify this thread for its existence when it gets ready.<br>
><br>
> In the meantime, I suggest NOT to use the option -Wrace_conditions<br>
> (which is off by default).  We are pretty confident that the crashes you<br>
> experience are due to this.<br>
<br>
</div></div>I can confirm, that removing "-Wrace_conditions" solves the problem for us...<br>
<span class="HOEnZb"><font color="#888888"><br>
<br>
Nico<br>
</font></span><div class="HOEnZb"><div class="h5">_______________________________________________<br>
erlang-bugs mailing list<br>
<a href="mailto:erlang-bugs@erlang.org">erlang-bugs@erlang.org</a><br>
<a href="http://erlang.org/mailman/listinfo/erlang-bugs" target="_blank">http://erlang.org/mailman/listinfo/erlang-bugs</a><br>
</div></div></blockquote></div><br>