File 0170-compiler-Add-missing-bs_create_bin-prim_op... of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 0170-compiler-Add-missing-bs_create_bin-prim_op-to-type-d.patch of Package erlang

From e2291e42a791d25a1edddb805e1f5883ac9088c8 Mon Sep 17 00:00:00 2001
From: Frej Drejhammar <frej.drejhammar@gmail.com>
Date: Tue, 5 Jul 2022 14:13:41 +0200
Subject: [PATCH] compiler: Add missing bs_create_bin prim_op() to type
 definition

The missing bs_create_bin operation has probably remained undiscovered
as the Dialyzer limit mentioned in the comment preceding the prim_op()
type definition collapses the effective type to atom().
---
 lib/compiler/src/beam_ssa.erl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lib/compiler/src/beam_ssa.erl b/lib/compiler/src/beam_ssa.erl
index a84a0ceb5d..f92b0a8ab2 100644
--- a/lib/compiler/src/beam_ssa.erl
+++ b/lib/compiler/src/beam_ssa.erl
@@ -105,7 +105,8 @@
 %% To avoid the collapsing, change the value of SET_LIMIT to 50 in the
 %% file erl_types.erl in the dialyzer application.
 
--type prim_op() :: 'bs_extract' | 'bs_get_tail' | 'bs_init_writable' |
+-type prim_op() :: 'bs_create_bin' |
+                   'bs_extract' | 'bs_get_tail' | 'bs_init_writable' |
                    'bs_match' | 'bs_start_match' | 'bs_test_tail' |
                    'build_stacktrace' |
                    'call' | 'catch_end' |
-- 
2.35.3

Places

File 0170-compiler-Add-missing-bs_create_bin-prim_op-to-type-d.patch of Package erlang

Places