Introduce an important assertion for a claim from libvex_ir.h.

diff --git a/VEX/priv/main_util.c b/VEX/priv/main_util.c
index 865fe0c7a79027c8e492b4fc4d17e976c9b2470d..2da5066bd1be49168189e6241b31637f1c3bf35f 100644 (file)
--- a/VEX/priv/main_util.c
+++ b/VEX/priv/main_util.c
@@ -123,6 +123,8 @@ void vexAllocSanityCheck ( void )
    vassert(IS_WORD_ALIGNED(private_LibVEX_alloc_curr));
    vassert(IS_WORD_ALIGNED(private_LibVEX_alloc_last+1));
 #  undef IS_WORD_ALIGNED
+
+   STATIC_ASSERT(sizeof(IRTemp) == 4);
 }
 
 /* The current allocation mode. */