diff options
| author | Hans Bolinder <[email protected]> | 2012-09-20 16:36:32 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2012-09-24 09:17:39 +0200 |
| commit | ffe582b55910863462673163f984030ff13b34b7 (patch) | |
| tree | ea94949f814c8792387ec758159267bb020d50ac /lib/dialyzer/src | |
| parent | 7571553c9679cbc6a8066ddb54556a4794e9754a (diff) | |
| download | otp-ffe582b55910863462673163f984030ff13b34b7.tar.gz otp-ffe582b55910863462673163f984030ff13b34b7.tar.bz2 otp-ffe582b55910863462673163f984030ff13b34b7.zip | |
dialyzer: Do not output warnings for unused funs
Dialyzer no longer outputs warnings for unused anonymous functions
("funs"). Warnings are still output for unused functions.
Funs in functions with -nowarn_unused_function attributes generated
warnings for unused functions. Unused list comprehensions also
generated warnings for unused funs.
Diffstat (limited to 'lib/dialyzer/src')
| -rw-r--r-- | lib/dialyzer/src/dialyzer.erl | 4 | ||||
| -rw-r--r-- | lib/dialyzer/src/dialyzer_dataflow.erl | 2 |
2 files changed, 2 insertions, 4 deletions
diff --git a/lib/dialyzer/src/dialyzer.erl b/lib/dialyzer/src/dialyzer.erl index 3e3c12405f..d875c45c4a 100644 --- a/lib/dialyzer/src/dialyzer.erl +++ b/lib/dialyzer/src/dialyzer.erl @@ -2,7 +2,7 @@ %%----------------------------------------------------------------------- %% %CopyrightBegin% %% -%% Copyright Ericsson AB 2006-2011. All Rights Reserved. +%% Copyright Ericsson AB 2006-2012. All Rights Reserved. %% %% The contents of this file are subject to the Erlang Public License, %% Version 1.1, (the "License"); you may not use this file except in @@ -380,8 +380,6 @@ message_to_string({pattern_match_cov, [Pat, Type]}) -> message_to_string({unmatched_return, [Type]}) -> io_lib:format("Expression produces a value of type ~s," " but this value is unmatched\n", [Type]); -message_to_string({unused_fun, []}) -> - io_lib:format("Function will never be called\n", []); message_to_string({unused_fun, [F, A]}) -> io_lib:format("Function ~w/~w will never be called\n", [F, A]); %%----- Warnings for specs and contracts ------------------- diff --git a/lib/dialyzer/src/dialyzer_dataflow.erl b/lib/dialyzer/src/dialyzer_dataflow.erl index 7131633da1..f40bb2d395 100644 --- a/lib/dialyzer/src/dialyzer_dataflow.erl +++ b/lib/dialyzer/src/dialyzer_dataflow.erl @@ -2806,7 +2806,7 @@ state__get_warnings(#state{tree_map = TreeMap, fun_tab = FunTab, true -> {Warn, Msg} = case dialyzer_callgraph:lookup_name(FunLbl, Callgraph) of - error -> {true, {unused_fun, []}}; + error -> {false, {}}; {ok, {_M, F, A} = MFA} -> {not sets:is_element(MFA, NoWarnUnused), {unused_fun, [F, A]}} |