File 0411-erts-Suppress-code-checker.patch of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 0411-erts-Suppress-code-checker.patch of Package erlang

From f65833f13cc00cdbe45a54acec632d2a28147695 Mon Sep 17 00:00:00 2001
From: Sverker Eriksson <sverker@erlang.org>
Date: Mon, 8 Feb 2021 17:10:54 +0100
Subject: [PATCH 11/34] erts: Suppress code checker

False positive: "The right operand of '-' (reds) is a garbage value"
It thinks ctx->no_trap can change from false to true?
---
 erts/emulator/beam/dist.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/erts/emulator/beam/dist.c b/erts/emulator/beam/dist.c
index 30dffa13ee..b4c899f8ba 100644
--- a/erts/emulator/beam/dist.c
+++ b/erts/emulator/beam/dist.c
@@ -3033,6 +3033,7 @@ erts_dsig_send(ErtsDSigSendContext *ctx)
                                                    &ctx->vlen,
                                                    &ctx->fragments);
                 if (ctx->no_trap) {
+                    ASSERT(redsp == &reds); /* silence CodeChecker */
                     ctx->reds -= CONTEXT_REDS - reds;
                     if (sz_res == ERTS_EXT_SZ_YIELD) {
                         reds = CONTEXT_REDS;
@@ -3117,6 +3118,7 @@ erts_dsig_send(ErtsDSigSendContext *ctx)
                     goto done;
                 }
                 else {
+                    ASSERT(redsp == &reds); /* silence CodeChecker */
                     ctx->reds -= CONTEXT_REDS - reds;
                     if (res == 0)
                         break;
-- 
2.26.2

Places

File 0411-erts-Suppress-code-checker.patch of Package erlang

Places