aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer
diff options
context:
space:
mode:
Diffstat (limited to 'lib/dialyzer')
-rw-r--r--lib/dialyzer/src/dialyzer_callgraph.erl20
-rw-r--r--lib/dialyzer/src/dialyzer_succ_typings.erl2
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)),