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 e9a496be024b79301a30c3d68061e41bbdbacb6f..4ed886619c6cc59cdd4c50bfec2c0811d169b878 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. */