[erlang-bugs] Bug in R15B02 dialyzer

[Stavros Aronis]

Hi!

I just submitted a patch containing a fix for this crash.

    git fetch git://github.com/aronisstav/otp.git dialyzer-fix

Thanks for the report!

Stavros

On Thu, Sep 6, 2012 at 2:43 PM, Nico Kruber <lists.nico.k@REDACTED>wrote:

> 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
> _______________________________________________
> erlang-bugs mailing list
> erlang-bugs@REDACTED
> http://erlang.org/mailman/listinfo/erlang-bugs
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-bugs/attachments/20120926/bc708adc/attachment.htm>