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