diff options
| author | Stavros Aronis <[email protected]> | 2012-02-22 16:48:42 +0100 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2012-05-21 15:31:20 +0200 |
| commit | 44b23610234bf4028aedd326388bec503aee1026 (patch) | |
| tree | 8aa248853feb26316df7dd989e187d30c632eaee /lib/dialyzer/src/dialyzer_coordinator.erl | |
| parent | b3f3b14737ca72e218f344120a72293aed1bb00f (diff) | |
| download | otp-44b23610234bf4028aedd326388bec503aee1026.tar.gz otp-44b23610234bf4028aedd326388bec503aee1026.tar.bz2 otp-44b23610234bf4028aedd326388bec503aee1026.zip | |
Coordinator translates functions requiring further analysis
Diffstat (limited to 'lib/dialyzer/src/dialyzer_coordinator.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_coordinator.erl | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/lib/dialyzer/src/dialyzer_coordinator.erl b/lib/dialyzer/src/dialyzer_coordinator.erl index 1dc3e97f7c..1921f96b78 100644 --- a/lib/dialyzer/src/dialyzer_coordinator.erl +++ b/lib/dialyzer/src/dialyzer_coordinator.erl @@ -221,12 +221,14 @@ handle_cast({done, Job, NewData}, spawn_count = SpawnCount, all_spawned = AllSpawned, result = OldResult, - job_to_pid = JobToPID + job_to_pid = JobToPID, + init_job_data = Servers } = State) -> {NewResult, NewJobToPID} = case Mode of X when X =:= 'typesig'; X =:= 'dataflow' -> - {ordsets:union(OldResult, NewData), dict:erase(Job, JobToPID)}; + FinalData = dialyzer_succ_typings:lookup_names(NewData, Servers), + {ordsets:union(OldResult, FinalData), dict:erase(Job, JobToPID)}; 'compile' -> {dialyzer_analysis_callgraph:add_to_result(Job, NewData, OldResult), JobToPID}; |