Skip to content

Commit

Permalink
Remove needless conversion
Browse files Browse the repository at this point in the history
The final version of the callgraph needs not be "reduced" for more efficient
copying.
  • Loading branch information
aronisstav authored and proxyles committed May 21, 2012
1 parent 76b7c72 commit d24d65f
Show file tree
Hide file tree
Showing 2 changed files with 1 addition and 21 deletions.
20 changes: 0 additions & 20 deletions lib/dialyzer/src/dialyzer_callgraph.erl
Expand Up @@ -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,
Expand Down Expand Up @@ -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}) ->
Expand Down
2 changes: 1 addition & 1 deletion lib/dialyzer/src/dialyzer_succ_typings.erl
Expand Up @@ -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)),
Expand Down

0 comments on commit d24d65f

Please sign in to comment.