[erlang-bugs] Bug in R15B02 dialyzer

[Nico Kruber]

same here (running dialyzer from R15B02 on the Scalaris sources):

Scalaris> make dialyzer
/usr/lib64/erlang/bin/dialyzer  -Dhave_toke -Dtid_not_builtin -
Dwith_export_type_support -DNO_FILE_SENDFILE -Dhave_cthooks_support -
Dhave_callback_support  -Werror_handling -Wrace_conditions -Wunmatched_returns 
-I include/ -I contrib/yaws/include/ -I contrib/log4erl/include/ --src -c src 
src/*/ test/unittest_helper.erl test/tester*.erl test/mockup*.erl 
test/erl_id_trans.erl test/measure_util.erl test/scalaris_cth.erl --no_native
  Checking whether the PLT /home/nico/.dialyzer_plt is up-to-date... yes
  Proceeding with analysis...
=ERROR REPORT==== 6-Sep-2012::11:26:27 ===
Error in process <0.7223.0> with exit value: {badarg,[{ets,insert,[4947997,
[{{out,{comm_logger,dump,0}},{{comm_logger,dump,0},
{comm_logger,handle_call,3}}},{{in,{comm_logger,handle_call,3}},
{{comm_logger,dump,0},{comm_logger,handle_call,3}}}]],[]},
{digraph,do_insert_edge,5,[{... 


=ERROR REPORT==== 6-Sep-2012::11:26:29 ===
Error in process <0.7224.0> with exit value: {badarg,[{ets,select,[4943900,
[{{'$1','_','_','_'},[],['$1']}]],[]},{digraph,edges,1,[{file,"digraph.erl"},
{line,315}]},{dialyzer_races,fixup_race_list,3,[{file,"dialyzer_races.erl"},
{line,323}]},{dialyzer_races,race,1,[{file,"dialyzer_races.erl"},{line... 


=ERROR REPORT==== 6-Sep-2012::11:26:29 ===
Error in process <0.7194.0> with exit value: {badarg,[{ets,select_trap,
[{4943900,829,0,<<0 bytes>>,[{{tx_tp,update_db_or_forward,6},
{tx_tlog,get_entry_key,1}},{{rt_simple,check,5},{fd,update_subscriptions,2}},
{{rm_tman,crashed_node,2},{rm_tman,update_nodes,4}},
{{gen_component,on_gc_msg... 


dialyzer: Analysis failed with error:
{badarg,[{ets,insert,[4947997,[{{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 5.92 secs
  Removing edges... done in 0.19 secs
make: *** [dialyzer] Error 1

On Wednesday 05 Sep 2012 19:58:30 Maxim Treskin wrote:
> 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_inse
> rt_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