aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src/dialyzer_analysis_callgraph.erl
diff options
context:
space:
mode:
authorKostis Sagonas <[email protected]>2012-08-24 17:03:31 +0200
committerKostis Sagonas <[email protected]>2012-08-24 17:03:31 +0200
commitab32117d6edeaaf36d8842a74848a338c1bc8f14 (patch)
tree3e792903abee3189b5e384f74e2d3a0352aa7410 /lib/dialyzer/src/dialyzer_analysis_callgraph.erl
parent3ce276a09e93493dce296737e3e86147381d4d96 (diff)
downloadotp-ab32117d6edeaaf36d8842a74848a338c1bc8f14.tar.gz
otp-ab32117d6edeaaf36d8842a74848a338c1bc8f14.tar.bz2
otp-ab32117d6edeaaf36d8842a74848a338c1bc8f14.zip
Stop a forgotten server process
Dialyzer forgot to stop a server process before finishing its analysis. This is a concurrency error detected by Concuerror.
Diffstat (limited to 'lib/dialyzer/src/dialyzer_analysis_callgraph.erl')
-rw-r--r--lib/dialyzer/src/dialyzer_analysis_callgraph.erl1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/dialyzer/src/dialyzer_analysis_callgraph.erl b/lib/dialyzer/src/dialyzer_analysis_callgraph.erl
index f42ce85b83..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),