riak_core dialyzer errors -- master (db17fcc515c)

gistfile1.txt

riak_core_claim_sim.erl:400: Function will never be called
riak_core_claim_sim.erl:401: Function will never be called
riak_core_claim_sim.erl:429: The created fun has no local return
riak_core_claim_sim.erl:464: The created fun has no local return
riak_core_claim_util.erl:393: Function make_ring/1 has no local return
riak_core_claim_util.erl:395: Function will never be called
riak_core_claim_util.erl:397: The created fun has no local return
riak_core_console.erl:101: Function claimant_status/2 will never be called
riak_core_console.erl:114: Function ownership_status/2 will never be called
riak_core_console.erl:168: Function unreachable_status/1 will never be called
riak_core_console.erl:482: The call riak_core_util:rpc_every_member_ann('riak_core_handoff_manager','get_concurrency',[],5000) will never return since it differs in the 2nd argument from the success typing arguments: (atom() | tuple(),fun(),[any()],'infinity' | non_neg_integer())
riak_core_console.erl:508: The call riak_core_util:rpc_every_member_ann('riak_core_handoff_manager','set_concurrency',[integer(),...],5000) will never return since it differs in the 2nd argument from the success typing arguments: (atom() | tuple(),fun(),[any()],'infinity' | non_neg_integer())
riak_core_format.erl:64: Invalid type specification for function riak_core_format:human_size/2. The success typing is (number(),[[66 | 71 | 75 | 77 | 80 | 84,...],...]) -> {float(),[66 | 71 | 75 | 77 | 80 | 84,...]}
riak_core_format.erl:83: The call riak_core_format:human_time(float(),Next::{24 | 60 | 365 | 1000,[any(),...]},Units::[{24 | 60 | 365 | 1000,[any(),...]}]) breaks the contract (non_neg_integer(),{pos_integer(),string()},[{pos_integer(),string()}]) -> {number(),string()}
riak_core_gen_server.erl:505: The call sys:handle_debug(Debug::any(),{'riak_core_gen_server', 'print_event'},Name::any(),{'in',_}) breaks the contract (Debug,FormFunc,Extra,Event) -> [dbg_opt()] when is_subtype(Debug,[dbg_opt()]), is_subtype(FormFunc,dbg_fun()), is_subtype(Extra,term()), is_subtype(Event,system_event())
riak_core_gen_server.erl:732: Function handle_msg/8 will never be called
riak_core_gen_server.erl:781: Function handle_common_reply/9 will never be called
riak_core_gen_server.erl:801: Function reply/5 will never be called
riak_core_gen_server.erl:817: Function system_terminate/4 has no local return
riak_core_gossip.erl:386: The pattern {_, _, 'new_ring'} can never match the type {'false','exiting' | 'joining' | 'leaving' | 'valid','false'}
riak_core_gossip.erl:395: Function log_membership_changes/2 will never be called
riak_core_gossip.erl:400: Function will never be called
riak_core_gossip.erl:405: Function will never be called
riak_core_handoff_listener.erl:26: Callback info about the gen_nb_server behaviour is not available
riak_core_handoff_manager.erl:163: The pattern {'ok', Handoff = {'handoff_status', _, _, _, _, Receiver, _, _, _, _, _, _, _, _, _}} can never match the type {'error','max_concurrency'}
riak_core_handoff_manager.erl:504: Record construction #handoff_status{mod_src_tgt::{'undefined','undefined','undefined'},direction::'inbound',transport_pid::'undefined' | pid(),transport_mon::reference(),timestamp::{non_neg_integer(),non_neg_integer(),non_neg_integer()},status::[],stats::dict(),req_origin::'none'} violates the declared type of field mod_src_tgt::'undefined' | {atom() | tuple(),integer(),integer()}
riak_core_handoff_receiver.erl:25: Callback info about the riak_core_gen_server behaviour is not available
riak_core_node_watcher.erl:756: The created fun has no local return
riak_core_node_watcher.erl:757: The call erlang:apply(Mod::atom(),Func::atom(),nonempty_improper_list('undefined' | pid(),byte())) will never return since it differs in the 3rd argument from the success typing arguments: (atom() | tuple(),atom(),[any()])
riak_core_node_watcher.erl:757: Cons will produce an improper list since its 2nd argument is byte()
riak_core_node_watcher.erl:770: Function health_check_result/2 will never be called
riak_core_pb.erl:52: The pattern <Default, _> can never match since previous clauses completely covered the type <_,'none'>
riak_core_pb.erl:53: The pattern <Val, _> can never match since previous clauses completely covered the type <_,'none'>
riak_core_pb.erl:55: The pattern <_, 'optional', 'undefined', _, _> can never match the type <1 | 2 | 3,'required',_,'bytes',[]>
riak_core_pb.erl:57: The pattern <_, 'repeated', 'undefined', _, _> can never match the type <1 | 2 | 3,'required',_,'bytes',[]>
riak_core_pb.erl:59: The pattern <_, 'repeated_packed', 'undefined', _, _> can never match the type <1 | 2 | 3,'required',_,'bytes',[]>
riak_core_pb.erl:60: The pattern <_, 'repeated_packed', [], _, _> can never match the type <1 | 2 | 3,'required',_,'bytes',[]>
riak_core_pb.erl:65: The pattern <_, 'repeated', [], _, Acc> can never match the type <1 | 2 | 3,'required',_,'bytes',[]>
riak_core_pb.erl:68: The pattern <FNum, 'repeated', [Head | Tail], Type, Acc> can never match the type <1 | 2 | 3,'required',_,'bytes',[]>
riak_core_pb.erl:71: The pattern <FNum, 'repeated_packed', Data, Type, _> can never match the type <1 | 2 | 3,'required',_,'bytes',[]>
riak_core_pb.erl:86: The call riak_core_pb:enum_to_int(Type::'bytes',Data::atom()) will never return since it differs in the 1st argument from the success typing arguments: ('pikachu','value')
riak_core_pb.erl:88: Function enum_to_int/2 has no local return
riak_core_pb.erl:88: The pattern <'pikachu', 'value'> can never match the type <'bytes',atom()>
riak_core_pb.erl:111: The pattern 'true' can never match the type 'false'
riak_core_pb.erl:117: The pattern 'true' can never match the type 'false'
riak_core_pb.erl:126: The pattern 'true' can never match the type 'false'
riak_core_pb.erl:138: The pattern {_, _, Dict} can never match the type 'false'
riak_core_pb.erl:151: The pattern <Binary, 'string'> can never match the type <'-infinity' | 'false' | 'infinity' | 'nan' | 'true' | binary() | [integer()] | number(),'bytes'>
riak_core_pb.erl:171: The pattern <Types, [{Fnum, Bytes} | Tail], Acc> can never match the type <_,[],[{_,_}]>
riak_core_ring.erl:239: Function nearly_equal/2 has no local return
riak_core_ring.erl:241: Record construction #chstate_v2{nodename::atom(),vclock::[],chring::'undefined' | {integer(),[{integer(),_}]},meta::[],clustername::'undefined' | {atom(),_},next::'undefined' | [{integer(),atom(),atom(),[atom() | tuple()],'awaiting' | 'complete'}],members::'undefined' | [{atom(),{'down' | 'exiting' | 'invalid' | 'joining' | 'leaving' | 'valid',vclock:vclock(),[]}}],claimant::atom(),seen::'undefined' | [{atom(),vclock:vclock()}],rvsn::'undefined' | vclock:vclock()} violates the declared type of field vclock::'undefined' | vclock:vclock() and meta::'undefined' | dict()
riak_core_ring.erl:305: Function fresh/0 has no local return
riak_core_ring.erl:312: Function fresh/1 has no local return
riak_core_ring.erl:318: Function fresh/2 has no local return
riak_core_ring.erl:321: Record construction #chstate_v2{vclock::vclock:vclock(),chring::{pos_integer(),[{integer(),_}]},meta::dict(),clustername::{_,{non_neg_integer(),non_neg_integer(),non_neg_integer()}},next::[],members::[{_,{'valid',vclock:vclock(),[{'gossip_vsn',1 | 2},...]}},...],seen::[{_,vclock:vclock()},...],rvsn::vclock:vclock()} violates the declared type of field nodename::atom() and clustername::'undefined' | {atom(),_} and members::'undefined' | [{atom(),{'down' | 'exiting' | 'invalid' | 'joining' | 'leaving' | 'valid',vclock:vclock(),[]}}] and claimant::atom() and seen::'undefined' | [{atom(),vclock:vclock()}]
riak_core_ring.erl:429: Function reconcile/2 has no local return
riak_core_ring.erl:964: Function internal_reconcile/2 has no local return
riak_core_ring.erl:1013: Function reconcile_divergent/3 will never be called
riak_core_ring.erl:1062: Function reconcile_next/2 will never be called
riak_core_ring.erl:1075: Function reconcile_divergent_next/2 will never be called
riak_core_ring.erl:1091: Function substitute/3 will never be called
riak_core_ring.erl:1092: The created fun has no local return
riak_core_ring.erl:1103: Function reconcile_ring/3 will never be called
riak_core_ring.erl:1229: Function equal_cstate/2 has no local return
riak_core_ring.erl:1232: Function equal_cstate/3 has no local return
riak_core_ring.erl:1241: Record construction #chstate_v2{nodename::'ok',vclock::'ok',chring::'ok',meta::'ok',clustername::'ok',next::'undefined' | [{integer(),atom(),atom(),[atom() | tuple()],'awaiting' | 'complete'}],members::'ok',claimant::atom(),seen::'ok',rvsn::'ok'} violates the declared type of field vclock::'undefined' | vclock:vclock() and chring::'undefined' | {integer(),[{integer(),_}]} and meta::'undefined' | dict() and clustername::'undefined' | {atom(),_} and members::'undefined' | [{atom(),{'down' | 'exiting' | 'invalid' | 'joining' | 'leaving' | 'valid',vclock:vclock(),[]}}] and seen::'undefined' | [{atom(),vclock:vclock()}] and rvsn::'undefined' | vclock:vclock()
riak_core_ring_handler.erl:141: The pattern {'error', Reason} can never match the type 'ok'
riak_core_ring_manager.erl:27: Callback info about the riak_core_gen_server behaviour is not available
riak_core_ring_manager.erl:304: The call riak_core_ring_manager:handle_cast('refresh_my_ring',State::any()) will never return since it differs in the 1st argument from the success typing arguments: ('stop' | 'write_ringfile' | {'refresh_my_ring',_},any())
riak_core_ring_manager.erl:309: The call riak_core_ring_manager:handle_call('refresh_my_ring','undefined',State::any()) does not have a term of type 'get_raw_ring' | {'set_cluster_name','undefined' | {atom(),_}} | {'set_my_ring',{'chstate',atom(),'undefined' | vclock:vclock(),{integer(),[any()]},'undefined' | dict()} | {'chstate_v2',atom(),'undefined' | vclock:vclock(),'undefined' | {integer(),[any()]},'undefined' | dict(),'undefined' | {atom(),_},'undefined' | [{_,_,_,_,_}],'undefined' | [{_,_}],atom(),'undefined' | [{_,_}],'undefined' | vclock:vclock()}} | {'ring_trans',_,_} (with opaque subterms) as 1st argument
riak_core_status.erl:80: Function ring_status/0 has no local return
riak_core_status.erl:85: The call riak_core_util:rpc_every_member_ann('riak_core','vnode_modules',[],1000) will never return since it differs in the 2nd argument from the success typing arguments: (atom() | tuple(),fun(),[any()],'infinity' | non_neg_integer())
riak_core_sysmon_handler.erl:169: Function format_pretty_proc_info/1 will never be called
riak_core_sysmon_handler.erl:185: Function get_pretty_proc_info/1 will never be called
riak_core_util.erl:274: Invalid type specification for function riak_core_util:rpc_every_member_ann/4. The success typing is (atom() | tuple(),fun(),[any()],'infinity' | non_neg_integer()) -> {[{atom(),_}],[atom()]}
riak_core_vnode_manager.erl:560: Function update_forwarding/3 has no local return
riak_core_vnode_manager.erl:563: Record construction #state{forwarding::[{_,_},...],handoff::'undefined' | [{_,integer(),pid(),atom()}],known_modules::'undefined' | [any()],never_started::'undefined' | [{integer(),_}],vnode_start_tokens::'undefined' | integer(),repairs::'undefined' | [#repair{mod_partition::'undefined' | {atom() | tuple(),integer()},filter_mod_fun::'undefined' | {atom() | tuple(),atom()},minus_one_xfer::'undefined' | #xfer_status{status::'complete' | 'pending' | 'undefined',mod_src_target::'undefined' | {atom() | tuple(),integer(),integer()}},plus_one_xfer::'undefined' | #xfer_status{status::'complete' | 'pending' | 'undefined',mod_src_target::'undefined' | {atom() | tuple(),integer(),integer()}},pairs::'undefined' | [{integer(),atom()}]}]} violates the declared type of field forwarding::'undefined' | [pid()]
riak_core_vnode_manager.erl:670: The pattern [{MI, Node} | _] can never match the type 'undefined' | [pid()]
riak_core_vnode_manager.erl:672: The pattern [{MI, Node} | _] can never match the type 'undefined' | [{_,integer(),pid(),atom()}]
riak_core_vnode_master.erl:89: The call riak_core_vnode_master:make_coverage_request(Msg::any(),Keyspaces::any(),{_,{_,{_,_}},_},Index::any()) will never return since the success typing is (any(),'undefined' | [{non_neg_integer(),[non_neg_integer()]}],'ignore' | {'fsm','undefined' | reference(),pid()} | {'raw',reference(),pid()} | {'server','undefined' | reference(),'undefined' | pid()},'undefined' | non_neg_integer()) -> #riak_coverage_req_v1{index::'undefined' | non_neg_integer(),keyspaces::'undefined' | [{non_neg_integer(),[any()]}],sender::'ignore' | {'fsm','undefined' | reference(),pid()} | {'raw',reference(),pid()} | {'server','undefined' | reference(),'undefined' | pid()}} and the contract is (vnode_req(),[{partition(),[partition()]}],sender(),partition()) -> #riak_coverage_req_v1{}
riak_core_vnode_master.erl:182: The pattern <{VMaster, Node}, Other> can never match since previous clauses completely covered the type <{_,_},#riak_vnode_req_v1{index::'undefined' | non_neg_integer(),sender::'ignore' | {'fsm','undefined' | reference(),pid()} | {'raw',reference(),pid()} | {'server','undefined' | reference(),'undefined' | pid()}} | #riak_coverage_req_v1{index::'undefined' | non_neg_integer(),keyspaces::'undefined' | [{_,_}],sender::'ignore' | {'fsm','undefined' | reference(),pid()} | {'raw',reference(),pid()} | {'server','undefined' | reference(),'undefined' | pid()}}>
supervisor_pre_r14b04.erl:1250: The call erlang:length('undefined' | pid()) will never return since it differs in the 1st argument from the success typing arguments: ([any()])
Unknown functions:
  cluster_info:format/3
  cluster_info:register_app/1
  dtrace:put_utag/1
Unknown types:
  chash:index/0
  orddict:orddict/2
  riak_object:bucket/0
 done in 0m21.07s
done (warnings were emitted)
make: *** [dialyzer] Error 2