[erlang-bugs] Bug in R15B02 dialyzer

[Kostis Sagonas]

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.


Kostis