aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/small_SUITE_data/src/unused_cases.erl
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.