|
From: <sv...@va...> - 2015-08-20 22:45:48
|
Author: florian
Date: Thu Aug 20 23:45:41 2015
New Revision: 15574
Log:
When scanning the statement list for bogus literals we
can stop once the first such literal was found. No need
to scan further.
Modified:
trunk/memcheck/mc_translate.c
Modified: trunk/memcheck/mc_translate.c
==============================================================================
--- trunk/memcheck/mc_translate.c (original)
+++ trunk/memcheck/mc_translate.c Thu Aug 20 23:45:41 2015
@@ -6252,7 +6252,6 @@
IRType gWordTy, IRType hWordTy )
{
Bool verboze = 0||False;
- Bool bogus;
Int i, j, first_stmt;
IRStmt* st;
MCEnv mce;
@@ -6319,11 +6318,9 @@
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 @@
ppIRStmt(st);
VG_(printf)("\n");
}
+ if (bogus) break;
}
-
}
-
mce.bogusLiterals = bogus;
/* Copy verbatim any IR preamble preceding the first IMark */
|