lib/dialyzer/test/race_SUITE_data/src/whereis_diff_modules1_pathsens/whereis_diff_modules2_pathsens.erl


1
2
3
4
5
6
7
8
9
10
11
12

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

-module(whereis_diff_modules2_pathsens).
-export([no_race/1, race/2]).

no_race(Pid) ->
  register(master, Pid).

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