aboutsummaryrefslogblamecommitdiffstats
path: root/lib/dialyzer/test/race_tests_SUITE_data/src/ets_insert_control_flow1.erl
blob: 7b56495e47120f3228f16ad4dddf5209e05598cb (plain) (tree)



















                                                                            
%% This tests the presence of possible races due to an ets:lookup/ets:insert
%% combination. It takes into account control flow that might exist.

-module(ets_insert_control_flow1).
-export([start/0]).

start() ->
  io:format("Created ~w\n", [ets:new(foo, [named_table, public])]),
  ets:insert(foo, {random, random:uniform(maria:get_int())}),  
  io:format("Inserted ~w\n", [{_, N}] = ets:lookup(foo, random)),
  case (N rem 2 == 0) of
    true ->
      io:format("\nInserted an even number\n", []),
      io:format("\nWill make it odd\n", []),
      ets:insert(foo, {random, N+1});
    false -> ok
  end,
  io:format("Update complete\n", []),
  ObjectList = ets:lookup(foo, random),
  io:format("Random odd integer: ~w\n", [ObjectList]).