mmt: update to 3.11

envytools · Mar 13, 2016 · 10cfc45 · 10cfc45
1 parent 5bc31af
commit 10cfc45
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 8 deletions.
diff --git a/mmt/mmt_instrument.c b/mmt/mmt_instrument.c
@@ -715,9 +715,9 @@ static void add_trace_store(IRSB *bbOut, IRExpr *destAddr, Addr inst_addr,
 
 IRSB *mmt_instrument(VgCallbackClosure *closure,
 				IRSB *bbIn,
-				VexGuestLayout *layout,
-				VexGuestExtents *vge,
-				VexArchInfo* archinfo_host,
+				const VexGuestLayout *layout,
+				const VexGuestExtents *vge,
+				const VexArchInfo* archinfo_host,
 				IRType gWordTy, IRType hWordTy)
 {
 	IRSB *bbOut;

diff --git a/mmt/mmt_instrument.h b/mmt/mmt_instrument.h
@@ -6,9 +6,9 @@
 
 IRSB *mmt_instrument(VgCallbackClosure *closure,
 				IRSB *bbIn,
-				VexGuestLayout *layout,
-				VexGuestExtents *vge,
-				VexArchInfo* archinfo_host,
+				const VexGuestLayout *layout,
+				const VexGuestExtents *vge,
+				const VexArchInfo* archinfo_host,
 				IRType gWordTy, IRType hWordTy);
 
 #endif /* MMT_INSTRUMENT_H_ */
diff --git a/mmt/mmt_trace_bin.c b/mmt/mmt_trace_bin.c
@@ -29,10 +29,10 @@
 
 static void mydescribe(Addr inst_addr, char *namestr, int len)
 {
-	char filename[100];
+	const char* filename;
 	UInt line = 0;
 
-	if (VG_(get_filename)(inst_addr, filename, 100))
+	if (VG_(get_filename)(inst_addr, &filename))
 	{
 		VG_(get_linenum)(inst_addr, &line);
 		VG_(snprintf) (namestr, len, "@%08lx (%s:%d)", inst_addr, filename, line);