File 0405-Fix-assert-in-enc_term_int-and-encode_size... of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 0405-Fix-assert-in-enc_term_int-and-encode_size_struct_in.patch of Package erlang (Revision b4f72044e1af8cfe32130ab849a401a1)

Currently displaying revision b4f72044e1af8cfe32130ab849a401a1 , Show latest

From c1ea59c512c231473fe7d12b1a664730e827d2f3 Mon Sep 17 00:00:00 2001
From: Sverker Eriksson <sverker@erlang.org>
Date: Wed, 27 Jan 2021 17:24:26 +0100
Subject: [PATCH] Fix assert in enc_term_int and encode_size_struct_int

ctx may be NULL when called recursive to encode atoms and integers.
---
 erts/emulator/beam/external.c | 18 ++++++++++--------
 1 file changed, 10 insertions(+), 8 deletions(-)

diff --git a/erts/emulator/beam/external.c b/erts/emulator/beam/external.c
index 7d1f8e2857..1cc4b18eee 100644
--- a/erts/emulator/beam/external.c
+++ b/erts/emulator/beam/external.c
@@ -3059,9 +3059,6 @@ enc_term_int(TTBEncodeContext* ctx, ErtsAtomCacheMap *acmp, Eterm obj, byte* ep,
 	}
     }
 
-    /* If pending connect there must be a context and an iov within that context */
-    ASSERT(!(dflags & DFLAG_PENDING_CONNECT) || (ctx && ctx->iov));
-
     goto L_jump_start;
 
  outer_loop:
@@ -3499,6 +3496,7 @@ enc_term_int(TTBEncodeContext* ctx, ErtsAtomCacheMap *acmp, Eterm obj, byte* ep,
 		} else if (dflags & DFLAG_BIT_BINARIES) {
 		    /* Bit-level binary. */
                     if (dflags & DFLAG_PENDING_CONNECT) {
+			ASSERT(ctx);
                         j = off_heap_bytesize;
                         if (!j) {
                             pb_val = NULL;
@@ -3581,8 +3579,10 @@ enc_term_int(TTBEncodeContext* ctx, ErtsAtomCacheMap *acmp, Eterm obj, byte* ep,
 	case EXPORT_DEF:
 	    {
 		Export* exp = *((Export **) (export_val(obj) + 1));
-                if (dflags & DFLAG_PENDING_CONNECT)
+                if (dflags & DFLAG_PENDING_CONNECT) {
+		    ASSERT(ctx);
                     hopefull_export(ctx, &ep, exp, dflags, off_heap);
+		}
                 else if ((dflags & DFLAG_EXPORT_PTR_TAG) != 0) {
 		    *ep++ = EXPORT_EXT;
 		    ep = enc_atom(acmp, exp->info.mfa.module, ep, dflags);
@@ -4981,9 +4981,6 @@ encode_size_struct_int(TTBSizeContext* ctx, ErtsAtomCacheMap *acmp, Eterm obj,
 	}
     }
 
-    /* If pending connect there must be a context and an iov within that context */
-    ASSERT(!(dflags & DFLAG_PENDING_CONNECT) || ctx);
-
 #define LIST_TAIL_OP ((0 << _TAG_PRIMARY_SIZE) | TAG_PRIMARY_HEADER)
 #define PATCH_FUN_SIZE_OP ((1 << _TAG_PRIMARY_SIZE) | TAG_PRIMARY_HEADER)
 #define TERM_ARRAY_OP(N) (((N+1) << _TAG_PRIMARY_SIZE) | TAG_PRIMARY_HEADER)
@@ -5249,6 +5246,7 @@ encode_size_struct_int(TTBSizeContext* ctx, ErtsAtomCacheMap *acmp, Eterm obj,
 
                         if (dflags & DFLAG_PENDING_CONNECT) {
                             ASSERT(dflags & DFLAG_BIT_BINARIES);
+			    ASSERT(ctx);
                             vlen += 2; /* for hopefull prolog and epilog */
                             result += (4 /* for hopefull prolog (see below) */
                                        + 4); /* for hopefull epilog (see below) */
@@ -5267,8 +5265,10 @@ encode_size_struct_int(TTBSizeContext* ctx, ErtsAtomCacheMap *acmp, Eterm obj,
             else if (dflags & DFLAG_PENDING_CONNECT) {
                 /* This is the odd case when we have an un-aligned bit-string
                    during a pending connect. */
-                Uint csz = result - ctx->last_result;
+                Uint csz;
                 ASSERT(dflags & DFLAG_BIT_BINARIES);
+		ASSERT(ctx);
+                csz = result - ctx->last_result;
                 ASSERT(vlen >= 0);
                 /* potentially multiple elements leading up to binary */
                 vlen += (csz + MAX_SYSIOVEC_IOVLEN - 1)/MAX_SYSIOVEC_IOVLEN;
@@ -5331,6 +5331,8 @@ encode_size_struct_int(TTBSizeContext* ctx, ErtsAtomCacheMap *acmp, Eterm obj,
 		result += encode_size_struct2(acmp, make_small(ep->info.mfa.arity), dflags);
                 if (dflags & DFLAG_PENDING_CONNECT) {
                     Uint csz;
+		    ASSERT(ctx);
+
                     /*
                      * Fallback is 1 + 1 + Module size + Function size, that is,
                      * the hopefull index + hopefull encoding is larger...
-- 
2.26.2

Places

File 0405-Fix-assert-in-enc_term_int-and-encode_size_struct_in.patch of Package erlang (Revision b4f72044e1af8cfe32130ab849a401a1)

Places