aboutsummaryrefslogblamecommitdiffstats
path: root/lib/dialyzer/test/race_SUITE_data/src/ets_insert_args8.erl
blob: 275cf0291c80170e89d145d565a9a4fe55cce621 (plain) (tree)
1
2
3
4
5
6
7
8
9
10
11
12
13
14













                                                                            
                
                                      
%% This tests the presence of possible races due to an ets:lookup/ets:insert
%% combination. It takes into account the argument types of the calls.

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

test(Foo) ->
  ets:new(Foo, [named_table, public]),
  race(Foo).

race(Tab) ->
    [{_, N}] = ets:lookup(Tab, counter),
    aux(Tab, N).

aux(Table, N) ->
  ets:insert(Table, [{counter, N+1}]).