From d24d65f1a76871d3e9c8f5c19f0b4ace6de393aa Mon Sep 17 00:00:00 2001 From: Stavros Aronis Date: Wed, 21 Mar 2012 16:34:58 +0100 Subject: Remove needless conversion The final version of the callgraph needs not be "reduced" for more efficient copying. --- lib/dialyzer/src/dialyzer_callgraph.erl | 20 -------------------- lib/dialyzer/src/dialyzer_succ_typings.erl | 2 +- 2 files changed, 1 insertion(+), 21 deletions(-) (limited to 'lib') diff --git a/lib/dialyzer/src/dialyzer_callgraph.erl b/lib/dialyzer/src/dialyzer_callgraph.erl index d6307ec658..327092e23c 100644 --- a/lib/dialyzer/src/dialyzer_callgraph.erl +++ b/lib/dialyzer/src/dialyzer_callgraph.erl @@ -44,7 +44,6 @@ %% module_postorder/1, module_postorder_from_funs/2, new/0, - mini_callgraph/1, get_depends_on/2, get_required_by/2, in_neighbours/2, @@ -129,25 +128,6 @@ new() -> self_rec = ETSSelfRec, calls = ETSCalls}. --spec mini_callgraph(callgraph()) -> callgraph(). - -mini_callgraph(#callgraph{digraph = Digraph, - active_digraph = ActiveDigraph, - esc = Esc, - name_map = NameMap, - rev_name_map = RevNameMap, - rec_var_map = RecVarMap, - self_rec = SelfRecs, - calls = Calls}) -> - #callgraph{digraph = Digraph, - active_digraph = ActiveDigraph, - esc = Esc, - name_map = NameMap, - rev_name_map = RevNameMap, - rec_var_map = RecVarMap, - self_rec = SelfRecs, - calls = Calls}. - -spec delete(callgraph()) -> 'true'. delete(#callgraph{digraph = Digraph}) -> diff --git a/lib/dialyzer/src/dialyzer_succ_typings.erl b/lib/dialyzer/src/dialyzer_succ_typings.erl index b980e43ecc..9f61f9ff6f 100644 --- a/lib/dialyzer/src/dialyzer_succ_typings.erl +++ b/lib/dialyzer/src/dialyzer_succ_typings.erl @@ -314,7 +314,7 @@ compare_types_1([], [], _Strict, NotFixpoint) -> find_succ_typings(SCCs, #st{codeserver = Codeserver, callgraph = Callgraph, plt = Plt} = State) -> - Init = {Codeserver, dialyzer_callgraph:mini_callgraph(Callgraph), Plt}, + Init = {Codeserver, Callgraph, Plt}, NotFixpoint = ?timing("typesig", dialyzer_coordinator:parallel_job(typesig, SCCs, Init)), -- cgit v1.2.3