diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_callgraph.erl | 20 | ||||
| -rw-r--r-- | lib/dialyzer/src/dialyzer_succ_typings.erl | 2 |
2 files changed, 1 insertions, 21 deletions
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)), |