aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorStavros Aronis <[email protected]>2012-02-15 17:43:31 +0100
committerHenrik Nord <[email protected]>2012-05-21 15:31:17 +0200
commitf9d9c9d12a30728de8551c982d9d07550ba4e4c1 (patch)
tree31754f38d4ad95b18c9af181d9f3ea1979e6c11e
parentffadf7f6f8a113fbcc42a2be36d2dd5c841d48e3 (diff)
downloadotp-f9d9c9d12a30728de8551c982d9d07550ba4e4c1.tar.gz
otp-f9d9c9d12a30728de8551c982d9d07550ba4e4c1.tar.bz2
otp-f9d9c9d12a30728de8551c982d9d07550ba4e4c1.zip
Refactorings in succ_typings
-rw-r--r--lib/dialyzer/src/dialyzer_succ_typings.erl8
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/dialyzer/src/dialyzer_succ_typings.erl b/lib/dialyzer/src/dialyzer_succ_typings.erl
index af935f54f7..740081a33f 100644
--- a/lib/dialyzer/src/dialyzer_succ_typings.erl
+++ b/lib/dialyzer/src/dialyzer_succ_typings.erl
@@ -213,22 +213,22 @@ refine_one_module(M, State) ->
#st{callgraph = Callgraph, codeserver = CodeServer, plt = PLT} = State,
ModCode = dialyzer_codeserver:lookup_mod_code(M, CodeServer),
AllFuns = collect_fun_info([ModCode]),
- FunTypes = get_fun_types_from_plt(AllFuns, Callgraph, PLT),
Records = dialyzer_codeserver:lookup_mod_records(M, CodeServer),
{NewFunTypes, RaceCode, PublicTables, NamedTables} =
dialyzer_dataflow:get_fun_types(ModCode, PLT, Callgraph, Records),
NewCallgraph =
dialyzer_callgraph:renew_race_info(Callgraph, RaceCode, PublicTables,
NamedTables),
+ FunTypes = get_fun_types_from_plt(AllFuns, Callgraph, PLT),
+ State1 = st__renew_state_calls(NewCallgraph, State),
case reached_fixpoint(FunTypes, NewFunTypes) of
true ->
- State1 = st__renew_state_calls(NewCallgraph, State),
{State1, ordsets:new()};
{false, NotFixpoint} ->
?debug("Not fixpoint\n", []),
NewPlt = insert_into_plt(dict:from_list(NotFixpoint), Callgraph, PLT),
- NewState1 = st__renew_state_calls(NewCallgraph, State#st{plt = NewPlt}),
- {NewState1, ordsets:from_list([FunLbl || {FunLbl,_Type} <- NotFixpoint])}
+ {State1#st{plt = NewPlt},
+ ordsets:from_list([FunLbl || {FunLbl,_Type} <- NotFixpoint])}
end.
st__renew_state_calls(Callgraph, State) ->