blob: e6e66939631a78818e2f6a8d990ef12add286827 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
%%-------------------------------------------------------------------
%% File : unused_cases.erl
%% Author : Kostis Sagonas <[email protected]>
%% Description : Tests that Dialyzer warns whenever it finds unused
%% case clauses -- even those that are catch all.
%%
%% Created : 21 Jan 2007 by Kostis Sagonas <[email protected]>
%%-------------------------------------------------------------------
-module(unused_cases).
-export([test/0]).
test() -> % dummy function to avoid exporting stuff
ok = unreachable_catchall(42),
ok = unreachable_middle(42),
ok = unreachable_final(42).
unreachable_catchall(X) ->
case mk_pair(X) of
{_,_} -> ok;
OTHER -> {unreachable_catchall, OTHER}
end.
unreachable_middle(X) ->
case is_positive(X) of
true -> ok;
weird -> {unreachable_middle, weird};
false -> ok
end.
unreachable_final(X) ->
case is_positive(X) of
true -> ok;
false -> ok;
OTHER-> {unreachable_final, OTHER}
end.
mk_pair(X) -> {X, X}.
is_positive(X) when is_integer(X), X > 0 -> true;
is_positive(X) when is_integer(X) -> false.
|
