path: root/lib/dialyzer/test/race_tests_SUITE_data/src/whereis_diff_functions1_pathsens.erl

%% This tests that the race condition detection between whereis/register
%% is robust w.r.t. having the calls in separate functions.
%% It takes into account control flow that might exist.

-module(whereis_diff_functions1_pathsens).
-export([test/1]).

test(FunName) ->
  start(kostis, mod:function(), FunName).

start(AnAtom, Fun, FunName) ->
  Pid = 
    case FunName of
      master ->
        case whereis(AnAtom) of
          undefined ->
            spawn(Fun);
          P when is_pid(P) ->
            P
        end;
      slave ->
        case whereis(AnAtom) of
          undefined ->
            spawn(Fun);
          P when is_pid(P) ->
            P
        end
    end,
  race(AnAtom, Pid).

race(Atom, Pid) ->
  register(Atom, Pid).