Skip to content
Permalink
Browse files

mmt: update to 3.11

  • Loading branch information
pierremoreau committed Mar 13, 2016
1 parent 5bc31af commit 10cfc45b268f6cfa3790c72efb9fc2b54928fc92
Showing with 8 additions and 8 deletions.
  1. +3 −3 mmt/mmt_instrument.c
  2. +3 −3 mmt/mmt_instrument.h
  3. +2 −2 mmt/mmt_trace_bin.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;
@@ -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_ */
@@ -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);

0 comments on commit 10cfc45

Please sign in to comment.
You can’t perform that action at this time.