[erlang-questions] Dialyzer R15B02 crash

Kostis Sagonas kostis@REDACTED
Sat Sep 8 10:08:43 CEST 2012


On 09/08/2012 09:57 AM, Zabrane Mikael wrote:
> Hi guys, Hi Kostis,
>
> Just tried Dialyzer R15B02 and got this:
>
> Proceeding with analysis...
> =ERROR REPORT==== 8-Sep-2012::09:51:45 ===
> Error in process<0.475.0>  with exit value:
> {badarg,[{ets,insert,[73757,[{{out,{pimco,passed,2}},{{pimco,passed,2},{pimco,handle_call,3}}},{{in,{pimco,handle_call,3}},{{pimco,passed,2},{pimco,handle_call,3}}}]],[]},{digraph,do_insert_edge...
>
>
> dialyzer: Analysis failed with error:
> {badarg,[{ets,insert,[73757,[{{out,...},{...}},{{...},...}]],[]},
>           {digraph,do_insert_edge,5,[{file,[...]},{line,...}]},

As I wrote in the erlang-bugs mailing list:

  "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."

So, in case you are using the option -Wrace_conditions, which is off by 
default, then most probably the crash is due to this. If not, then this 
is news to us, so please send (privately) the offending module to me in 
order to investigate.

Kostis



More information about the erlang-questions mailing list