diff options
Diffstat (limited to 'libguile/objcodes.c')
-rw-r--r-- | libguile/objcodes.c | 8 |
1 files changed, 7 insertions, 1 deletions
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 <sys/types.h> #include <assert.h> +#include <verify.h> + #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 |