File 0192-Eliminate-crash-in-dialyzer.patch of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 0192-Eliminate-crash-in-dialyzer.patch of Package erlang (Revision caf6c4745410688438405cbcdeae702f)

Currently displaying revision caf6c4745410688438405cbcdeae702f , Show latest

From 11773a8d5cc0e8fd991d94be3065e6a4f05219fb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Gustavsson?= <bjorn@erlang.org>
Date: Wed, 9 Jun 2021 13:58:28 +0200
Subject: [PATCH] Eliminate crash in dialyzer

---
 lib/dialyzer/src/dialyzer_dep.erl |  7 +++++--
 lib/dialyzer/test/plt_SUITE.erl   | 14 ++++++++++++++
 2 files changed, 19 insertions(+), 2 deletions(-)

diff --git a/lib/dialyzer/src/dialyzer_dep.erl b/lib/dialyzer/src/dialyzer_dep.erl
index d4d1feeae0..91cb186517 100644
--- a/lib/dialyzer/src/dialyzer_dep.erl
+++ b/lib/dialyzer/src/dialyzer_dep.erl
@@ -181,8 +181,11 @@ traverse(Tree, Out, State, CurrentFun) ->
       {ActionFuns, State3} = traverse(Action, Out, State2, CurrentFun),
       {merge_outs([ClauseFuns, ActionFuns]), State3};
     seq ->
-      {_, State1} = traverse(cerl:seq_arg(Tree), Out, State, CurrentFun),
-      traverse(cerl:seq_body(Tree), Out, State1, CurrentFun);
+      OldNumRvals = state__num_rvals(State),
+      State1 = state__store_num_rvals(1, State),
+      {_, State2} = traverse(cerl:seq_arg(Tree), Out, State1, CurrentFun),
+      State3 = state__store_num_rvals(OldNumRvals, State2),
+      traverse(cerl:seq_body(Tree), Out, State3, CurrentFun);
     'try' ->
       Arg = cerl:try_arg(Tree),
       Body = cerl:try_body(Tree),
diff --git a/lib/dialyzer/test/plt_SUITE.erl b/lib/dialyzer/test/plt_SUITE.erl
index 0c7078b9bf..033c8d8b6b 100644
--- a/lib/dialyzer/test/plt_SUITE.erl
+++ b/lib/dialyzer/test/plt_SUITE.erl
@@ -412,6 +412,20 @@ demo_fun(_Arg) ->
             [ ok || _ <- [] ]
     end,
     _Res.
+
+handle_info() ->
+    case chids_to_audit() of
+        {ChIds, St2} ->
+            [ ChId || ChId <- ChIds ],
+            ok
+    end,
+    check_done(St2).
+
+chids_to_audit() ->
+    some_module:get_audit_list().
+
+check_done(_) ->
+    ok.
     ">>,
     {ok, BeamFile} = compile(Config, Prog, letrec_rvals, []),
     [] = run_dialyzer(plt_build, [BeamFile], [{output_plt, Plt}]),
-- 
2.26.2

Places

File 0192-Eliminate-crash-in-dialyzer.patch of Package erlang (Revision caf6c4745410688438405cbcdeae702f)

Places