File 0175-beam_ssa_recv-Stricten-tests-for-integers.... of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 0175-beam_ssa_recv-Stricten-tests-for-integers.patch of Package erlang

From f17633561bc190d1fb426022b77510e41943d3e0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Gustavsson?= <bjorn@erlang.org>
Date: Thu, 30 Jun 2022 05:17:07 +0200
Subject: [PATCH 5/6] beam_ssa_recv: Stricten tests for integers

---
 lib/compiler/src/beam_ssa_recv.erl | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/lib/compiler/src/beam_ssa_recv.erl b/lib/compiler/src/beam_ssa_recv.erl
index f1d58ffb16..f0dc752f52 100644
--- a/lib/compiler/src/beam_ssa_recv.erl
+++ b/lib/compiler/src/beam_ssa_recv.erl
@@ -342,7 +342,7 @@ si_remote_call_1(Dst, [Callee | Args], Lbl, Blocks) ->
                   none
           end,
     case MFA of
-        {erlang,alias,A} when 0 =< A, A =< 1 ->
+        {erlang,alias,A} when is_integer(A), 0 =< A, A =< 1 ->
             {makes_ref, Lbl, Dst};
         {erlang,demonitor,2} ->
             case Args of
@@ -357,12 +357,12 @@ si_remote_call_1(Dst, [Callee | Args], Lbl, Blocks) ->
             end;
         {erlang,make_ref,0} ->
             {makes_ref, Lbl, Dst};
-        {erlang,monitor,A} when 2 =< A, A =< 3 ->
+        {erlang,monitor,A} when is_integer(A), 2 =< A, A =< 3 ->
             {makes_ref, Lbl, Dst};
-        {erlang,spawn_monitor,A} when 1 =< A, A =< 4 ->
+        {erlang,spawn_monitor,A} when is_integer(A), 1 =< A, A =< 4 ->
             RPO = beam_ssa:rpo([Lbl], Blocks),
             si_ref_in_tuple(RPO, Blocks, Dst);
-        {erlang,spawn_request,A} when 1 =< A, A =< 5 ->
+        {erlang,spawn_request,A} when is_integer(A), 1 =< A, A =< 5 ->
             {makes_ref, Lbl, Dst};
         _ ->
             %% As an aside, spawn_opt/2-5 is trivially supported by handling it
-- 
2.35.3

Places

File 0175-beam_ssa_recv-Stricten-tests-for-integers.patch of Package erlang

Places