Skip to content

Instantly share code, notes, and snippets.

@kjnilsson
Created December 21, 2017 16:52
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save kjnilsson/7b2c998860ffd79fc1e08759aa99fdcd to your computer and use it in GitHub Desktop.
Save kjnilsson/7b2c998860ffd79fc1e08759aa99fdcd to your computer and use it in GitHub Desktop.
Checking whether the PLT /Users/knilsson/code/rabbitmq/rabbitmq-public-umbrella-master/deps/rabbit_common/.rabbit_common.plt is up-to-date... yes
Proceeding with analysis...
app_utils.erl:44: The created fun only terminates with explicit exception
app_utils.erl:50: The created fun only terminates with explicit exception
file_handle_cache.erl:1015: The pattern {MemUse, MemLimit} can never match since previous clauses completely covered the type {non_neg_integer(),'infinity'}
file_handle_cache.erl:1016: The pattern {MemUse, MemLimit} can never match since previous clauses completely covered the type {non_neg_integer(),'infinity'}
file_handle_cache.erl:1021: Function reduce_read_cache/2 will never be called
file_handle_cache.erl:1029: Guard test Freed::any() >= MemToFree::none() can never succeed
file_handle_cache_stats.erl:33: Expression produces a value of type atom() | ets:tid(), but this value is unmatched
file_handle_cache_stats.erl:44: Expression produces a value of type [integer()] | integer(), but this value is unmatched
gen_server2.erl:794: Expression produces a value of type {_,_}, but this value is unmatched
gen_server2.erl:826: The created fun only terminates with explicit exception
gen_server2.erl:1041: Expression produces a value of type [sys:dbg_opt()], but this value is unmatched
gen_server2.erl:1140: Function terminate/3 only terminates with explicit exception
lager_forwarder_backend.erl:35: Record construction #state{next_sink::atom(),level::'inherit'} violates the declared type of field level::{'mask',integer()}
lager_forwarder_backend.erl:54: Matching of pattern {'state', Sink, 'inherit'} tagged with a record name violates the declared type of #state{next_sink::atom(),level::{'mask',integer()}}
lager_forwarder_backend.erl:84: Record construction #state{next_sink::atom(),level::'inherit'} violates the declared type of field level::{'mask',integer()}
lager_forwarder_backend.erl:104: The test {'mask',integer()} =:= 'inherit' can never evaluate to 'true'
rabbit_binary_parser.erl:177: Expression produces a value of type [any()], but this value is unmatched
rabbit_control_misc.erl:94: Expression produces a value of type {pid(),reference()}, but this value is unmatched
rabbit_control_misc.erl:146: Expression produces a value of type 'ok' | {'error',_} | {'ok',timer:tref()}, but this value is unmatched
rabbit_core_metrics.erl:89: Invalid type specification for function rabbit_core_metrics:node_stats/2. The success typing is ('coarse_metrics' | 'node_metrics' | 'persister_metrics',_) -> 'true'
rabbit_core_metrics.erl:90: Invalid type specification for function rabbit_core_metrics:node_node_stats/2. The success typing is (_,_) -> 'true'
rabbit_core_metrics.erl:91: Invalid type specification for function rabbit_core_metrics:gen_server2_stats/2. The success typing is (_,_) -> 'true'
rabbit_core_metrics.erl:92: Invalid type specification for function rabbit_core_metrics:gen_server2_deleted/1. The success typing is (_) -> 'true'
rabbit_core_metrics.erl:94: Invalid type specification for function rabbit_core_metrics:delete/2. The success typing is (atom() | ets:tid(),_) -> 'true'
rabbit_core_metrics.erl:103: Expression produces a value of type [atom() | ets:tid()], but this value is unmatched
rabbit_core_metrics.erl:165: Expression produces a value of type [integer()] | integer(), but this value is unmatched
rabbit_heartbeat.erl:102: Function system_terminate/4 only terminates with explicit exception
rabbit_misc.erl:271: Invalid type specification for function rabbit_misc:get_gc_info/1. The success typing is (pid()) -> [any()]
rabbit_misc.erl:840: Expression produces a value of type [any()], but this value is unmatched
rabbit_misc.erl:1112: Expression produces a value of type 'false' | non_neg_integer(), but this value is unmatched
rabbit_misc.erl:1169: Function rpc_call/4 has no local return
rabbit_misc.erl:1170: The call rabbit_misc:rpc_call(Node::any(),Mod::any(),Fun::any(),Args::any(),'infinity') breaks the contract (node(),atom(),atom(),[any()],number()) -> any()
rabbit_misc.erl:1175: Expression produces a value of type 'change_initiated' | 'unchanged' | {'ongoing_change_to',pos_integer()}, but this value is unmatched
rabbit_misc.erl:1192: Function report_default_thread_pool_size/0 has no local return
rabbit_net.erl:234: The call ranch_proxy_protocol:proxyname('undefined',Sock::tuple()) does not have an opaque term of type ranch_proxy_protocol:proxy_socket() as 2nd argument
rabbit_net.erl:235: The call ranch_proxy_ssl:proxyname(Sock::tuple()) does not have an opaque term of type ranch_proxy_ssl:ssl_socket() as 1st argument
rabbit_net.erl:300: The call ranch_proxy_protocol:get_csocket(Sock::tuple()) does not have an opaque term of type ranch_proxy_protocol:proxy_socket() as 1st argument
rabbit_net.erl:302: The call ranch_proxy_ssl:get_csocket(Sock::tuple()) does not have an opaque term of type ranch_proxy_ssl:ssl_socket() as 1st argument
rabbit_nodes_common.erl:48: Expression produces a value of type {'error',_} | {'ok',timer:tref()}, but this value is unmatched
rabbit_writer.erl:171: Function system_terminate/4 only terminates with explicit exception
supervisor2.erl:328: Expression produces a value of type [#child{mfargs::{_,_,_},restart_type::'intrinsic' | 'permanent' | 'temporary' | 'transient' | {_,_},shutdown::'brutal_kill' | 'infinity' | non_neg_integer(),child_type::'supervisor' | 'worker',modules::'dynamic' | [any()]}], but this value is unmatched
supervisor2.erl:907: Expression produces a value of type {'error',_} | {'ok',timer:tref()}, but this value is unmatched
supervisor2.erl:985: Expression produces a value of type #child{mfargs::{atom(),atom(),'undefined' | [any()]},restart_type::'intrinsic' | 'permanent' | 'temporary' | 'transient' | {'intrinsic',non_neg_integer()} | {'permanent',non_neg_integer()} | {'transient',non_neg_integer()},shutdown::'brutal_kill' | 'infinity' | non_neg_integer(),child_type::'supervisor' | 'worker',modules::'dynamic' | [atom()]}, but this value is unmatched
supervisor2.erl:1142: Expression produces a value of type 'false' | non_neg_integer(), but this value is unmatched
vm_memory_monitor.erl:232: Expression produces a value of type 'false' | non_neg_integer(), but this value is unmatched
worker_pool_worker.erl:154: Invalid type specification for function worker_pool_worker:set_timeout/2. The success typing is (non_neg_integer(),fun(() -> any())) -> {'ok',_}
worker_pool_worker.erl:177: Expression produces a value of type dict:dict(_,_), but this value is unmatched
worker_pool_worker.erl:186: Expression produces a value of type {'error',_} | {'ok','cancel'}, but this value is unmatched
Unknown functions:
alarm_handler:clear_alarm/1
alarm_handler:set_alarm/1
cover:analyze/2
cover:analyze_to_file/3
cover:compile_beam_directory/1
cover:modules/0
cover:start/1
crypto:block_decrypt/4
crypto:block_encrypt/4
crypto:exor/2
crypto:hmac/4
crypto:strong_rand_bytes/1
crypto:supports/0
mnesia:abort/1
mnesia:create_table/2
mnesia:delete/1
mnesia:dirty_first/1
mnesia:dirty_next/2
mnesia:dirty_select/2
mnesia:is_transaction/0
mnesia:match_object/3
mnesia:read/1
mnesia:select/2
mnesia:sync_transaction/1
mnesia:system_info/1
mnesia:wread/1
mnesia:write/3
mnesia_dumper:get_log_writes/0
os_mon_sysinfo:get_mem_info/0
public_key:der_decode/2
public_key:pkix_decode_cert/2
ssl:close/1
ssl:connection_information/1
ssl:controlling_process/2
ssl:getopts/2
ssl:peercert/1
ssl:peername/1
ssl:recv/2
ssl:recv/3
ssl:send/2
ssl:setopts/2
ssl:sockname/1
ssl:versions/0
Unknown types:
crypto:block_cipher/0
crypto:hash_algorithms/0
public_key:der_encoded/0
rabbit_access_control:permission_atom/0
rabbit_amqqueue:absent_reason/0
rabbit_amqqueue:name/0
rabbit_binding:key/0
rabbit_channel:channel_number/0
rabbit_exchange:name/0
rabbit_exchange:type/0
rabbit_framing:amqp_class_id/0
rabbit_framing:amqp_exception/0
rabbit_framing:amqp_field_type/0
rabbit_framing:amqp_method_name/0
rabbit_framing:amqp_method_record/0
rabbit_framing:amqp_property_record/0
rabbit_framing:amqp_table/0
rabbit_framing:amqp_value/0
rabbit_framing:protocol/0
rabbit_guid:guid/0
rabbit_networking:hostname/0
rabbit_networking:ip_port/0
rabbit_router:match_result/0
rabbit_router:routing_key/0
rabbit_ssl:certificate/0
ranch_proxy:proxy_socket/0
set:set/0
ssl:erl_cipher_suite/0
ssl:sslsocket/0
ssl:verify_type/0
ssl_cipher:erl_cipher_suite/0
ssl_record:ssl_atom_version/0
done in 0m8.22s
done (warnings were emitted)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment