diff options
| author | Stavros Aronis <[email protected]> | 2012-09-05 16:42:10 +0200 |
|---|---|---|
| committer | Stavros Aronis <[email protected]> | 2012-09-26 11:05:07 +0200 |
| commit | fc17b0ed2bc905b51ed4c4ea5f13efd866bc4f80 (patch) | |
| tree | d96f08aa1cdaaa82519224656f46909bb1f60993 /lib/dialyzer/src/dialyzer_analysis_callgraph.erl | |
| parent | f985ec421d2a9da3186445157f82185c7c4dea72 (diff) | |
| download | otp-fc17b0ed2bc905b51ed4c4ea5f13efd866bc4f80.tar.gz otp-fc17b0ed2bc905b51ed4c4ea5f13efd866bc4f80.tar.bz2 otp-fc17b0ed2bc905b51ed4c4ea5f13efd866bc4f80.zip | |
Remove old untested experimental extension
This extension allowed minimal detection of race conditions that were passing
through behaviour API calls, but had no tests in any suite and also caused a
crash in R15B02.
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)), |