aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/race_tests_SUITE_data/src/whereis_vars16.erl
blob: 7badb8df22ac6cceac2ea9f188de8420bcfcdda3 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
%% This tests that warnings do appear when there is no specific
%% information about the types and the variables are bound.

-module(whereis_vars16).
-export([start/4]).

start(AnAtom, OtherAtom, APid, Fun) ->
  case whereis(AnAtom) of
    undefined ->
      Pid = spawn(Fun),
      case Pid =:= self() of
        true -> ok;
        false ->
          case AnAtom of
            maria -> ok;
            kostis when {AnAtom, Pid} =:= {OtherAtom, APid} ->
              register(OtherAtom, APid);
	    _Other -> ok
	  end
      end;
    P when is_pid(P) ->
      ok
  end.