Module Name: src
Committed By: kamil
Date: Tue Sep 24 19:21:45 UTC 2019
Modified Files:
src/sys/kern: init_main.c
Log Message:
Add a temporary ctassert checking whether void* and intptr_t are compatible
To generate a diff of this commit:
cvs rdiff -u -r1.504 -r1.505 src/sys/kern/init_main.c
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
Modified files:
Index: src/sys/kern/init_main.c
diff -u src/sys/kern/init_main.c:1.504 src/sys/kern/init_main.c:1.505
--- src/sys/kern/init_main.c:1.504 Fri May 17 03:34:26 2019
+++ src/sys/kern/init_main.c Tue Sep 24 19:21:45 2019
@@ -1,4 +1,4 @@
-/* $NetBSD: init_main.c,v 1.504 2019/05/17 03:34:26 ozaki-r Exp $ */
+/* $NetBSD: init_main.c,v 1.505 2019/09/24 19:21:45 kamil Exp $ */
/*-
* Copyright (c) 2008, 2009 The NetBSD Foundation, Inc.
@@ -97,7 +97,7 @@
*/
#include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: init_main.c,v 1.504 2019/05/17 03:34:26 ozaki-r Exp $");
+__KERNEL_RCSID(0, "$NetBSD: init_main.c,v 1.505 2019/09/24 19:21:45 kamil Exp $");
#include "opt_ddb.h"
#include "opt_inet.h"
@@ -250,6 +250,9 @@ static void configure2(void);
static void configure3(void);
void main(void);
+CTASSERT(sizeof(void *) == sizeof(intptr_t));
+CTASSERT(__alignof__(void *) == __alignof__(intptr_t));
+
/*
* System startup; initialize the world, create process 0, mount root
* filesystem, and fork to create init and pagedaemon. Most of the
