Closed RobertSwirsky closed 4 years ago
This seemingly is a crash within Dialyzer itself. Can you provide the results of running the code with the DEBUG=1 variable or the contents of the rebar3.crashdump file? Right now there isn't enough information to go on aside from "Dialyzer crashed" and some apparent syntax issue in Dialyzer's parser, which is quite broad as a search space.
Thanks, ferd. Let me know what I need to do to get the information I need. I have a feeling if I fixed the existing errors, it may stop crashing. I'll get to that today. I need to handle some exceptions to get rid of several "no local return" messages.
D:\repos\channelserver\webrtc\webrtc_endpoint [swirsky_wip ≡ +3 ~0 -0 !]> $env:DEBUG = 1
D:\repos\channelserver\webrtc\webrtc_endpoint [swirsky_wip ≡ +3 ~0 -0 !]> rebar3 dialyzer
===> Load global config file c:/Users/rober/.config/rebar3/rebar.config
===> Expanded command sequence to be run: [{default,app_discovery},
{default,install_deps},
{default,lock},
{default,compile},
{default,dialyzer}]
===> Provider: {default,app_discovery}
===> Provider: {default,install_deps}
===> Verifying dependencies...
===> sh info:
cwd: "d:/repos/channelserver/webrtc/webrtc_endpoint"
cmd: git --version
===> opts: [{return_on_error,true},{use_stdout,false}]
===> Port Cmd: cmd /q /c git --version
Port Opts: [exit_status,{line,16384},use_stdio,stderr_to_stdout,hide,eof]
===> sh info:
cwd: "d:/repos/channelserver/webrtc/webrtc_endpoint"
cmd: git rev-parse --short=7 -q HEAD
===> opts: [{cd,"d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/entropy_string"}]
===> Port Cmd: cmd /q /c git rev-parse --short=7 -q HEAD
Port Opts: [{cd,"d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/entropy_string"},
exit_status,
{line,16384},
use_stdio,stderr_to_stdout,hide,eof]
===> Comparing git ref 1a0b105 with 1a0b105
===> sh info:
cwd: "d:/repos/channelserver/webrtc/webrtc_endpoint"
cmd: git rev-parse --short=7 -q HEAD
===> opts: [{cd,"d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/lager"}]
===> Port Cmd: cmd /q /c git rev-parse --short=7 -q HEAD
Port Opts: [{cd,"d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/lager"},
exit_status,
{line,16384},
use_stdio,stderr_to_stdout,hide,eof]
===> Comparing git ref 81eaef0 with 81eaef0
===> sh info:
cwd: "d:/repos/channelserver/webrtc/webrtc_endpoint"
cmd: git rev-parse --short=7 -q HEAD
===> opts: [{cd,"d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/goldrush"}]
===> Port Cmd: cmd /q /c git rev-parse --short=7 -q HEAD
Port Opts: [{cd,"d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/goldrush"},
exit_status,
{line,16384},
use_stdio,stderr_to_stdout,hide,eof]
===> Comparing git ref 8f1b715 with 8f1b715
===> Provider: {default,lock}
===> sh info:
cwd: "d:/repos/channelserver/webrtc/webrtc_endpoint"
cmd: git --git-dir="d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/goldrush/.git" --work-tree="d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/goldrush" rev-parse --verify HEAD
===> opts: [{use_stdout,false},
{debug_abort_on_error,"Locking of git dependency failed in d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/goldrush"}]
===> Port Cmd: cmd /q /c git --git-dir="d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/goldrush/.git" --work-tree="d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/goldrush" rev-parse --verify HEAD
Port Opts: [exit_status,{line,16384},use_stdio,stderr_to_stdout,hide,eof]
===> sh info:
cwd: "d:/repos/channelserver/webrtc/webrtc_endpoint"
cmd: git --git-dir="d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/lager/.git" --work-tree="d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/lager" rev-parse --verify HEAD
===> opts: [{use_stdout,false},
{debug_abort_on_error,"Locking of git dependency failed in d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/lager"}]
===> Port Cmd: cmd /q /c git --git-dir="d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/lager/.git" --work-tree="d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/lager" rev-parse --verify HEAD
Port Opts: [exit_status,{line,16384},use_stdio,stderr_to_stdout,hide,eof]
===> sh info:
cwd: "d:/repos/channelserver/webrtc/webrtc_endpoint"
cmd: git --git-dir="d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/entropy_string/.git" --work-tree="d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/entropy_string" rev-parse --verify HEAD
===> opts: [{use_stdout,false},
{debug_abort_on_error,"Locking of git dependency failed in d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/entropy_string"}]
===> Port Cmd: cmd /q /c git --git-dir="d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/entropy_string/.git" --work-tree="d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/entropy_string" rev-parse --verify HEAD
Port Opts: [exit_status,{line,16384},use_stdio,stderr_to_stdout,hide,eof]
===> Provider: {default,compile}
===> run_hooks("d:/repos/channelserver/webrtc/webrtc_endpoint", pre_hooks, compile) -> no hooks defined
===> sh info:
cwd: "d:/repos/channelserver/webrtc/webrtc_endpoint"
cmd: cmd /c mklink /j "d:\\repos\\channelserver\\webrtc\\webrtc_endpoint\\_build\\default\\lib\\webrtc_endpoint\\include" "d:\\repos\\channelserver\\webrtc\\webrtc_endpoint\\include"
===> opts: [{use_stdout,false},return_on_error]
===> Port Cmd: cmd /q /c cmd /c mklink /j "d:\\repos\\channelserver\\webrtc\\webrtc_endpoint\\_build\\default\\lib\\webrtc_endpoint\\include" "d:\\repos\\channelserver\\webrtc\\webrtc_endpoint\\include"
Port Opts: [exit_status,{line,16384},use_stdio,stderr_to_stdout,hide,eof]
===> sh info:
cwd: "d:/repos/channelserver/webrtc/webrtc_endpoint"
cmd: cmd /c mklink /j "d:\\repos\\channelserver\\webrtc\\webrtc_endpoint\\_build\\default\\lib\\webrtc_endpoint\\src" "d:\\repos\\channelserver\\webrtc\\webrtc_endpoint\\src"
===> opts: [{use_stdout,false},return_on_error]
===> Port Cmd: cmd /q /c cmd /c mklink /j "d:\\repos\\channelserver\\webrtc\\webrtc_endpoint\\_build\\default\\lib\\webrtc_endpoint\\src" "d:\\repos\\channelserver\\webrtc\\webrtc_endpoint\\src"
Port Opts: [exit_status,{line,16384},use_stdio,stderr_to_stdout,hide,eof]
===> Compiling webrtc_endpoint
===> run_hooks("d:/repos/channelserver/webrtc/webrtc_endpoint", pre_hooks, compile) -> no hooks defined
===> run_hooks("d:/repos/channelserver/webrtc/webrtc_endpoint", pre_hooks, erlc_compile) -> no hooks defined
===> erlopts [debug_info,{parse_transform},{i,"include"}]
===> files to compile ["d:/repos/channelserver/webrtc/webrtc_endpoint/src/webuser_sup.erl",
"d:/repos/channelserver/webrtc/webrtc_endpoint/src/webuser.erl",
"d:/repos/channelserver/webrtc/webrtc_endpoint/src/webrtc_endpoint_sup.erl",
"d:/repos/channelserver/webrtc/webrtc_endpoint/src/webrtc_endpoint_app.erl",
"d:/repos/channelserver/webrtc/webrtc_endpoint/src/udp_manager.erl",
"d:/repos/channelserver/webrtc/webrtc_endpoint/src/stun/stun_util.erl",
"d:/repos/channelserver/webrtc/webrtc_endpoint/src/stun/stun_test.erl",
"d:/repos/channelserver/webrtc/webrtc_endpoint/src/stun/stun_codec.erl",
"d:/repos/channelserver/webrtc/webrtc_endpoint/src/srtp/srtp.erl",
"d:/repos/channelserver/webrtc/webrtc_endpoint/src/srtp/sas.erl",
"d:/repos/channelserver/webrtc/webrtc_endpoint/src/srtp/rtp_utils.erl",
"d:/repos/channelserver/webrtc/webrtc_endpoint/src/srtp/rtp.erl",
"d:/repos/channelserver/webrtc/webrtc_endpoint/src/srtp/rtcp.erl",
"d:/repos/channelserver/webrtc/webrtc_endpoint/src/srtp/crc32c.erl",
"d:/repos/channelserver/webrtc/webrtc_endpoint/src/srtp/codec_sup.erl",
"d:/repos/channelserver/webrtc/webrtc_endpoint/src/srtp/codec_app.erl",
"d:/repos/channelserver/webrtc/webrtc_endpoint/src/signal.erl",
"d:/repos/channelserver/webrtc/webrtc_endpoint/src/session_sup.erl",
"d:/repos/channelserver/webrtc/webrtc_endpoint/src/nifdtlssrtp.erl",
"d:/repos/channelserver/webrtc/webrtc_endpoint/src/libdtlssrtp.erl",
"d:/repos/channelserver/webrtc/webrtc_endpoint/src/dtls_cb.erl",
"d:/repos/channelserver/webrtc/webrtc_endpoint/src/audio_stream.erl"]
===> run_hooks("d:/repos/channelserver/webrtc/webrtc_endpoint", post_hooks, erlc_compile) -> no hooks defined
===> run_hooks("d:/repos/channelserver/webrtc/webrtc_endpoint", pre_hooks, app_compile) -> no hooks defined
===> run_hooks("d:/repos/channelserver/webrtc/webrtc_endpoint", post_hooks, app_compile) -> no hooks defined
===> run_hooks("d:/repos/channelserver/webrtc/webrtc_endpoint", post_hooks, compile) -> no hooks defined
===> run_hooks("d:/repos/channelserver/webrtc/webrtc_endpoint", post_hooks, compile) -> no hooks defined
===> Provider: {default,dialyzer}
===> Dialyzer starting, this may take a while...
===> Updating plt...
===> Resolving files...
===> kernel modules: [user_sup,logger_olp,local_udp,inet_tcp,inet6_tcp,group,
global_group,gen_tcp,gen_sctp,disk_log_sup,disk_log_1,
wrap_log_reader,user,standard_error,pg2,logger_server,
logger_handler_watcher,logger_formatter,logger,inet_db,
hipe_unified_loader,file_server,file_io_server,
error_logger,error_handler,erl_signal_handler,
erl_boot_server,disk_log_server,code_server,
application_starter,application_master,
application_controller,rpc,os,logger_filters,
kernel_refc,inet_res,inet_hosts,inet_dns,dist_ac,
raw_file_io_list,raw_file_io_delayed,
raw_file_io_compressed,logger_backend,inet_tcp_dist,
inet6_tcp_dist,inet,heart,erl_epmd,seq_trace,
raw_file_io_inflate,raw_file_io_deflate,ram_file,
inet_parse,inet_gethost_native,file,code,user_drv,
raw_file_io_raw,logger_config,kernel_config,inet_config,
erts_debug,disk_log,logger_std_h,logger_simple_h,
logger_disk_log_h,global_search,auth,logger_proxy,
group_history,erl_reply,net_kernel,kernel,global,
erl_ddll,dist_util,net_adm,logger_h_common,
erl_distribution,application,raw_file_io,logger_sup,
local_tcp,inet_udp,inet_sctp,inet6_udp,inet6_sctp,
gen_udp]
===> stdlib modules: [zip,dets_sup,timer,supervisor,proc_lib,io_lib,
gen_server,filelib,file_sorter,erl_tar,erl_error,
dets_server,calendar,beam_lib,sys,sofs,sets,qlc,
proplists,ordsets,maps,lists,gb_trees,gb_sets,eval_bits,
ets,erl_expand_records,erl_bits,digraph_utils,
dets_utils,dets,c,shell_default,rand,qlc_pt,orddict,
io_lib_fread,io_lib_format,gen_event,escript,erl_lint,
edlin_expand,dict,base64,unicode,supervisor_bridge,
slave,re,queue,filename,erl_parse,erl_compile,
erl_abstract_code,win32reg,uri_string,string,
erl_posix_msg,math,log_mf_h,error_logger_tty_h,
error_logger_file_h,digraph,io_lib_pretty,dets_v9,
binary,array,unicode_util,shell,pool,otp_internal,
erl_internal,erl_eval,random,ms_transform,gen_statem,
gen_fsm,gen,erl_scan,edlin,io,erl_anno,erl_pp,epp]
===> ssl modules: [tls_connection_sup,ssl_sup,ssl_listen_tracker_sup,
ssl_dist_sup,ssl_dist_connection_sup,ssl_dist_admin_sup,
ssl_connection_sup,ssl_app,ssl_admin_sup,dtls_listener_sup,
dtls_connection_sup,tls_v1,dtls_v1,tls_sender,ssl_pkix_db,
ssl_manager,ssl_logger,ssl_crl_hash_dir,ssl_cipher,
tls_record_1_3,tls_handshake_1_3,tls_connection_1_3,ssl_v3,
ssl_srp_primes,ssl_dh_groups,tls_socket,tls_record,
ssl_record,ssl_cipher_format,ssl_alert,inet_tls_dist,
inet6_tls_dist,dtls_socket,dtls_record,tls_handshake,
ssl_session_cache,ssl_pem_cache,ssl_handshake,
ssl_crl_cache,ssl_certificate,dtls_handshake,ssl_config,
dtls_packet_demux,ssl_session_cache_api,ssl_crl_cache_api,
ssl_crl,ssl,tls_connection,ssl_session,ssl_connection,
dtls_connection]
===> erts modules: [prim_zip,zlib,prim_buffer,erts_literal_area_collector,
erts_dirty_process_signal_handler,erts_code_purger,
erl_tracer,erl_prim_loader,counters,atomics,socket,
prim_inet,net,init,erl_init,prim_file,erlang,prim_eval,
erts_internal,persistent_term]
===> crypto modules: [crypto_ec_curves,crypto]
===> Checking 245 files in "d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/rebar3_22.0_plt"...
===> Running dialyzer with options: [{warnings,
[no_return,no_unused,no_improper_lists,
no_fun_app,no_match,no_opaque,
no_fail_call,no_contracts,
no_behaviours,no_undefined_callbacks]},
{check_plt,false},
{analysis_type,plt_check},
{get_warnings,false},
{init_plt,
"d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/rebar3_22.0_plt"},
{output_plt,
"d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/rebar3_22.0_plt"},
{from,byte_code},
{files,
["c:/Program Files/erl10.4/lib/ssl-9.3/ebin/tls_connection_1_3.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/ssl_cipher.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/ssl_certificate.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/application_controller.beam",
"c:/Program Files/erl10.4/lib/erts-10.4/ebin/prim_eval.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/random.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/maps.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/eval_bits.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/erl_tar.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/tls_connection_sup.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/ssl_logger.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/inet_dns.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/erl_anno.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/kernel.beam",
"c:/Program Files/erl10.4/lib/erts-10.4/ebin/prim_buffer.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/erl_posix_msg.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/c.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/tls_record_1_3.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/erl_abstract_code.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/ssl_connection_sup.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/net_adm.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/logger.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/kernel_refc.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/inet.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/erl_epmd.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/proc_lib.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/math.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/ssl_v3.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/ssl_app.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/erl_signal_handler.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/sets.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/digraph.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/os.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/ets.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/tls_v1.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/ssl_sup.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/ssl_session_cache_api.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/heart.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/erts_debug.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/disk_log.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/io_lib.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/raw_file_io_raw.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/pg2.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/logger_proxy.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/inet_res.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/zip.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/erl_compile.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/ssl_crl_hash_dir.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/inet6_tls_dist.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/group_history.beam",
"c:/Program Files/erl10.4/lib/crypto-4.5/ebin/crypto_ec_curves.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/dets.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/queue.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/epp.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/ssl_crl_cache.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/supervisor.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/ssl_pkix_db.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/rpc.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/file_io_server.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/unicode_util.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/ssl_cipher_format.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/seq_trace.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/raw_file_io_delayed.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/inet6_tcp_dist.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/application_master.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/filename.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/ssl_alert.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/raw_file_io_compressed.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/disk_log_1.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/application.beam",
"c:/Program Files/erl10.4/lib/erts-10.4/ebin/init.beam",
"c:/Program Files/erl10.4/lib/erts-10.4/ebin/erts_code_purger.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/dets_v9.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/dist_util.beam",
"c:/Program Files/erl10.4/lib/erts-10.4/ebin/zlib.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/qlc_pt.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/log_mf_h.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/gb_trees.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/dtls_listener_sup.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/kernel_config.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/inet_tcp.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/global_search.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/erl_reply.beam",
"c:/Program Files/erl10.4/lib/erts-10.4/ebin/erl_init.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/gen_server.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/dets_utils.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/ssl_handshake.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/disk_log_sup.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/base64.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/ssl_session.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/logger_simple_h.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/inet_udp.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/inet_hosts.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/gen_tcp.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/file.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/application_starter.beam",
"c:/Program Files/erl10.4/lib/erts-10.4/ebin/erts_literal_area_collector.beam",
"c:/Program Files/erl10.4/lib/erts-10.4/ebin/erl_prim_loader.beam",
"c:/Program Files/erl10.4/lib/crypto-4.5/ebin/crypto.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/pool.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/gen.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/erl_eval.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/tls_connection.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/ssl_listen_tracker_sup.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/ssl_crl.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/global_group.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/sys.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/otp_internal.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/lists.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/io_lib_fread.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/gen_statem.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/gen_fsm.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/error_logger_file_h.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/erl_internal.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/dets_sup.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/array.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/standard_error.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/logger_disk_log_h.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/gen_udp.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/erl_distribution.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/erl_ddll.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/auth.beam",
"c:/Program Files/erl10.4/lib/erts-10.4/ebin/prim_zip.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/ordsets.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/erl_bits.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/dict.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/ssl_dist_sup.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/user.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/hipe_unified_loader.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/error_handler.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/dist_ac.beam",
"c:/Program Files/erl10.4/lib/erts-10.4/ebin/prim_file.beam",
"c:/Program Files/erl10.4/lib/erts-10.4/ebin/net.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/timer.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/erl_lint.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/tls_record.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/tls_handshake.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/ssl_connection.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/inet6_tcp.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/supervisor_bridge.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/dets_server.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/ssl_crl_cache_api.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/dtls_connection.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/local_tcp.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/inet_tcp_dist.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/inet_sctp.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/global.beam",
"c:/Program Files/erl10.4/lib/erts-10.4/ebin/socket.beam",
"c:/Program Files/erl10.4/lib/erts-10.4/ebin/erts_dirty_process_signal_handler.beam",
"c:/Program Files/erl10.4/lib/erts-10.4/ebin/erlang.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/slave.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/gen_event.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/edlin_expand.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/tls_socket.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/tls_sender.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/logger_server.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/inet6_udp.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/io.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/ssl_session_cache.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/ssl_record.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/logger_formatter.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/local_udp.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/code.beam",
"c:/Program Files/erl10.4/lib/erts-10.4/ebin/erl_tracer.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/rand.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/io_lib_pretty.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/erl_parse.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/ssl_srp_primes.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/dtls_record.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/dtls_handshake.beam",
"c:/Program Files/erl10.4/lib/erts-10.4/ebin/persistent_term.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/ssl.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/wrap_log_reader.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/group.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/unicode.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/gb_sets.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/filelib.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/digraph_utils.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/dtls_socket.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/logger_handler_watcher.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/inet_parse.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/disk_log_server.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/shell_default.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/ssl_manager.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/ssl_dist_admin_sup.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/ram_file.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/ssl_admin_sup.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/uri_string.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/file_sorter.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/ssl_pem_cache.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/logger_std_h.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/error_logger.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/sofs.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/beam_lib.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/tls_handshake_1_3.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/user_sup.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/shell.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/proplists.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/error_logger_tty_h.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/raw_file_io_list.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/inet_gethost_native.beam",
"c:/Program Files/erl10.4/lib/erts-10.4/ebin/counters.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/dtls_connection_sup.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/raw_file_io.beam",
"c:/Program Files/erl10.4/lib/erts-10.4/ebin/atomics.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/escript.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/re.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/raw_file_io_inflate.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/erl_error.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/ssl_dh_groups.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/logger_h_common.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/logger_backend.beam",
"c:/Program Files/erl10.4/lib/erts-10.4/ebin/prim_inet.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/win32reg.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/orddict.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/raw_file_io_deflate.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/erl_boot_server.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/io_lib_format.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/code_server.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/ms_transform.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/erl_expand_records.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/ssl_dist_connection_sup.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/file_server.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/qlc.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/dtls_packet_demux.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/gen_sctp.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/binary.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/inet_tls_dist.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/dtls_v1.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/logger_filters.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/erl_pp.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/calendar.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/logger_config.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/inet_db.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/inet_config.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/string.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/erl_scan.beam",
"c:/Program Files/erl10.4/lib/ssl-9.3/ebin/ssl_config.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/user_drv.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/logger_olp.beam",
"c:/Program Files/erl10.4/lib/erts-10.4/ebin/erts_internal.beam",
"c:/Program Files/erl10.4/lib/stdlib-3.9/ebin/edlin.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/net_kernel.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/logger_sup.beam",
"c:/Program Files/erl10.4/lib/kernel-6.4/ebin/inet6_sctp.beam"]}]
===> Doing success typing analysis...
===> Resolving files...
===> webrtc_endpoint modules: [webuser_sup,webrtc_endpoint_sup,
webrtc_endpoint_app,srtp,session_sup,rtp,rtcp,
nifdtlssrtp,libdtlssrtp,codec_sup,codec_app,
webuser,udp_manager,dtls_cb,stun_codec,sas,
rtp_utils,crc32c,stun_test,stun_util,signal,
audio_stream]
===> Analyzing 22 files with "d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/rebar3_22.0_plt"...
===> Running dialyzer with options: [{warnings,[]},
{check_plt,false},
{analysis_type,succ_typings},
{get_warnings,true},
{from,byte_code},
{files,
["d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/webrtc_endpoint/ebin/webuser_sup.beam",
"d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/webrtc_endpoint/ebin/webrtc_endpoint_sup.beam",
"d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/webrtc_endpoint/ebin/webrtc_endpoint_app.beam",
"d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/webrtc_endpoint/ebin/srtp.beam",
"d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/webrtc_endpoint/ebin/session_sup.beam",
"d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/webrtc_endpoint/ebin/rtp.beam",
"d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/webrtc_endpoint/ebin/rtcp.beam",
"d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/webrtc_endpoint/ebin/nifdtlssrtp.beam",
"d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/webrtc_endpoint/ebin/libdtlssrtp.beam",
"d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/webrtc_endpoint/ebin/codec_sup.beam",
"d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/webrtc_endpoint/ebin/codec_app.beam",
"d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/webrtc_endpoint/ebin/webuser.beam",
"d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/webrtc_endpoint/ebin/udp_manager.beam",
"d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/webrtc_endpoint/ebin/dtls_cb.beam",
"d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/webrtc_endpoint/ebin/stun_codec.beam",
"d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/webrtc_endpoint/ebin/sas.beam",
"d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/webrtc_endpoint/ebin/rtp_utils.beam",
"d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/webrtc_endpoint/ebin/crc32c.beam",
"d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/webrtc_endpoint/ebin/stun_test.beam",
"d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/webrtc_endpoint/ebin/stun_util.beam",
"d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/webrtc_endpoint/ebin/signal.beam",
"d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/lib/webrtc_endpoint/ebin/audio_stream.beam"]},
{init_plt,
"d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/rebar3_22.0_plt"}]
src/audio_stream.erl
27: Call to missing or unexported function gen_server:start_link/2
src/srtp/srtp.erl
73: The call rtp:encode(Rtp::#rtp{}) will never return since it differs in the 1st argument from the success typing arguments: ({'rtp',integer(),integer(),integer(),integer(),integer(),integer(),[integer()],_,binary(),'null' | #extension{type::integer(),payload::binary()}})
82: The call rtp:encode(#rtp{}) will never return since it differs in the 1st argument from the success typing arguments: ({'rtp',integer(),integer(),integer(),integer(),integer(),integer(),[integer()],_,binary(),'null' | #extension{type::integer(),payload::binary()}})
98: The call rtp:encode(Rtp::#rtp{}) will never return since it differs in the 1st argument from the success typing arguments: ({'rtp',integer(),integer(),integer(),integer(),integer(),integer(),[integer()],_,binary(),'null' | #extension{type::integer(),payload::binary()}})
src/udp_manager.erl
58: Function init/1 has no local return
62: Record construction #state{port_number::char(),socket::port(),srtp_sess::'none',local_key::'undefined',local_salt::'undefined',sent_requests::#{},request_success::'false',ice_port::'none',ice_address::'none',client_port::'undefined',client_address::'undefined'} violates the declared type of field local_key::'none' | binary() and local_salt::'none' | binary() and client_port::'none' | char() and client_address::'none' | binary() | tuple()
src/webuser_sup.erl
20: Function start_link/3 has no local return
===> Uncaught error in rebar_core. Run with DEBUG=1 to see stacktrace or consult rebar3.crashdump
===> Uncaught error: {badmatch,{error,{1,erl_scan,
{string,39," | binary() | tu"}},
1}}
===> Stack trace to the error location:
[{dialyzer,parse_types_and_literals,1,[{file,"dialyzer.erl"},{line,718}]},
{dialyzer,'-ts/1-fun-1-',4,[{file,"dialyzer.erl"},{line,685}]},
{dialyzer,field_diff,1,[{file,"dialyzer.erl"},{line,650}]},
{dialyzer,'-field_diffs/2-lc$^0/1-0-',1,[{file,"dialyzer.erl"},{line,646}]},
{dialyzer,'-field_diffs/2-lc$^0/1-0-',1,[{file,"dialyzer.erl"},{line,646}]},
{dialyzer,field_diffs,2,[{file,"dialyzer.erl"},{line,646}]},
{dialyzer,message_to_string,2,[{file,"dialyzer.erl"},{line,375}]},
{dialyzer,format_warning,2,[{file,"dialyzer.erl"},{line,297}]}]
===> When submitting a bug report, please include the output of `rebar3 report "your command"`
D:\repos\channelserver\webrtc\webrtc_endpoint [swirsky_wip ≡ +3 ~0 -0 !]>
and, in fact, when I fixed the last warning
62: Record construction #state{port_number::char(),socket::port(),srtp_sess::'none',local_key::'undefined',local_salt::'undefined',sent_requests::#{},request_success::'false',ice_port::'none',ice_address::'none',client_port::'undefined',client_address::'undefined'} violates the declared type of field local_key::'none' | binary() and local_salt::'none' | binary() and client_port::'none' | char() and client_address::'none' | binary() | tuple()
...to initialize the undefined state values with "none" as specified in the type spec, it stopped crashing.
D:\repos\channelserver\webrtc\webrtc_endpoint [swirsky_wip ≡ +3 ~1 -0 !]> rebar3 dialyzer
===> Verifying dependencies...
===> Compiling webrtc_endpoint
===> Dialyzer starting, this may take a while...
===> Updating plt...
===> Resolving files...
===> Checking 245 files in "d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/rebar3_22.0_plt"...
===> Doing success typing analysis...
===> Resolving files...
===> Analyzing 22 files with "d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/rebar3_22.0_plt"...
src/srtp/srtp.erl
73: The call rtp:encode(Rtp::#rtp{}) will never return since it differs in the 1st argument from the success typing arguments: ({'rtp',integer(),integer(),integer(),integer(),integer(),integer(),[integer()],_,binary(),'null' | #extension{type::integer(),payload::binary()}})
82: The call rtp:encode(#rtp{}) will never return since it differs in the 1st argument from the success typing arguments: ({'rtp',integer(),integer(),integer(),integer(),integer(),integer(),[integer()],_,binary(),'null' | #extension{type::integer(),payload::binary()}})
98: The call rtp:encode(Rtp::#rtp{}) will never return since it differs in the 1st argument from the success typing arguments: ({'rtp',integer(),integer(),integer(),integer(),integer(),integer(),[integer()],_,binary(),'null' | #extension{type::integer(),payload::binary()}})
src/webuser_sup.erl
20: Function start_link/3 has no local return
===> Warnings written to d:/repos/channelserver/webrtc/webrtc_endpoint/_build/default/22.0.dialyzer_warnings
===> Warnings occurred running dialyzer: 4
D:\repos\channelserver\webrtc\webrtc_endpoint [swirsky_wip ≡ +3 ~1 -0 !]>
Do you have the exact code of the previous record construction? I have a doubt that it's not just the mismatching type, but something in the syntax at play as well. With that info it should be possible to reduce things to something simpler; we could in turn open up an issue with the OTP repo for Dialyzer and see how we could internally better handle a dialyzer failure.
Let me try to reduce it to the simplest possible case! Hang on.
Please reopen when more data is available.
Pre-Check
Environment
Current behaviour
Expected behaviour
Dialyzer to complete without crashing