File 1145-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
@@ -2649,6 +2649,7 @@ execute_nif(ErlNifEnv* env, int argc, const ERL_NIF_TERM argv[])
     ERL_NIF_TERM result;
 
     execution_state(env, &proc, NULL);
+    ASSERT(proc);
     fp = (NativeFunPtr) proc->current[6];
 
     ASSERT(!env->exception_thrown);
-- 
2.26.2