|
From: Ivo R. <ir...@so...> - 2017-08-15 09:53:27
|
https://sourceware.org/git/gitweb.cgi?p=valgrind.git;h=734b60a7d8d22c7a55ae8a2df30c344bfb3af857 commit 734b60a7d8d22c7a55ae8a2df30c344bfb3af857 Author: Ivo Raisr <iv...@iv...> Date: Tue Aug 8 06:40:24 2017 +0200 Introduce an important assertion for a claim from libvex_ir.h. Diff: --- VEX/priv/main_util.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/VEX/priv/main_util.c b/VEX/priv/main_util.c index 865fe0c..2da5066 100644 --- 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. */ |
|
From: Ivo R. <ir...@so...> - 2017-08-28 22:26:59
|
https://sourceware.org/git/gitweb.cgi?p=valgrind.git;h=3e5b6ae887f419c74a968b320e263edfd72f0890 commit 3e5b6ae887f419c74a968b320e263edfd72f0890 Author: Ivo Raisr <iv...@iv...> Date: Tue Aug 8 06:40:24 2017 +0200 Introduce an important assertion for a claim from libvex_ir.h. Diff: --- VEX/priv/main_util.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/VEX/priv/main_util.c b/VEX/priv/main_util.c index e9a496b..4ed8866 100644 --- 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. */ |