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/options1_SUITE_data | |
| 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/options1_SUITE_data')
| -rw-r--r-- | lib/dialyzer/test/options1_SUITE_data/results/compiler | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/dialyzer/test/options1_SUITE_data/results/compiler b/lib/dialyzer/test/options1_SUITE_data/results/compiler index e82087ae86..6399e3e36b 100644 --- a/lib/dialyzer/test/options1_SUITE_data/results/compiler +++ b/lib/dialyzer/test/options1_SUITE_data/results/compiler @@ -20,6 +20,7 @@ cerl_inline.erl:2333: The pattern 'true' can never match the type 'false' cerl_inline.erl:2355: The pattern 'true' can never match the type 'false' cerl_inline.erl:238: The pattern 'true' can never match the type 'false' cerl_inline.erl:2436: Function filename/1 will never be called +cerl_inline.erl:244: Function counter_stats/0 will never be called cerl_inline.erl:2700: The pattern 'true' can never match the type 'false' cerl_inline.erl:2730: The pattern <{F, L, D}, Vs> can never match the type <[1..255,...],[any()]> cerl_inline.erl:2738: The pattern <{F, L, D}, Vs> can never match the type <[1..255,...],[any()]> |