[erlang-bugs] Bug in R15B02 dialyzer

Maxim Treskin zerthurd@REDACTED
Wed Sep 5 14:58:30 CEST 2012


Hello

I have such error when try to run dialyzer:

=ERROR REPORT==== 5-Sep-2012::19:54:31 ===
Error in process <0.1020.0> with exit value:
{badarg,[{ets,insert,[1052701,[{{out,{glc_session,connect,2}},{{glc_session,connect,2},{glc_session,handle_call,3}}},{{in,{glc_session,handle_call,3}},{{glc_session,connect,2},{glc_session,handle_call,3}}}]],[]},{digraph,do_insert_edge...


dialyzer: Analysis failed with error:
{badarg,[{ets,insert,[1052701,[{{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 1.05 secs
  Removing edges... done in 0.04 secs
make: *** [dialyze] Error 1
make dialyze  297,49s user 9,86s system 249% cpu 2:03,39 total



-- 
Max Treskin
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-bugs/attachments/20120905/045c9d82/attachment.htm>


More information about the erlang-bugs mailing list