x86_64: add static assert verifying memory layout

2021-01-08 02:56:45 -07:00 · 2021-01-08 02:56:45 -07:00 · 638770cfd0
parent 78e880a29f
commit 638770cfd0
2 changed files with 3 additions and 0 deletions
--- a/arch/x86_64/freestanding/bits.h
+++ b/arch/x86_64/freestanding/bits.h
@ -1,3 +1,5 @@
+#include <stddef.h>
+
 #ifndef LIBUCONTEXT_BITS_H
 #define LIBUCONTEXT_BITS_H

--- a/arch/x86_64/makecontext.c
+++ b/arch/x86_64/makecontext.c
@ -20,6 +20,7 @@

 extern void libucontext_trampoline(void);

+_Static_assert(offsetof(libucontext_ucontext_t, uc_mcontext.gregs) == MCONTEXT_GREGS, "MCONTEXT_GREGS is invalid");

 void
 libucontext_makecontext(libucontext_ucontext_t *ucp, void (*func)(void), int argc, ...)