couchdb

Code pulled with svn from http://svn.apache.org/repos/asf/couchdb/trunk on Mon Feb 13 04:01:18 EET 2012

These are Intersection warnings for couchdb.

(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 src
couch_replicator_doc_copier.erl:452: The call couch_replicator_doc_copier:flush_doc(Target::#httpdb{},Doc::#doc{atts::[any()]}) will never return since it differs in the 1st argument from the success typing arguments: (#db{update_pid::atom() | pid() | {atom(),atom()},options::[any()]},#doc{revs::{_,nonempty_maybe_improper_list()}}) or ({'httpdb',[any()],'nil' | #oauth{token_secret::atom() | [any()] | integer()},[any()],_,[any()],_,_,atom() | pid() | {atom(),_},_},#doc{id::binary() | maybe_improper_list(any(),binary() | []) | #doc{id::binary() | maybe_improper_list(any(),binary() | []) | {_,_,_,_,_,_,_}},revs::{_,nonempty_maybe_improper_list()},body::<<_:8,_:_*8>> | {_},atts::[any()]}) or ({'httpdb',[binary() | maybe_improper_list(any(),binary() | []) | non_neg_integer()],'nil' | #oauth{token_secret::atom() | [any()] | integer()},[any()],_,[any()],_,_,atom() | pid() | {atom(),_},_},#doc{id::binary() | maybe_improper_list(any(),binary() | []) | #doc{id::binary() | maybe_improper_list(any(),binary() | []) | {_,_,_,_,_,_,_}},revs::{_,nonempty_maybe_improper_list()},body::<<_:8,_:_*8>> | {_},atts::[any()]}) or (binary() | {'httpdb',binary() | maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | non_neg_integer(),binary() | []),_,_,_,_,_,_,_,_} | #db{name::binary() | {'httpdb',binary() | maybe_improper_list(binary() | maybe_improper_list(any(),binary() | []) | non_neg_integer(),binary() | []),_,_,_,_,_,_,_,_} | #db{name::binary() | {'httpdb',binary() | maybe_improper_list(any(),binary() | []),_,_,_,_,_,_,_,_} | #db{name::binary() | {_,_,_,_,_,_,_,_,_,_} | {_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_}}}},#doc{revs::{integer(),nonempty_maybe_improper_list()}})
couch_replicator_doc_copier.erl:463: The call couch_replicator_doc_copier:flush_docs(Target::#httpdb{},nonempty_maybe_improper_list()) will never return since it differs in the 1st and/or 2nd argument from the success typing arguments: (any(),[]) or ({'httpdb',[binary() | maybe_improper_list(any(),binary() | []) | non_neg_integer()],'nil' | #oauth{token_secret::atom() | [any()] | integer()},[any()],_,[any()],_,_,atom() | pid() | {atom(),_},_} | #db{update_pid::atom() | pid() | {atom(),atom()},name::binary() | {'httpdb',binary() | maybe_improper_list(any(),binary() | []),_,_,_,_,_,_,_,_} | #db{name::binary() | {_,_,_,_,_,_,_,_,_,_} | {_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_}},options::[any()]},[any(),...])
couch_view_updater.erl:35: The call couch_task_status:update(<<_:320>>) will never return since it differs in the 1st argument from the success typing arguments: ([any()])
couch_view_updater.erl:38: The call couch_task_status:update(<<_:376>>) will never return since it differs in the 1st argument from the success typing arguments: ([any()])
couch_view_updater.erl:84: Function purge_index/2 will never be called
couch_view_updater.erl:86: Function will never be called
couch_view_updater.erl:91: The created fun has no local return
couch_view_updater.erl:93: The created fun has no local return
couch_view_updater.erl:103: The created fun has no local return
mochijson2.erl:842: The call mochijson2:encode({}) will never return since it differs in the 1st argument from the success typing arguments: ('false') or ('null' | 'true') or (<<>>) or (integer()) or ({'json',_}) or ([] | {'array',[]} | {'struct',[]}) or (atom() | <<_:8,_:_*8>> | [any(),...] | float() | {'array',[any(),...]} | {'struct',[any(),...]})
mochiweb_headers.erl:201: Function make_test/0 has no local return
mochiweb_headers.erl:203: The created fun has no local return
mochiweb_headers.erl:205: Guard test tuple() =:= __X::gb_tree() can never succeed
mochiweb_headers.erl:205: The call mochiweb_headers:make(Identity::gb_tree()) contains an opaque term as 1st argument when a structured term of type [any()] | tuple() is expected
oauth_uri.erl:12: The pattern {Scheme, UserInfo, Host, Port, Path, _Query} can never match the type {'error','no_scheme' | {'malformed_url',maybe_improper_list()} | {'not_supported_scheme',atom()}} | {'ok',{'http',_,_,_,_,_} | {'https',_,_,_,_,_}}
couch_mrview_cleanup.erl:35: The call couch_index_util:index_dir('mrview',DbName::any()) will never return since it differs in the 1st argument from the success typing arguments: (string(),binary() | #db{}) or (binary() | string(),binary() | #db{})
couch_mrview_cleanup.erl:41: The created fun has no local return
couch_mrview_util.erl:507: The call couch_index_util:index_file('mrview',DbName::any(),FileName::[integer(),...]) will never return since it differs in the 1st argument from the success typing arguments: (string(),binary() | #db{},string()) or (binary() | string(),binary() | #db{},binary() | string())
couch_mrview_util.erl:512: The call couch_index_util:index_file('mrview',DbName::any(),FileName::[integer(),...]) will never return since it differs in the 1st argument from the success typing arguments: (string(),binary() | #db{},string()) or (binary() | string(),binary() | #db{},binary() | string())

Applications