File 0445-erts-Silence-CodeChecker-in-execute_nif.patch of Package erlang

From dfe5fa00cdfb322d7a3468475996a10221a0de99 Mon Sep 17 00:00:00 2001
From: Sverker Eriksson <sverker@erlang.org>
Date: Mon, 22 Feb 2021 16:53:18 +0100
Subject: [PATCH 05/10] erts: Silence CodeChecker in execute_nif

---
 erts/emulator/beam/erl_nif.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/erts/emulator/beam/erl_nif.c b/erts/emulator/beam/erl_nif.c
index 359ebee52e..40ba7f1128 100644
--- a/erts/emulator/beam/erl_nif.c
+++ b/erts/emulator/beam/erl_nif.c
@@ -3092,6 +3092,7 @@ execute_nif(ErlNifEnv* env, int argc, const ERL_NIF_TERM argv[])
     ERL_NIF_TERM result;
 
     execution_state(env, &proc, NULL);
+    ASSERT(proc);
 
     ep = ErtsContainerStruct(proc->current, ErtsNativeFunc, trampoline.info.mfa);
     fp = ep->func;
-- 
2.26.2