diff options
author | Stavros Aronis <[email protected]> | 2012-01-22 17:43:48 +0100 |
---|---|---|
committer | Stavros Aronis <[email protected]> | 2012-02-22 14:13:08 +0100 |
commit | 4ca72667f3e655d175c7587b8998aa7d22f50985 (patch) | |
tree | 307e4372295330fbc3db75fb772ef370bcc85ba9 /lib/dialyzer/test/small_SUITE_data/results/cerl_hipeify | |
parent | 7c3a98b560a80878c603fabe26ca4a572bfe9122 (diff) | |
download | otp-4ca72667f3e655d175c7587b8998aa7d22f50985.tar.gz otp-4ca72667f3e655d175c7587b8998aa7d22f50985.tar.bz2 otp-4ca72667f3e655d175c7587b8998aa7d22f50985.zip |
Zero-arity unused functions Dialyzer patch
Dialyzer was not reporting unused functions with 0 arity. This was not
a real issue, until we found out that there could be cases where this
could lead to false warnings. This was the case in "no_local_return.erl".
Diffstat (limited to 'lib/dialyzer/test/small_SUITE_data/results/cerl_hipeify')
-rw-r--r-- | lib/dialyzer/test/small_SUITE_data/results/cerl_hipeify | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/results/cerl_hipeify b/lib/dialyzer/test/small_SUITE_data/results/cerl_hipeify index 87bf6f309f..06dc0d63ee 100644 --- a/lib/dialyzer/test/small_SUITE_data/results/cerl_hipeify +++ b/lib/dialyzer/test/small_SUITE_data/results/cerl_hipeify @@ -1,4 +1,4 @@ cerl_hipeify.erl:370: Function will never be called -cerl_hipeify.erl:370: Guard test fun((none()) -> none()) =:= F::{_,_,_} | {_,_,_,_} | {_,_,_,_,_} | {_,_,_,_,_,_} | {_,_,_,_,_,_,_} can never succeed +cerl_hipeify.erl:370: Guard test fun((none()) -> no_return()) =:= F::{_,_,_} | {_,_,_,_} | {_,_,_,_,_} | {_,_,_,_,_,_} | {_,_,_,_,_,_,_} can never succeed cerl_hipeify.erl:641: Function env__new_function_name/2 will never be called |