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/inf_loop2 | |
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/inf_loop2')
-rw-r--r-- | lib/dialyzer/test/small_SUITE_data/results/inf_loop2 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/results/inf_loop2 b/lib/dialyzer/test/small_SUITE_data/results/inf_loop2 index 7e9972ad98..142e4b2c37 100644 --- a/lib/dialyzer/test/small_SUITE_data/results/inf_loop2 +++ b/lib/dialyzer/test/small_SUITE_data/results/inf_loop2 @@ -1,4 +1,4 @@ inf_loop2.erl:18: Function test/0 has no local return inf_loop2.erl:19: The call lists:reverse('gazonk') will never return since it differs in the 1st argument from the success typing arguments: ([any()]) -inf_loop2.erl:22: Function loop/0 has no local return +inf_loop2.erl:22: Function loop/0 will never be called |