diff options
| author | Stavros Aronis <[email protected]> | 2012-03-21 16:34:58 +0100 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2012-05-21 15:31:22 +0200 |
| commit | d24d65f1a76871d3e9c8f5c19f0b4ace6de393aa (patch) | |
| tree | d8cc5c8bdd290306c7e59a3a40be1acb6970ea9e /lib/dialyzer/src | |
| parent | 76b7c72882ee521a7c5a39d33ecf1009a72ee4e3 (diff) | |
| download | otp-d24d65f1a76871d3e9c8f5c19f0b4ace6de393aa.tar.gz otp-d24d65f1a76871d3e9c8f5c19f0b4ace6de393aa.tar.bz2 otp-d24d65f1a76871d3e9c8f5c19f0b4ace6de393aa.zip | |
Remove needless conversion
The final version of the callgraph needs not be "reduced" for more efficient
copying.
Diffstat (limited to 'lib/dialyzer/src')
| -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)), |