File 2020-dialyzer_clean_core-Eliminate-unreachable-... of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 2020-dialyzer_clean_core-Eliminate-unreachable-code.patch of Package erlang

From 6f85d03e4f40ae5aa31159d5137bde3d3a1b409f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Gustavsson?= <bjorn@erlang.org>
Date: Tue, 14 Sep 2021 06:06:37 +0200
Subject: [PATCH 20/20] dialyzer_clean_core: Eliminate unreachable code

The Core Erlang code generated by the compiler no longer uses the
`receive` construct.
---
 lib/dialyzer/src/dialyzer_clean_core.erl | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/lib/dialyzer/src/dialyzer_clean_core.erl b/lib/dialyzer/src/dialyzer_clean_core.erl
index d591ad3473..071e2eccad 100644
--- a/lib/dialyzer/src/dialyzer_clean_core.erl
+++ b/lib/dialyzer/src/dialyzer_clean_core.erl
@@ -72,11 +72,6 @@ clean(Tree) ->
       Args = clean_list(cerl:primop_args(Tree)),
       Name = cerl:primop_name(Tree),
       cerl:update_c_primop(Tree, Name, Args);
-    'receive' ->
-      Clauses = clean_clauses(cerl:receive_clauses(Tree)),
-      Timeout = clean(cerl:receive_timeout(Tree)),
-      Action = clean(cerl:receive_action(Tree)),
-      cerl:update_c_receive(Tree, Clauses, Timeout, Action);
     seq ->
       Arg = clean(cerl:seq_arg(Tree)),
       Body = clean(cerl:seq_body(Tree)),
-- 
2.31.1

Places

File 2020-dialyzer_clean_core-Eliminate-unreachable-code.patch of Package erlang

Places