diff options
Diffstat (limited to 'lib/dialyzer/test/race_SUITE_data/src/ets_insert_args1_suppressed.erl')
| -rw-r--r-- | lib/dialyzer/test/race_SUITE_data/src/ets_insert_args1_suppressed.erl | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/lib/dialyzer/test/race_SUITE_data/src/ets_insert_args1_suppressed.erl b/lib/dialyzer/test/race_SUITE_data/src/ets_insert_args1_suppressed.erl deleted file mode 100644 index 5134cc6f0b..0000000000 --- a/lib/dialyzer/test/race_SUITE_data/src/ets_insert_args1_suppressed.erl +++ /dev/null @@ -1,19 +0,0 @@ -%% 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_args1_suppressed). --export([start/0]). - --dialyzer({nowarn_function,start/0}). - -start() -> - F = fun(T) -> [{_, N}] = ets:lookup(T, counter), - ets:insert(T, [{counter, N+1}]) - end, - io:format("Created ~w\n", [ets:new(foo, [named_table, public])]), - ets:insert(foo, {counter, 0}), - io:format("Inserted ~w\n", [{counter, 0}]), - F(foo), - io:format("Update complete\n", []), - ObjectList = ets:lookup(foo, counter), - io:format("Counter: ~w\n", [ObjectList]). |