diff options
author | Fredrik Gustafsson <[email protected]> | 2012-08-28 09:07:55 +0200 |
---|---|---|
committer | Fredrik Gustafsson <[email protected]> | 2012-08-28 09:07:55 +0200 |
commit | b738eab037f65e24a455b18c08725812d4413375 (patch) | |
tree | e44984eeafea8a1d4f1371f213baecbf929dfb7c /lib/dialyzer/src/dialyzer_analysis_callgraph.erl | |
parent | fc0810e88f780092f009fef43fc525c958981770 (diff) | |
parent | 4b4201f18b37c039eb665213289262e46d0f8f7e (diff) | |
download | otp-b738eab037f65e24a455b18c08725812d4413375.tar.gz otp-b738eab037f65e24a455b18c08725812d4413375.tar.bz2 otp-b738eab037f65e24a455b18c08725812d4413375.zip |
Merge branch 'maint'
Diffstat (limited to 'lib/dialyzer/src/dialyzer_analysis_callgraph.erl')
-rw-r--r-- | lib/dialyzer/src/dialyzer_analysis_callgraph.erl | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/lib/dialyzer/src/dialyzer_analysis_callgraph.erl b/lib/dialyzer/src/dialyzer_analysis_callgraph.erl index 496d317f8a..c237d4e0e9 100644 --- a/lib/dialyzer/src/dialyzer_analysis_callgraph.erl +++ b/lib/dialyzer/src/dialyzer_analysis_callgraph.erl @@ -184,6 +184,7 @@ analysis_start(Parent, Analysis) -> false -> Callgraph end, State3 = analyze_callgraph(NewCallgraph, State2#analysis_state{plt = Plt1}), + dialyzer_callgraph:dispose_race_server(NewCallgraph), rcv_and_send_ext_types(Parent), NonExports = sets:subtract(sets:from_list(AllNodes), Exports), NonExportsList = sets:to_list(NonExports), @@ -519,9 +520,10 @@ rcv_and_send_ext_types(Parent) -> Self ! {Self, done}, case rcv_ext_types(Self, []) of [] -> ok; - ExtTypes -> Parent ! {Self, ext_types, ExtTypes} - end, - ok. + ExtTypes -> + Parent ! {Self, ext_types, ExtTypes}, + ok + end. rcv_ext_types(Self, ExtTypes) -> receive |