diff options
| author | Stavros Aronis <[email protected]> | 2012-03-05 10:38:01 +0100 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2012-05-21 15:31:21 +0200 |
| commit | 49ccc5df4f2f64ff19dd5751523c8ba45adaf658 (patch) | |
| tree | 4215ac243515cee7fb2e66318784a9eb81a1b43a /lib/typer | |
| parent | ec142ae5c0696bb7893a67ff6356c7da3369a7fc (diff) | |
| download | otp-49ccc5df4f2f64ff19dd5751523c8ba45adaf658.tar.gz otp-49ccc5df4f2f64ff19dd5751523c8ba45adaf658.tar.bz2 otp-49ccc5df4f2f64ff19dd5751523c8ba45adaf658.zip | |
Better reflect side-effect based code in dialyzer_callgraph
Diffstat (limited to 'lib/typer')
| -rw-r--r-- | lib/typer/src/typer.erl | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/typer/src/typer.erl b/lib/typer/src/typer.erl index 0d72014427..a6de109766 100644 --- a/lib/typer/src/typer.erl +++ b/lib/typer/src/typer.erl @@ -902,9 +902,9 @@ analyze_core_tree(Core, Records, SpecInfo, CbInfo, ExpTypes, Analysis, File) -> MergedExpTypes = sets:union(ExpTypes, OldExpTypes), CS6 = dialyzer_codeserver:insert_temp_exported_types(MergedExpTypes, CS5), Ex_Funcs = [{0,F,A} || {_,_,{F,A}} <- cerl:module_exports(Tree)], - TmpCG = Analysis#analysis.callgraph, - {V, E} = dialyzer_callgraph:scan_core_tree(Tree, TmpCG), - CG = dialyzer_callgraph:add_edges(E, V, TmpCG), + CG = Analysis#analysis.callgraph, + {V, E} = dialyzer_callgraph:scan_core_tree(Tree, CG), + dialyzer_callgraph:add_edges(E, V, CG), Fun = fun analyze_one_function/2, All_Defs = cerl:module_defs(Tree), Acc = lists:foldl(Fun, #tmpAcc{file = File, module = Module}, All_Defs), |