diff options
| author | Hans Bolinder <[email protected]> | 2017-03-16 08:46:44 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2017-06-13 13:40:25 +0200 |
| commit | ac54f561d3dd6e9a576886c9337f97149894a87f (patch) | |
| tree | cf9a6470c44de7aec5d338ece98b99e1d704d43d | |
| parent | fb8ba56ae848b29a5b9060c21fe8c30e9df435e9 (diff) | |
| download | otp-ac54f561d3dd6e9a576886c9337f97149894a87f.tar.gz otp-ac54f561d3dd6e9a576886c9337f97149894a87f.tar.bz2 otp-ac54f561d3dd6e9a576886c9337f97149894a87f.zip | |
dialyzer: Rearrange some code to save memory
| -rw-r--r-- | lib/dialyzer/src/dialyzer_succ_typings.erl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/dialyzer/src/dialyzer_succ_typings.erl b/lib/dialyzer/src/dialyzer_succ_typings.erl index 66c6c5e9ed..93f7d4519b 100644 --- a/lib/dialyzer/src/dialyzer_succ_typings.erl +++ b/lib/dialyzer/src/dialyzer_succ_typings.erl @@ -162,13 +162,13 @@ get_warnings_from_modules(Mods, State, DocPlt) -> collect_warnings(M, {Codeserver, Callgraph, Plt, DocPlt}) -> ModCode = dialyzer_codeserver:lookup_mod_code(M, Codeserver), - Records = dialyzer_codeserver:lookup_mod_records(M, Codeserver), Contracts = dialyzer_codeserver:lookup_mod_contracts(M, Codeserver), AllFuns = collect_fun_info([ModCode]), %% Check if there are contracts for functions that do not exist Warnings1 = dialyzer_contracts:contracts_without_fun(Contracts, AllFuns, Callgraph), Attrs = cerl:module_attrs(ModCode), + Records = dialyzer_codeserver:lookup_mod_records(M, Codeserver), {Warnings2, FunTypes} = dialyzer_dataflow:get_warnings(ModCode, Plt, Callgraph, Codeserver, Records), @@ -251,8 +251,8 @@ lookup_names(Labels, {_Codeserver, Callgraph, _Plt, _Solvers}) -> refine_one_module(M, {CodeServer, Callgraph, Plt, _Solvers}) -> ModCode = dialyzer_codeserver:lookup_mod_code(M, CodeServer), AllFuns = collect_fun_info([ModCode]), - Records = dialyzer_codeserver:lookup_mod_records(M, CodeServer), FunTypes = get_fun_types_from_plt(AllFuns, Callgraph, Plt), + Records = dialyzer_codeserver:lookup_mod_records(M, CodeServer), NewFunTypes = dialyzer_dataflow:get_fun_types(ModCode, Plt, Callgraph, CodeServer, Records), Contracts1 = dialyzer_codeserver:lookup_mod_contracts(M, CodeServer), |