From 5e766039bb990ac17a9559301ad1599e250bf9e7 Mon Sep 17 00:00:00 2001 From: Stavros Aronis Date: Wed, 5 Sep 2012 18:25:48 +0200 Subject: Fix a crash in race condition detection Analysis is not always able to find the variable labels and names for any kind of arguments passed to the ets module functions. --- lib/dialyzer/test/race_SUITE_data/results/ets_insert_args10 | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 lib/dialyzer/test/race_SUITE_data/results/ets_insert_args10 (limited to 'lib/dialyzer/test/race_SUITE_data/results') diff --git a/lib/dialyzer/test/race_SUITE_data/results/ets_insert_args10 b/lib/dialyzer/test/race_SUITE_data/results/ets_insert_args10 new file mode 100644 index 0000000000..c3c9b12bdd --- /dev/null +++ b/lib/dialyzer/test/race_SUITE_data/results/ets_insert_args10 @@ -0,0 +1,2 @@ + +ets_insert_args10.erl:9: The call ets:insert(T::'foo',[{'counter',number()},...]) might have an unintended effect due to a possible race condition caused by its combination with the ets:lookup(T::'foo','counter') call in ets_insert_args10.erl on line 8 -- cgit v1.2.3