diff options
Diffstat (limited to 'lib/dialyzer/test/missing_return_SUITE_data/src/missing_return.erl')
| -rw-r--r-- | lib/dialyzer/test/missing_return_SUITE_data/src/missing_return.erl | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/lib/dialyzer/test/missing_return_SUITE_data/src/missing_return.erl b/lib/dialyzer/test/missing_return_SUITE_data/src/missing_return.erl new file mode 100644 index 0000000000..64e7766c83 --- /dev/null +++ b/lib/dialyzer/test/missing_return_SUITE_data/src/missing_return.erl @@ -0,0 +1,21 @@ +-module(missing_return). + +-export([t1/0, t2/0]). + + +% Should warn about only having true when also false is returned +-spec t1() -> true. +t1() -> + case rand:uniform(2) of + 1 -> true; + 2 -> false + end. + +% Should not warn about missing return +-dialyzer({no_missing_return, t2/0}). +-spec t2() -> true. +t2() -> + case rand:uniform(2) of + 1 -> true; + 2 -> false + end. |