diff options
author | Henrik Nord <[email protected]> | 2012-10-03 15:20:09 +0200 |
---|---|---|
committer | Henrik Nord <[email protected]> | 2012-10-03 15:20:09 +0200 |
commit | 197b7b99b9e7e70046d51fa90b5922a1b22ee8cc (patch) | |
tree | 3b11293ba7a0ab2229b5b3b9da072be041f29c0f /lib/dialyzer/src/dialyzer_analysis_callgraph.erl | |
parent | 54e7cc9086908a0e5642caa6ac3680557acc5a67 (diff) | |
parent | ab151d0adebc31fbb74adffa69e4524f69dc8b62 (diff) | |
download | otp-197b7b99b9e7e70046d51fa90b5922a1b22ee8cc.tar.gz otp-197b7b99b9e7e70046d51fa90b5922a1b22ee8cc.tar.bz2 otp-197b7b99b9e7e70046d51fa90b5922a1b22ee8cc.zip |
Merge branch 'maint'
Diffstat (limited to 'lib/dialyzer/src/dialyzer_analysis_callgraph.erl')
-rw-r--r-- | lib/dialyzer/src/dialyzer_analysis_callgraph.erl | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/lib/dialyzer/src/dialyzer_analysis_callgraph.erl b/lib/dialyzer/src/dialyzer_analysis_callgraph.erl index c237d4e0e9..86618a4915 100644 --- a/lib/dialyzer/src/dialyzer_analysis_callgraph.erl +++ b/lib/dialyzer/src/dialyzer_analysis_callgraph.erl @@ -326,13 +326,6 @@ cleanup_callgraph(#analysis_state{plt = InitPlt, parent = Parent, ModuleDeps = dialyzer_callgraph:module_deps(Callgraph), send_mod_deps(Parent, ModuleDeps), {Callgraph1, ExtCalls} = dialyzer_callgraph:remove_external(Callgraph), - RelevantAPICalls = - dialyzer_behaviours:get_behaviour_apis([gen_server]), - BehaviourAPICalls = [Call || {_From, To} = Call <- ExtCalls, - lists:member(To, RelevantAPICalls)], - Callgraph2 = - dialyzer_callgraph:put_behaviour_api_calls(BehaviourAPICalls, - Callgraph1), ExtCalls1 = [Call || Call = {_From, To} <- ExtCalls, not dialyzer_plt:contains_mfa(InitPlt, To)], {BadCalls1, RealExtCalls} = @@ -355,7 +348,7 @@ cleanup_callgraph(#analysis_state{plt = InitPlt, parent = Parent, true -> send_ext_calls(Parent, lists:usort([To || {_From, To} <- RealExtCalls])) end, - Callgraph2. + Callgraph1. compile_src(File, Includes, Defines, Callgraph, CServer, UseContracts) -> DefaultIncludes = default_includes(filename:dirname(File)), |