|
From: <sv...@va...> - 2008-04-15 10:07:27
|
Author: sewardj
Date: 2008-04-15 11:07:16 +0100 (Tue, 15 Apr 2008)
New Revision: 7877
Log:
Don't throw away IMarks, since post-instrumentation stack pointer
change analysis requires them to be present, at least in this branch.
Modified:
branches/OTRACK_BY_INSTRUMENTATION/exp-drd/drd_main.c
Modified: branches/OTRACK_BY_INSTRUMENTATION/exp-drd/drd_main.c
===================================================================
--- branches/OTRACK_BY_INSTRUMENTATION/exp-drd/drd_main.c 2008-04-14 20:30:34 UTC (rev 7876)
+++ branches/OTRACK_BY_INSTRUMENTATION/exp-drd/drd_main.c 2008-04-15 10:07:16 UTC (rev 7877)
@@ -892,6 +892,7 @@
case Ist_IMark:
instrument = VG_(seginfo_sect_kind)(NULL, 0, st->Ist.IMark.addr)
!= Vg_SectPLT;
+ addStmtToIRSB(bb, st);
break;
case Ist_MBE:
|