diff options
| author | Stavros Aronis <[email protected]> | 2012-01-23 16:40:42 +0100 |
|---|---|---|
| committer | Stavros Aronis <[email protected]> | 2012-02-22 14:13:19 +0100 |
| commit | 7a99d71dd3f003bc6179bb69569ece27b38b57eb (patch) | |
| tree | 79d680efdc73535e7f4d67c49bec0d1c64c7bcf8 /lib/dialyzer/src/dialyzer_dataflow.erl | |
| parent | 4ca72667f3e655d175c7587b8998aa7d22f50985 (diff) | |
| download | otp-7a99d71dd3f003bc6179bb69569ece27b38b57eb.tar.gz otp-7a99d71dd3f003bc6179bb69569ece27b38b57eb.tar.bz2 otp-7a99d71dd3f003bc6179bb69569ece27b38b57eb.zip | |
Cleanups in dialyzer_callgraph and dialyzer_dataflow
Refactorings, code movements and reflection of mutable variables in the code.
Diffstat (limited to 'lib/dialyzer/src/dialyzer_dataflow.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_dataflow.erl | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/dialyzer/src/dialyzer_dataflow.erl b/lib/dialyzer/src/dialyzer_dataflow.erl index 887b2dd049..aba13278ff 100644 --- a/lib/dialyzer/src/dialyzer_dataflow.erl +++ b/lib/dialyzer/src/dialyzer_dataflow.erl @@ -272,6 +272,7 @@ analyze_module(Tree, Plt, Callgraph, Records, GetWarnings) -> debug_pp(Tree, false), Module = cerl:atom_val(cerl:module_name(Tree)), RaceDetection = dialyzer_callgraph:get_race_detection(Callgraph), + RaceCode = dialyzer_callgraph:get_race_code(Callgraph), BehaviourTranslations = case RaceDetection of true -> dialyzer_behaviours:translatable_behaviours(Tree); @@ -282,9 +283,6 @@ analyze_module(Tree, Plt, Callgraph, Records, GetWarnings) -> TopFun, Plt, Module, Records, BehaviourTranslations), State1 = state__race_analysis(not GetWarnings, State), State2 = analyze_loop(State1), - RaceCode = dialyzer_callgraph:get_race_code(Callgraph), - Callgraph1 = State2#state.callgraph, - RaceCode1 = dialyzer_callgraph:get_race_code(Callgraph1), case GetWarnings of true -> State3 = state__set_warning_mode(State2), @@ -309,6 +307,8 @@ analyze_module(Tree, Plt, Callgraph, Records, GetWarnings) -> St#state{callgraph = Callgraph3} end; false -> + Callgraph1 = State2#state.callgraph, + RaceCode1 = dialyzer_callgraph:get_race_code(Callgraph1), state__restore_race_code( dict:merge(fun (_K, V1, _V2) -> V1 end, RaceCode, RaceCode1), State2) |