diff options
| author | Stavros Aronis <[email protected]> | 2012-02-16 16:04:43 +0100 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2012-05-21 15:31:17 +0200 |
| commit | 7640a30bbd0a45ccea356bd9f9393c445471cbc4 (patch) | |
| tree | a10e7efa47da7d6d38423939382e16aa97231597 /lib/dialyzer/src/dialyzer_races.erl | |
| parent | 0ac8c2e3c9c9a6910a170c2a98319400afc25959 (diff) | |
| download | otp-7640a30bbd0a45ccea356bd9f9393c445471cbc4.tar.gz otp-7640a30bbd0a45ccea356bd9f9393c445471cbc4.tar.bz2 otp-7640a30bbd0a45ccea356bd9f9393c445471cbc4.zip | |
Remove unused race detection related code
Diffstat (limited to 'lib/dialyzer/src/dialyzer_races.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_races.erl | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/dialyzer/src/dialyzer_races.erl b/lib/dialyzer/src/dialyzer_races.erl index cc635b0eef..89b45990d9 100644 --- a/lib/dialyzer/src/dialyzer_races.erl +++ b/lib/dialyzer/src/dialyzer_races.erl @@ -36,6 +36,7 @@ -export([beg_clause_new/3, cleanup/1, end_case_new/1, end_clause_new/3, get_curr_fun/1, get_curr_fun_args/1, get_new_table/1, get_race_analysis/1, get_race_list/1, get_race_list_size/1, + get_race_list_and_size/1, let_tag_new/2, new/0, put_curr_fun/3, put_fun_args/2, put_race_analysis/2, put_race_list/3]). @@ -2434,6 +2435,12 @@ get_race_list(#races{race_list = RaceList}) -> get_race_list_size(#races{race_list_size = RaceListSize}) -> RaceListSize. +-spec get_race_list_and_size(races()) -> {code(), non_neg_integer()}. + +get_race_list_and_size(#races{race_list = RaceList, + race_list_size = RaceListSize}) -> + {RaceList, RaceListSize}. + -spec let_tag_new(var_to_map1(), var_to_map1()) -> #let_tag{}. let_tag_new(Var, Arg) -> |