From 50184171c3b28270aae9f21926383185e9188234 Mon Sep 17 00:00:00 2001 From: Stavros Aronis Date: Mon, 21 Mar 2011 18:36:05 +0200 Subject: Add small/none_scc_inf_loop --- lib/dialyzer/test/small_SUITE_data/results/none_scc_inf_loop | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 lib/dialyzer/test/small_SUITE_data/results/none_scc_inf_loop (limited to 'lib/dialyzer/test/small_SUITE_data/results/none_scc_inf_loop') diff --git a/lib/dialyzer/test/small_SUITE_data/results/none_scc_inf_loop b/lib/dialyzer/test/small_SUITE_data/results/none_scc_inf_loop new file mode 100644 index 0000000000..3b1b204708 --- /dev/null +++ b/lib/dialyzer/test/small_SUITE_data/results/none_scc_inf_loop @@ -0,0 +1,5 @@ + +none_scc_inf_loop.erl:10: Function foo/0 has no local return +none_scc_inf_loop.erl:13: Function foo/1 has no local return +none_scc_inf_loop.erl:13: The pattern 0 can never match the type 1 | 3 +none_scc_inf_loop.erl:18: Function bar/1 has no local return -- cgit v1.2.3