From aaf6b6bf80805d18180e1c16350e9473716f5915 Mon Sep 17 00:00:00 2001 From: Philipp Stephani Date: Thu, 22 Apr 2021 16:11:10 +0200 Subject: [PATCH] Ensure that argument to 'verify' is a constant expression. Casting NULL is not a constant expression (Bug#47951). * lib-src/seccomp-filter.c (main): Turn check for null pointer representation into a runtime assertion. --- lib-src/seccomp-filter.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/lib-src/seccomp-filter.c b/lib-src/seccomp-filter.c index 31d0809f8f0..dc568e035b5 100644 --- a/lib-src/seccomp-filter.c +++ b/lib-src/seccomp-filter.c @@ -35,6 +35,7 @@ variants of those files that can be used to sandbox Emacs before #include "config.h" +#include #include #include #include @@ -169,7 +170,7 @@ main (int argc, char **argv) verify (sizeof (long) == 8 && LONG_MIN == INT64_MIN && LONG_MAX == INT64_MAX); verify (sizeof (void *) == 8); - verify ((uintptr_t) NULL == 0); + assert ((uintptr_t) NULL == 0); /* Allow a clean exit. */ RULE (SCMP_ACT_ALLOW, SCMP_SYS (exit));