[src/trunk]: src/sys/kern Add a temporary ctassert checking whether void* and...

[kamil <kamil%NetBSD.org@localhost>]

details:   https://anonhg.NetBSD.org/src/rev/ea05f00104eb
branches:  trunk
changeset: 464129:ea05f00104eb
user:      kamil <kamil%NetBSD.org@localhost>
date:      Tue Sep 24 19:21:45 2019 +0000

description:
Add a temporary ctassert checking whether void* and intptr_t are compatible

diffstat:

 sys/kern/init_main.c |  7 +++++--
 1 files changed, 5 insertions(+), 2 deletions(-)

diffs (28 lines):

diff -r ed8b02e2755f -r ea05f00104eb sys/kern/init_main.c
--- a/sys/kern/init_main.c      Tue Sep 24 19:19:49 2019 +0000
+++ b/sys/kern/init_main.c      Tue Sep 24 19:21:45 2019 +0000
@@ -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 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