File 2008-dialyzer_typesig-Simplify-add_def_from_tre... of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 2008-dialyzer_typesig-Simplify-add_def_from_tree-2.patch of Package erlang

From 8b3501d9d03b064984a81286ffd204195fddc756 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Gustavsson?= <bjorn@erlang.org>
Date: Tue, 14 Sep 2021 06:50:15 +0200
Subject: [PATCH 08/20] dialyzer_typesig: Simplify add_def_from_tree/2

Less garbage will be built.
---
 lib/dialyzer/src/dialyzer_typesig.erl | 15 ++++++++-------
 1 file changed, 8 insertions(+), 7 deletions(-)

diff --git a/lib/dialyzer/src/dialyzer_typesig.erl b/lib/dialyzer/src/dialyzer_typesig.erl
index b66d547d2c..66c6e2ec3e 100644
--- a/lib/dialyzer/src/dialyzer_typesig.erl
+++ b/lib/dialyzer/src/dialyzer_typesig.erl
@@ -643,13 +643,14 @@ add_def_list([], Set) ->
   Set.
 
 add_def_from_tree(T, DefinedVars) ->
-  Vars = cerl_trees:fold(fun(X, Acc) ->
-			     case cerl:is_c_var(X) of
-			       true -> [X|Acc];
-			       false -> Acc
-			     end
-			 end, [], T),
-  add_def_list(Vars, DefinedVars).
+  cerl_trees:fold(fun(X, Set) ->
+                      case cerl:is_c_var(X) of
+                        true ->
+                          add_def(X, Set);
+                        false ->
+                          Set
+                      end
+                  end, DefinedVars, T).
 
 add_def_from_tree_list([H|T], DefinedVars) ->
   add_def_from_tree_list(T, add_def_from_tree(H, DefinedVars));
-- 
2.31.1

Places

File 2008-dialyzer_typesig-Simplify-add_def_from_tree-2.patch of Package erlang

Places