[erlang-questions] Dialyzer R15B02 crash
Zabrane Mikael
zabrane3@REDACTED
Sat Sep 8 09:57:20 CEST 2012
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,...}]},
{dialyzer_callgraph,digraph_add_edge,3,[{file,...},{...}]},
{dialyzer_callgraph,digraph_add_edges,2,[{...}|...]},
{dialyzer_behaviours,translate_callgraph,3,[...]},
{dialyzer_dataflow,analyze_module,5,...},
{dialyzer_dataflow,get_warnings,...},
{dialyzer_succ_typings,...}]}
Last messages in the log cache:
Reading files and computing callgraph... done in 0.99 secs
Removing edges... done in 0.01 secs
=ERROR REPORT==== 8-Sep-2012::09:51:45 ===
Error in process <0.477.0> with exit value:
{badarg,[{ets,lookup,[73757,{in,5786}],[]},{digraph,in_neighbours,2,[{file,"digraph.erl"},{line,228}]},{dialyzer_callgraph,digraph_in_neighbours,2,[{file,"dialyzer_callgraph.erl"},{line,551}]},{dialyzer_dataflow,state__add_work_from_fun...
make: *** [dialyzer] Error 1
Note: Dialyzer R15B01 didn't crash while analyzing this module.
Thanks
--
Regards
Zabrane
More information about the erlang-questions
mailing list