File 2933-beam_ssa_lint-Remove-a-redundant-clause.patch of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 2933-beam_ssa_lint-Remove-a-redundant-clause.patch of Package erlang

From 0a40cfc71304d27829294c66d71d3484204efa9e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Gustavsson?= <bjorn@erlang.org>
Date: Sat, 20 Feb 2021 08:03:24 +0100
Subject: [PATCH 3/6] beam_ssa_lint: Remove a redundant clause

The clause is redundant because the terminator has been previously
verified to be normalized.
---
 lib/compiler/src/beam_ssa_lint.erl | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/lib/compiler/src/beam_ssa_lint.erl b/lib/compiler/src/beam_ssa_lint.erl
index 2b4b5af1e5..2ccd7990e9 100644
--- a/lib/compiler/src/beam_ssa_lint.erl
+++ b/lib/compiler/src/beam_ssa_lint.erl
@@ -312,10 +312,6 @@ vvars_terminator(#b_br{bool=#b_literal{val=true},succ=Succ}=I, From, State) ->
     Labels = [Succ],
     ok = vvars_assert_labels(Labels, I, State),
     vvars_terminator_1(Labels, From, State);
-vvars_terminator(#b_br{bool=#b_literal{val=false},fail=Fail}=I, From, State) ->
-    Labels = [Fail],
-    ok = vvars_assert_labels(Labels, I, State),
-    vvars_terminator_1(Labels, From, State);
 vvars_terminator(#b_br{ bool = Arg, succ = Succ, fail = Fail }=I, From, State) ->
     ok = vvars_assert_args([Arg], I, State),
     Labels = [Fail, Succ],
-- 
2.26.2

Places

File 2933-beam_ssa_lint-Remove-a-redundant-clause.patch of Package erlang

Places