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_callgraph.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_callgraph.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_callgraph.erl | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/dialyzer/src/dialyzer_callgraph.erl b/lib/dialyzer/src/dialyzer_callgraph.erl index ddda27adb4..fd6bc89e25 100644 --- a/lib/dialyzer/src/dialyzer_callgraph.erl +++ b/lib/dialyzer/src/dialyzer_callgraph.erl @@ -49,6 +49,7 @@ in_neighbours/2, renew_race_info/4, renew_race_code/2, + renew_race_public_tables/2, reset_from_funs/2, scan_core_tree/2, strip_module_deps/2, @@ -248,6 +249,11 @@ renew_race_code(Races, #callgraph{race_code = RaceCode} = Callgraph) -> Code = lists:reverse(dialyzer_races:get_race_list(Races)), Callgraph#callgraph{race_code = dict:store(Fun, [FunArgs, Code], RaceCode)}. +-spec renew_race_public_tables(label(), callgraph()) -> callgraph(). + +renew_race_public_tables(VarLabel, #callgraph{public_tables = PT} = CG) -> + CG#callgraph{public_tables = ordsets:add_element(VarLabel, PT)}. + -spec get_depends_on(scc(), callgraph()) -> [scc()]. get_depends_on(SCC, #callgraph{active_digraph = DG}) -> |