Dialyzer version v2.2.0 From Erlang 13B04 failure

Foolish Ewe foolishewe@REDACTED
Sat Feb 27 07:39:01 CET 2010


Hello All:





I have been very keen to try the new distribution and was in particular
looking forward to the new dialyzer version that has parameterized
support (so that we can check our code with it). I get the errors
attached at the end of this e-mail (I show the plt file construction for completeness, the error happens in the actual dialyzer analysis), any ideas about what is happening
and how I can help to fix it (help in creating a simple test case would be appreciated).




Thanks:





Bill M.





cd /home/myuserid/securebackup/src/erlang/


make dialyzer.log

dialyzer --build_plt -r /usr/lib64/erlang/lib/stdlib-1.16.5
/usr/lib64/erlang/lib/kernel-2.13.5 /usr/lib64/erlang/lib/mnesia-4.4.13
/usr/lib64/erlang/lib/os_mon-2.2.5 /usr/lib64/erlang/lib/crypto-1.6.4
/usr/lib64/erlang/lib/tools-2.6.5.1 --output_plt dialyzer.plt


  Compiling some key modules to native code... done in 1m15.97s


  Creating PLT dialyzer.plt ...


Unknown functions:


  alarm_handler:clear_alarm/1


  alarm_handler:set_alarm/1


  compile:file/2


  compile:forms/2


  compile:noenv_forms/2


  compile:output_generated/1


  dbg:trace_client/3


  dbg:trace_port/2


  erl_prim_loader:get_cwd/0


  erl_prim_loader:get_cwd/1


  erl_prim_loader:list_dir/1


  erl_prim_loader:prim_get_cwd/2


  erl_prim_loader:prim_get_file/2


  erl_prim_loader:prim_init/0


  erl_prim_loader:prim_list_dir/2


  erl_prim_loader:prim_read_file_info/2


  erl_prim_loader:read_file_info/1


  erl_prim_loader:set_primary_archive/3


  erlang:integer_to_list/2


  erlang:list_to_integer/2


  erlang:max/2


  erlang:min/2


  erlang:spawn_monitor/1


  erlang:spawn_opt/5


  httpd:parse_query/1


  init:archive_extension/0


  init:code_path_choice/0


  init:ensure_loaded/1


  init:fetch_loaded/0


  init:get_argument/1


  init:get_arguments/0


  init:get_plain_arguments/0


  init:notify_when_started/1


  init:objfile_extension/0


  init:stop/0


  init:wait_until_started/0


  otp_mib:erl_node_table/3


  prim_file:altname/2


  prim_file:close/1


  prim_file:copy/3


  prim_file:del_dir/2


  prim_file:delete/2


  prim_file:get_cwd/1


  prim_file:get_cwd/2


  prim_file:list_dir/2


  prim_file:make_dir/2


  prim_file:make_link/3


  prim_file:make_symlink/3


  prim_file:open/2


  prim_file:position/2


  prim_file:read/2


  prim_file:read_file/1


  prim_file:read_file_info/1


  prim_file:read_file_info/2


  prim_file:read_link/2


  prim_file:read_link_info/2


  prim_file:rename/3


  prim_file:set_cwd/2


  prim_file:start/0


  prim_file:stop/1


  prim_file:sync/1


  prim_file:truncate/1


  prim_file:write/2


  prim_file:write_file/2


  prim_file:write_file_info/2


  prim_file:write_file_info/3


  prim_inet:accept/1


  prim_inet:accept/2


  prim_inet:bind/3


  prim_inet:chgopts/2


  prim_inet:close/1


  prim_inet:connect/3


  prim_inet:connect/4


  prim_inet:fdopen/3


  prim_inet:getfd/1


  prim_inet:gethostname/1


  prim_inet:getiflist/1


  prim_inet:getopt/2


  prim_inet:getopts/2


  prim_inet:getservbyname/3


  prim_inet:getservbyport/3


  prim_inet:getstat/2


  prim_inet:getstatus/1


  prim_inet:gettype/1


  prim_inet:ifget/3


  prim_inet:ifset/3


  prim_inet:is_sockopt_val/2


  prim_inet:listen/2


  prim_inet:open/2


  prim_inet:peername/1


  prim_inet:recv/2


  prim_inet:recv/3


  prim_inet:recvfrom/2


  prim_inet:recvfrom/3


  prim_inet:send/2


  prim_inet:send/3


  prim_inet:sendmsg/3


  prim_inet:sendto/4


  prim_inet:setopt/3


  prim_inet:setopts/2


  prim_inet:setpeername/2


  prim_inet:setsockname/2


  prim_inet:shutdown/2


  prim_inet:sockname/1


  prim_inet:unrecv/2


  prim_zip:close/1


  prim_zip:open/3


  snmp_shadow_table:table_func/2


  snmp_shadow_table:table_func/4


  snmpa:load_mibs/2


  snmpa:unload_mibs/2


  sys_pre_expand:module/2


  webtool:start/0


  webtool:start_tools/2


  webtool:stop/0


  webtool:stop_tools/2


  zlib:close/1


  zlib:crc32/1


  zlib:crc32/2


  zlib:crc32/3


  zlib:deflate/3


  zlib:deflateEnd/1


  zlib:deflateInit/2


  zlib:deflateInit/6


  zlib:inflate/2


  zlib:inflateEnd/1


  zlib:inflateInit/2


  zlib:open/0


  zlib:uncompress/1


 done in 10m33.28s


