diff options
| author | Hans Bolinder <[email protected]> | 2019-03-22 11:58:58 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2019-04-29 12:00:31 +0200 |
| commit | 19e8e534cc26d890378265907ff0a56c101f2625 (patch) | |
| tree | 38d9db9e23d5bcbac5a502aef1c0fc806d355fa9 /lib/dialyzer/test/race_SUITE_data/results | |
| parent | 87e748eda909272ab4c2178fdfe83bb74eef898b (diff) | |
| download | otp-19e8e534cc26d890378265907ff0a56c101f2625.tar.gz otp-19e8e534cc26d890378265907ff0a56c101f2625.tar.bz2 otp-19e8e534cc26d890378265907ff0a56c101f2625.zip | |
dialyzer: Fix dialyzer_dataflow:format_args_1()
Diffstat (limited to 'lib/dialyzer/test/race_SUITE_data/results')
| -rw-r--r-- | lib/dialyzer/test/race_SUITE_data/results/ets_insert_double1 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/dialyzer/test/race_SUITE_data/results/ets_insert_double1 b/lib/dialyzer/test/race_SUITE_data/results/ets_insert_double1 index b640b91271..2473bf5d01 100644 --- a/lib/dialyzer/test/race_SUITE_data/results/ets_insert_double1 +++ b/lib/dialyzer/test/race_SUITE_data/results/ets_insert_double1 @@ -1,4 +1,4 @@ ets_insert_double1.erl:15: The call ets:insert('foo',[{'pass',[number()]} | {'random',integer()},...]) might have an unintended effect due to a possible race condition caused by its combination with the ets:lookup('foo','random') call in ets_insert_double1.erl on line 10, the ets:lookup('foo','pass') call in ets_insert_double1.erl on line 27 ets_insert_double1.erl:19: The call ets:insert('foo',[{'pass',[number()]} | {'random',integer()},...]) might have an unintended effect due to a possible race condition caused by its combination with the ets:lookup('foo','random') call in ets_insert_double1.erl on line 10, the ets:lookup('foo','pass') call in ets_insert_double1.erl on line 27 -ets_insert_double1.erl:24: The call ets:insert('foo',{'pass','empty'}) might have an unintended effect due to a possible race condition caused by its combination with the ets:lookup('foo','pass') call in ets_insert_double1.erl on line 22 +ets_insert_double1.erl:24: The call ets:insert('foo',{'pass', 'empty'}) might have an unintended effect due to a possible race condition caused by its combination with the ets:lookup('foo','pass') call in ets_insert_double1.erl on line 22 |