]> git.ipfire.org Git - thirdparty/valgrind.git/commitdiff
Fix assert
authorPhilippe Waroquiers <philippe.waroquiers@skynet.be>
Tue, 6 Jan 2015 15:15:07 +0000 (15:15 +0000)
committerPhilippe Waroquiers <philippe.waroquiers@skynet.be>
Tue, 6 Jan 2015 15:15:07 +0000 (15:15 +0000)
   vex: priv/guest_generic_bb_to_IR.c:224 (bb_to_IR): Assertion `vex_control.guest_max_insns < 100' failed.
caused by giving --vex-guest-max-insns=100
100 should be allowed as described by --help-debug:
    --vex-guest-max-insns=<1..100>         [50]

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

VEX/priv/guest_generic_bb_to_IR.c

index 426434642327366d999170d8cfc2298236b042c7..1b6a0638257ca4e81833f40bf1779c18f21b636a 100644 (file)
@@ -221,7 +221,7 @@ IRSB* bb_to_IR (
    /* check sanity .. */
    vassert(sizeof(HWord) == sizeof(void*));
    vassert(vex_control.guest_max_insns >= 1);
-   vassert(vex_control.guest_max_insns < 100);
+   vassert(vex_control.guest_max_insns <= 100);
    vassert(vex_control.guest_chase_thresh >= 0);
    vassert(vex_control.guest_chase_thresh < vex_control.guest_max_insns);
    vassert(guest_word_type == Ity_I32 || guest_word_type == Ity_I64);