diff options
| author | Stavros Aronis <[email protected]> | 2011-11-08 14:17:24 +0100 |
|---|---|---|
| committer | Stavros Aronis <[email protected]> | 2011-11-18 14:42:56 +0100 |
| commit | 191151eca1779da7ccc8244b5dca0891ebf5b62d (patch) | |
| tree | ba9262f5675596e817a5fa4f5d2b02208247d6c1 /lib/dialyzer/src/dialyzer_analysis_callgraph.erl | |
| parent | 93aa83a1646e0b8e69dea1d8aad13bb3a9b73de9 (diff) | |
| download | otp-191151eca1779da7ccc8244b5dca0891ebf5b62d.tar.gz otp-191151eca1779da7ccc8244b5dca0891ebf5b62d.tar.bz2 otp-191151eca1779da7ccc8244b5dca0891ebf5b62d.zip | |
Store callbacks in codeserver and PLT
Diffstat (limited to 'lib/dialyzer/src/dialyzer_analysis_callgraph.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_analysis_callgraph.erl | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/lib/dialyzer/src/dialyzer_analysis_callgraph.erl b/lib/dialyzer/src/dialyzer_analysis_callgraph.erl index 983f1ceefa..1f462c216b 100644 --- a/lib/dialyzer/src/dialyzer_analysis_callgraph.erl +++ b/lib/dialyzer/src/dialyzer_analysis_callgraph.erl @@ -352,9 +352,11 @@ compile_common(File, AbstrCode, CompOpts, Callgraph, CServer, UseContracts) -> true -> case dialyzer_utils:get_spec_info(Mod, AbstrCode, RecInfo) of {error, _} = Error -> Error; - {ok, SpecInfo, _CallbackInfo} -> + {ok, SpecInfo, CallbackInfo} -> CServer2 = - dialyzer_codeserver:store_temp_contracts(Mod, SpecInfo, CServer1), + dialyzer_codeserver:store_temp_contracts(Mod, SpecInfo, + CallbackInfo, + CServer1), store_core(Mod, Core, NoWarn, Callgraph, CServer2) end; false -> |