[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