From: Julian Seward <jseward@acm.org>
Date: Sat, 9 Mar 2019 16:58:11 +0000 (+0100)
Subject: bb_to_IR(): increase assertion limits on the maximum size of self-checking translatio... 
X-Git-Tag: VALGRIND_3_15_0~66
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4ee1dd2778f8cdd83907b7071eea560a5fb2e1f5;p=thirdparty%2Fvalgrind.git

bb_to_IR(): increase assertion limits on the maximum size of self-checking translations.  n-i-bz.
---

diff --git a/VEX/priv/guest_generic_bb_to_IR.c b/VEX/priv/guest_generic_bb_to_IR.c
index 6df594d0d4..b94ff5d12f 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); */