diff options
Diffstat (limited to 'lib/dialyzer/test/race_SUITE_data/src/whereis_diff_functions3_nested.erl')
| -rw-r--r-- | lib/dialyzer/test/race_SUITE_data/src/whereis_diff_functions3_nested.erl | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/lib/dialyzer/test/race_SUITE_data/src/whereis_diff_functions3_nested.erl b/lib/dialyzer/test/race_SUITE_data/src/whereis_diff_functions3_nested.erl new file mode 100644 index 0000000000..5c28fc74f6 --- /dev/null +++ b/lib/dialyzer/test/race_SUITE_data/src/whereis_diff_functions3_nested.erl @@ -0,0 +1,21 @@ +%% This tests that the race condition detection between whereis/unregister +%% is robust w.r.t. having the calls in separate functions. + +-module(whereis_diff_functions3_nested). +-export([test/1]). + +test(AnAtom) -> + start(AnAtom). + +start(AnAtom) -> + case whereis(AnAtom) of + undefined -> true; + P when is_pid(P) -> + race1(AnAtom) + end. + +race1(Atom) -> + race2(Atom). + +race2(Atom) -> + unregister(Atom). |