-
-
Save kjnilsson/7b2c998860ffd79fc1e08759aa99fdcd to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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