scalaris

Code pulled with svn from http://scalaris.googlecode.com/svn/trunk on Mon Feb 13 04:09:49 EET 2012

These are Intersection warnings for scalaris.

(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 -r ebin contrib
log4erl.erl:152: The pattern 'false' can never match the type 'true'
rep_upd_recon.erl:212: The pattern 'true' can never match the type 'false'
rep_upd_recon.erl:424: Function add_to_tree/2 will never be called
rep_upd_recon.erl:425: The created fun has no local return
rep_upd_sync.erl:235: The call rep_upd_sync:build_sync_struct('bloom',{intervals:interval(),nonempty_maybe_improper_list()},{float(),comm:mypid()}) will never return since it differs in the 1st and/or 3rd argument from the success typing arguments: ('merkleTree',{intervals:interval(),[{rt_chord:key(),atom() | binary() | number(),boolean(),non_neg_integer(),integer()}]},{comm:mypid()})
rt_chord.erl:207: The call erlang:'+'(Id::rt_chord:key(),Offset::integer()) contains an opaque term as 1st argument when terms of different types are expected in these positions
rdht_tx0.erl:109: The call rdht_tx0:single_req(TLog0::[{'rdht_tx_read',[any()],integer(),'value' | {_,_},_} | {'rdht_tx_write',[any()],integer(),'value' | {_,_},_}],{'rdht_tx_read',[any()]}) will never return since it differs in the 2nd argument from the success typing arguments: ([{'rdht_tx_read',string(),integer(),'value' | {'fail','abort' | 'not_found'},_} | {'rdht_tx_write',string(),integer(),'value' | {'fail','abort' | 'not_found'},_},...],{'commit'}) or ([],{'commit'})
rdht_tx0.erl:111: The call rdht_tx0:single_req(TLog0::[{'rdht_tx_read',[any()],integer(),'value' | {_,_},_} | {'rdht_tx_write',[any()],integer(),'value' | {_,_},_}],{'rdht_tx_write',[any()],_}) will never return since it differs in the 2nd argument from the success typing arguments: ([{'rdht_tx_read',string(),integer(),'value' | {'fail','abort' | 'not_found'},_} | {'rdht_tx_write',string(),integer(),'value' | {'fail','abort' | 'not_found'},_},...],{'commit'}) or ([],{'commit'})
rdht_tx0.erl:162: The call rdht_tx0:single_req(TLog0::[{'rdht_tx_read',[any()],integer(),'value' | {_,_},_} | {'rdht_tx_write',[any()],integer(),'value' | {_,_},_}],{'rdht_tx_read',[any()]}) will never return since it differs in the 2nd argument from the success typing arguments: ([{'rdht_tx_read',string(),integer(),'value' | {'fail','abort' | 'not_found'},_} | {'rdht_tx_write',string(),integer(),'value' | {'fail','abort' | 'not_found'},_},...],{'commit'}) or ([],{'commit'})

Applications