rabbit

Code pulled with hg from http://hg.rabbitmq.com/rabbitmq-public-umbrella on Mon Feb 13 04:08:52 EET 2012

These are Intersection warnings for rabbit.

(Only new warnings by Intersection-enabled analysis are listed. Warnings by current public version of Dialyzer are listed here.)

dialyzer -n -q -Wno_improper_lists erlang-rfc4627/ebin rabbitmq-auth-backend-ldap/ebin rabbitmq-auth-mechanism-ssl/ebin rabbitmq-erlang-client/ebin rabbitmq-jsonrpc-channel/ebin rabbitmq-jsonrpc/ebin rabbitmq-management-agent/ebin rabbitmq-management/ebin rabbitmq-mochiweb/ebin rabbitmq-server/ebin rabbitmq-shovel/ebin rabbitmq-stomp/ebin
rabbit_ssl.erl:84: The pattern {'ok', DecCert} can never match the type #'OTPCertificate'{tbsCertificate::#'OTPTBSCertificate'{subjectPublicKeyInfo::{_,_,_},extensions::'asn1_NOVALUE' | [any()]}}
rabbit_tests.erl:2033: Function with_fresh_variable_queue/1 has no local return
rabbit_tests.erl:2035: The call rabbit_variable_queue:init(#resource{virtual_host::binary(),kind::atom(),name::binary()},'true','false',fun((_,_) -> 'ok'),fun((_) -> 'ok')) will never return since it differs in the 2nd and/or 4th argument from the success typing arguments: (#resource{virtual_host::binary(),kind::'queue',name::binary()},'false','false',any(),fun((gb_set()) -> 'ok')) or (#resource{virtual_host::binary(),kind::'queue',name::binary()},'true',boolean(),'undefined' | fun((gb_set()) -> any()),fun((gb_set()) -> 'ok'))
rabbit_tests.erl:2045: Function test_variable_queue/0 has no local return
rabbit_tests.erl:2046: The created fun has no local return
rabbit_tests.erl:2046: The pattern [] can never match the type [fun((_) -> {_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_}),...]
rabbit_tests.erl:2201: Function test_variable_queue_all_the_bits_not_covered_elsewhere1/1 has no local return
rabbit_tests.erl:2211: The call rabbit_variable_queue:init(#resource{virtual_host::binary(),kind::atom(),name::binary()},'true','true',fun((_,_) -> 'ok'),fun((_) -> 'ok')) will never return since it differs in the 2nd, 3rd and/or 4th argument from the success typing arguments: (#resource{virtual_host::binary(),kind::'queue',name::binary()},'false','false',any(),fun((gb_set()) -> 'ok')) or (#resource{virtual_host::binary(),kind::'queue',name::binary()},'true',boolean(),'undefined' | fun((gb_set()) -> any()),fun((gb_set()) -> 'ok'))
rabbit_tests.erl:2221: Function test_variable_queue_all_the_bits_not_covered_elsewhere2/1 has no local return
rabbit_tests.erl:2228: The call rabbit_variable_queue:init(#resource{virtual_host::binary(),kind::atom(),name::binary()},'true','true',fun((_,_) -> 'ok'),fun((_) -> 'ok')) will never return since it differs in the 2nd, 3rd and/or 4th argument from the success typing arguments: (#resource{virtual_host::binary(),kind::'queue',name::binary()},'false','false',any(),fun((gb_set()) -> 'ok')) or (#resource{virtual_host::binary(),kind::'queue',name::binary()},'true',boolean(),'undefined' | fun((gb_set()) -> any()),fun((gb_set()) -> 'ok'))
rabbit_tests.erl:2255: The created fun has no local return
rabbit_tests.erl:2260: The call rabbit_variable_queue:init(QName::#resource{virtual_host::binary(),kind::'queue',name::binary()},'true','true',fun((_,_) -> 'ok'),fun((_) -> 'ok')) will never return since it differs in the 2nd, 3rd and/or 4th argument from the success typing arguments: (#resource{virtual_host::binary(),kind::'queue',name::binary()},'false','false',any(),fun((gb_set()) -> 'ok')) or (#resource{virtual_host::binary(),kind::'queue',name::binary()},'true',boolean(),'undefined' | fun((gb_set()) -> any()),fun((gb_set()) -> 'ok'))
rabbit_variable_queue.erl:459: Function delete_and_terminate/1 has no local return
rabbit_variable_queue.erl:469: The pattern 'undefined' can never match the type {_,_}
rabbit_variable_queue.erl:470: The call rabbit_msg_store:client_delete_and_terminate(MSCStateP::{_,_}) does not have a term of type {'client_msstate',atom() | pid(),binary(),dict(),_,atom(),binary() | string(),pid(),tid(),tid(),tid(),tid()} (with opaque subterms) as 1st argument

Applications