File 0425-erts-Silence-CodeChecker-in-erlc.c.patch of Package erlang

From 10d9c280b5b7759c6ba3baf023185335507954fa Mon Sep 17 00:00:00 2001
From: Sverker Eriksson <sverker@erlang.org>
Date: Tue, 9 Feb 2021 20:38:22 +0100
Subject: [PATCH 25/34] erts: Silence CodeChecker in erlc.c

---
 erts/etc/common/erlc.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/erts/etc/common/erlc.c b/erts/etc/common/erlc.c
index 189ccc680d..523ead86ed 100644
--- a/erts/etc/common/erlc.c
+++ b/erts/etc/common/erlc.c
@@ -574,6 +574,8 @@ run_erlang(char* progname, char** argv)
     int status;
 #endif
 
+    ASSERT(progname && argv[0]);
+
     if (debug > 0) {
         fprintf(stderr, "spawning erl for %s", source_file);
     }
@@ -982,6 +984,7 @@ start_compile_server(char* node_name, char** argv)
         putc('\n', stderr);
     }
 
+    ASSERT(eargv[0]);
 #ifdef __WIN32__
     if (my_spawnvp(0, eargv) == -1) {
 	fprintf(stderr, "erlc: Error executing '%s': %d", progname,
-- 
2.26.2