When scanning the statement list for bogus literals we

can stop once the first such literal was found. No need
to scan further.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15574

diff --git a/memcheck/mc_translate.c b/memcheck/mc_translate.c
index 02da797fa7ae6222cc48859ec598387257426795..6963078610a9eb7842a1fde9aa4b97c35a0f7a81 100644 (file)
--- a/memcheck/mc_translate.c
+++ b/memcheck/mc_translate.c
@@ -6252,7 +6252,6 @@ IRSB* MC_(instrument) ( VgCallbackClosure* closure,
                         IRType gWordTy, IRType hWordTy )
 {
    Bool    verboze = 0||False;
-   Bool    bogus;
    Int     i, j, first_stmt;
    IRStmt* st;
    MCEnv   mce;
@@ -6319,11 +6318,9 @@ IRSB* MC_(instrument) ( VgCallbackClosure* closure,
       extra-detailed (hence extra-expensive) instrumentation in
       places.  Scan the whole bb even if dodgyness is found earlier,
       so that the flatness assertion is applied to all stmts. */
-
-   bogus = False;
+   Bool bogus = False;
 
    for (i = 0; i < sb_in->stmts_used; i++) {
-
       st = sb_in->stmts[i];
       tl_assert(st);
       tl_assert(isFlatIRStmt(st));
@@ -6335,10 +6332,9 @@ IRSB* MC_(instrument) ( VgCallbackClosure* closure,
             ppIRStmt(st);
             VG_(printf)("\n");
          }
+         if (bogus) break;
       }
-
    }
-
    mce.bogusLiterals = bogus;
 
    /* Copy verbatim any IR preamble preceding the first IMark */