diff options
| author | Stavros Aronis <[email protected]> | 2011-03-21 18:36:05 +0200 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2011-05-04 15:06:16 +0200 |
| commit | 50184171c3b28270aae9f21926383185e9188234 (patch) | |
| tree | defbe2bef945eb6b81586e6a20c42b72ca56ebc3 /lib/dialyzer/test/small_SUITE_data/results | |
| parent | 320bfe173aedf71a60d2b3c69d6422fd4abcfd4a (diff) | |
| download | otp-50184171c3b28270aae9f21926383185e9188234.tar.gz otp-50184171c3b28270aae9f21926383185e9188234.tar.bz2 otp-50184171c3b28270aae9f21926383185e9188234.zip | |
Add small/none_scc_inf_loop
Diffstat (limited to 'lib/dialyzer/test/small_SUITE_data/results')
| -rw-r--r-- | lib/dialyzer/test/small_SUITE_data/results/none_scc_inf_loop | 5 |
1 files changed, 5 insertions, 0 deletions
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 |