diff options
| author | Stavros Aronis <[email protected]> | 2011-12-22 19:50:13 +0200 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2012-05-21 15:31:16 +0200 |
| commit | 8a3ea1fa45cac31cdc1241a6ea1e1a0d857c1429 (patch) | |
| tree | d45d980b26da73eb845fa5de9f5bc98406779f9a /lib/dialyzer/src/dialyzer_analysis_callgraph.erl | |
| parent | 70a98e31f56ef96383a25c71507c39875979f86c (diff) | |
| download | otp-8a3ea1fa45cac31cdc1241a6ea1e1a0d857c1429.tar.gz otp-8a3ea1fa45cac31cdc1241a6ea1e1a0d857c1429.tar.bz2 otp-8a3ea1fa45cac31cdc1241a6ea1e1a0d857c1429.zip | |
Convert remaining codeserver fields to ETS tables
Diffstat (limited to 'lib/dialyzer/src/dialyzer_analysis_callgraph.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_analysis_callgraph.erl | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/lib/dialyzer/src/dialyzer_analysis_callgraph.erl b/lib/dialyzer/src/dialyzer_analysis_callgraph.erl index 2c4622155a..7221d81a72 100644 --- a/lib/dialyzer/src/dialyzer_analysis_callgraph.erl +++ b/lib/dialyzer/src/dialyzer_analysis_callgraph.erl @@ -348,12 +348,9 @@ compile_common(File, AbstrCode, CompOpts, Callgraph, CServer, UseContracts) -> store_core(Mod, Core, NoWarn, Callgraph, CServer) -> Exp = get_exports_from_core(Core), - OldExpTypes = dialyzer_codeserver:get_temp_exported_types(CServer), - NewExpTypes = get_exported_types_from_core(Core), - MergedExpTypes = sets:union(NewExpTypes, OldExpTypes), + ExpTypes = get_exported_types_from_core(Core), CServer1 = dialyzer_codeserver:insert_exports(Exp, CServer), - CServer2 = dialyzer_codeserver:insert_temp_exported_types(MergedExpTypes, - CServer1), + CServer2 = dialyzer_codeserver:insert_temp_exported_types(ExpTypes, CServer1), {LabeledCore, CServer3} = label_core(Core, CServer2), store_code_and_build_callgraph(Mod, LabeledCore, Callgraph, CServer3, NoWarn). |