1 files changed, 41 insertions, 0 deletions
diff --git a/lib/dialyzer/test/small_tests_SUITE_data/src/unused_cases.erl b/lib/dialyzer/test/small_tests_SUITE_data/src/unused_cases.erl
new file mode 100644
index 0000000000..e6e6693963
--- /dev/null
+++ b/lib/dialyzer/test/small_tests_SUITE_data/src/unused_cases.erl
@@ -0,0 +1,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.