[erlang-bugs] Bug in R15B02 dialyzer

[Nico Kruber]

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

I can confirm, that removing "-Wrace_conditions" solves the problem for us...


Nico