aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src
diff options
context:
space:
mode:
authorStavros Aronis <[email protected]>2012-02-27 21:41:01 +0100
committerHenrik Nord <[email protected]>2012-05-21 15:31:20 +0200
commite21f6ea9d28b0e8ed9609338499daaab306fa439 (patch)
tree5385369b0fa12a51e4132c37034a04e49b9faaee /lib/dialyzer/src
parent0ecc1f181062da8b019f226ae2c567078ee2e860 (diff)
downloadotp-e21f6ea9d28b0e8ed9609338499daaab306fa439.tar.gz
otp-e21f6ea9d28b0e8ed9609338499daaab306fa439.tar.bz2
otp-e21f6ea9d28b0e8ed9609338499daaab306fa439.zip
Plain concatenation for typesig not-fixpoint list
Diffstat (limited to 'lib/dialyzer/src')
-rw-r--r--lib/dialyzer/src/dialyzer_coordinator.erl2
-rw-r--r--lib/dialyzer/src/dialyzer_succ_typings.erl7
2 files changed, 4 insertions, 5 deletions
diff --git a/lib/dialyzer/src/dialyzer_coordinator.erl b/lib/dialyzer/src/dialyzer_coordinator.erl
index 91a0dd662d..24bc38616c 100644
--- a/lib/dialyzer/src/dialyzer_coordinator.erl
+++ b/lib/dialyzer/src/dialyzer_coordinator.erl
@@ -260,7 +260,7 @@ handle_cast({done, Job, NewData},
case Mode of
X when X =:= 'typesig'; X =:= 'dataflow' ->
FinalData = dialyzer_succ_typings:lookup_names(NewData, Servers),
- ordsets:union(OldResult, FinalData);
+ FinalData ++ OldResult;
'compile' ->
dialyzer_analysis_callgraph:add_to_result(Job, NewData, OldResult);
'warnings' ->
diff --git a/lib/dialyzer/src/dialyzer_succ_typings.erl b/lib/dialyzer/src/dialyzer_succ_typings.erl
index 2856a26169..ff4102f5a3 100644
--- a/lib/dialyzer/src/dialyzer_succ_typings.erl
+++ b/lib/dialyzer/src/dialyzer_succ_typings.erl
@@ -258,12 +258,11 @@ refine_one_module(M, {CodeServer, Callgraph, Plt}) ->
NewFunTypes =
dialyzer_dataflow:get_fun_types(ModCode, Plt, Callgraph, Records),
case reached_fixpoint(FunTypes, NewFunTypes) of
- true ->
- ordsets:new();
+ true -> [];
{false, NotFixpoint} ->
?debug("Not fixpoint\n", []),
Plt = insert_into_plt(dict:from_list(NotFixpoint), Callgraph, Plt),
- ordsets:from_list([FunLbl || {FunLbl,_Type} <- NotFixpoint])
+ [FunLbl || {FunLbl,_Type} <- NotFixpoint]
end.
reached_fixpoint(OldTypes, NewTypes) ->
@@ -382,7 +381,7 @@ find_succ_types_for_scc(SCC, {Codeserver, Callgraph, Plt}) ->
true -> [];
false ->
?debug("Not fixpoint for: ~w\n", [AllFuns]),
- ordsets:from_list([Fun || {Fun, _Arity} <- AllFuns])
+ [Fun || {Fun, _Arity} <- AllFuns]
end.
get_fun_types_from_plt(FunList, Callgraph, Plt) ->