diff options
| author | Stavros Aronis <[email protected]> | 2012-09-05 18:25:48 +0200 |
|---|---|---|
| committer | Stavros Aronis <[email protected]> | 2012-09-26 11:06:43 +0200 |
| commit | 5e766039bb990ac17a9559301ad1599e250bf9e7 (patch) | |
| tree | 4cb107d4f12ee360332c330d4b0367c757f49ca8 /lib/dialyzer/test/race_SUITE_data/results | |
| parent | fc17b0ed2bc905b51ed4c4ea5f13efd866bc4f80 (diff) | |
| download | otp-5e766039bb990ac17a9559301ad1599e250bf9e7.tar.gz otp-5e766039bb990ac17a9559301ad1599e250bf9e7.tar.bz2 otp-5e766039bb990ac17a9559301ad1599e250bf9e7.zip | |
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.
Diffstat (limited to 'lib/dialyzer/test/race_SUITE_data/results')
| -rw-r--r-- | lib/dialyzer/test/race_SUITE_data/results/ets_insert_args10 | 2 |
1 files changed, 2 insertions, 0 deletions
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 |