done (passed successfully)


#dialyzer --build_plt -r /usr/lib64/erlang/lib --output_plt dialyzer.plt

#dialyzer --build_plt -r /usr/lib64/erlang/lib/stdlib-1.15.4
/usr/lib64/erlang/lib/kernel-2.12.4/ /usr/lib64/erlang/lib/mnesia-4.4.5
/usr/lib64/erlang/lib/os_mon-2.1.7 /usr/lib64/erlang/lib/crypto-1.5.2.1
/usr/lib64/erlang/lib/tools-2.6.2 --output_plt dialyzer.plt


# we need to eliminate duplicate modules


# rm -f ./log4erl/src/mochinum.erl ./log4erl/ebin/mochinum.beam


dialyzer --verbose --plt dialyzer.plt -Wunmatched_returns -Wunderspecs -r . | tee dialyzer.log


  Checking whether the PLT dialyzer.plt is up-to-date... yes


  Compiling some key modules to native code... done in 1m18.07s


  Proceeding with analysis...


dialyzer: Analysis failed with error: {{case_clause,8},


 [{erl_types,t_form_to_string,1},


  {erl_types,t_form_to_string,1},


  {erl_types,t_form_to_string,1},


  {cerl_typean,pp_hook,0},


  {dialyzer_succ_typings,get_warnings,7},


  {dialyzer_analysis_callgraph,analyze_callgraph,2},


  {dialyzer_analysis_callgraph,analysis_start,...},


  {cerl_typean,...}]}


Last messages in the log cache:


  Dataflow of one SCC: [b_cfijk_runner]


  Dataflow of one SCC: [c_negotiate_storage_handler]


  Dataflow of one SCC: [restore]


  Dataflow of one SCC: [generic_handler]


  Dataflow of one SCC: [a_bras_handler]


  Dataflow of one SCC: [test_bras]


  Dataflow of one SCC: [test_crc]


  Dataflow of one SCC: [client_state]


  Dataflow of one SCC: [a_brf_handler]


  Dataflow of one SCC: [a_crc_handler]

# Uncomment the following to run a modified source version of the
dialyzer on Bill's machine (currently turns on dialyzer's debugging
output)


#~/tools/otp_src_R12B-4/bin/dialyzer --verbose --plt dialyzer.plt -Wunmatched_returns -Wunderspecs -r . | tee dialyzer.log





Compilation finished at Fri Feb 26 01:17:32
 		 	   		  
_________________________________________________________________
Hotmail: Powerful Free email with security by Microsoft.
http://clk.atdmt.com/GBL/go/201469230/direct/01/


More information about the erlang-questions mailing list