diff options
| author | Stavros Aronis <[email protected]> | 2012-02-15 17:43:31 +0100 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2012-05-21 15:31:17 +0200 |
| commit | f9d9c9d12a30728de8551c982d9d07550ba4e4c1 (patch) | |
| tree | 31754f38d4ad95b18c9af181d9f3ea1979e6c11e /lib/dialyzer/src/dialyzer_succ_typings.erl | |
| parent | ffadf7f6f8a113fbcc42a2be36d2dd5c841d48e3 (diff) | |
| download | otp-f9d9c9d12a30728de8551c982d9d07550ba4e4c1.tar.gz otp-f9d9c9d12a30728de8551c982d9d07550ba4e4c1.tar.bz2 otp-f9d9c9d12a30728de8551c982d9d07550ba4e4c1.zip | |
Refactorings in succ_typings
Diffstat (limited to 'lib/dialyzer/src/dialyzer_succ_typings.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_succ_typings.erl | 8 |
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) -> |