[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