From 07f99e1c6a74017f41bdc1355cf8645392f433c6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= Date: Wed, 15 Jul 2009 01:03:35 +0200 Subject: [PATCH] Make sure at compile-time that `OBJCODE_COOKIE' has the right size. * libguile/objcodes.c: Use `verify' to assert that the size of `OBJCODE_COOKIE' is a multiple of 8. --- libguile/objcodes.c | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/libguile/objcodes.c b/libguile/objcodes.c index d5d66952c..c758e939b 100644 --- a/libguile/objcodes.c +++ b/libguile/objcodes.c @@ -28,6 +28,8 @@ #include #include +#include + #include "_scm.h" #include "vm-bootstrap.h" #include "programs.h" @@ -46,10 +48,14 @@ /* The word size marker in objcode. */ #define OBJCODE_WORD_SIZE OBJCODE_STRINGIFY (SIZEOF_VOID_P) -/* nb, the length of the header should be a multiple of 8 bytes */ +/* The objcode magic header. */ #define OBJCODE_COOKIE \ "GOOF-0.6-" OBJCODE_ENDIANNESS "-" OBJCODE_WORD_SIZE "---" +/* The length of the header must be a multiple of 8 bytes. */ +verify ((sizeof (OBJCODE_COOKIE) & 7) != 0); + + /* * Objcode type