diff options
| author | Kostis Sagonas <[email protected]> | 2012-08-24 17:03:31 +0200 |
|---|---|---|
| committer | Kostis Sagonas <[email protected]> | 2012-08-24 17:03:31 +0200 |
| commit | ab32117d6edeaaf36d8842a74848a338c1bc8f14 (patch) | |
| tree | 3e792903abee3189b5e384f74e2d3a0352aa7410 /lib/dialyzer/src | |
| parent | 3ce276a09e93493dce296737e3e86147381d4d96 (diff) | |
| download | otp-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')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_analysis_callgraph.erl | 1 |
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), |