Dialyzer version v2.2.0 From Erlang 13B04 failure

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/