Increase max allowed pre-allocation (vreg-ised) block size from 10000

to 15000.  In very extreme circumstances the JIT pipeline can create
huge blocks.  Fixes #303250, at least for the time being.

git-svn-id: svn://svn.valgrind.org/vex/trunk@2430

diff --git a/VEX/priv/host_generic_reg_alloc2.c b/VEX/priv/host_generic_reg_alloc2.c
index e413929c356922cbcf4987b112394f45d0ae9e1c..af8954d5b9ca1d34a12983a6525fb90fe1a463c5 100644 (file)
--- a/VEX/priv/host_generic_reg_alloc2.c
+++ b/VEX/priv/host_generic_reg_alloc2.c
@@ -404,9 +404,9 @@ HInstrArray* doRegisterAllocation (
    vassert(0 == (N_SPILL64S % 4));
 
    /* The live range numbers are signed shorts, and so limiting the
-      number of insns to 10000 comfortably guards against them
+      number of insns to 15000 comfortably guards against them
       overflowing 32k. */
-   vassert(instrs_in->arr_used <= 10000);
+   vassert(instrs_in->arr_used <= 15000);
 
 #  define INVALID_INSTRNO (-2)