|
From: Julian S. <se...@so...> - 2019-03-09 17:00:05
|
https://sourceware.org/git/gitweb.cgi?p=valgrind.git;h=4ee1dd2778f8cdd83907b7071eea560a5fb2e1f5 commit 4ee1dd2778f8cdd83907b7071eea560a5fb2e1f5 Author: Julian Seward <js...@ac...> Date: Sat Mar 9 17:58:11 2019 +0100 bb_to_IR(): increase assertion limits on the maximum size of self-checking translations. n-i-bz. Diff: --- VEX/priv/guest_generic_bb_to_IR.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/VEX/priv/guest_generic_bb_to_IR.c b/VEX/priv/guest_generic_bb_to_IR.c index 6df594d..b94ff5d 100644 --- a/VEX/priv/guest_generic_bb_to_IR.c +++ b/VEX/priv/guest_generic_bb_to_IR.c @@ -581,7 +581,7 @@ IRSB* bb_to_IR ( len2check = vge->len[i]; /* stay sane */ - vassert(len2check >= 0 && len2check < 1000/*arbitrary*/); + vassert(len2check >= 0 && len2check < 2000/*arbitrary*/); /* Skip the check if the translation involved zero bytes */ if (len2check == 0) @@ -596,7 +596,7 @@ IRSB* bb_to_IR ( vassert(0 == (hW_diff & (host_word_szB-1))); HWord hWs_to_check = (hW_diff + host_word_szB) / host_word_szB; vassert(hWs_to_check > 0 - && hWs_to_check < 1004/*arbitrary*/ / host_word_szB); + && hWs_to_check < 2004/*arbitrary*/ / host_word_szB); /* vex_printf("%lx %lx %ld\n", first_hW, last_hW, hWs_to_check); */ |