Fix 64-bit uncleanness in VG_(get_bbs_translated)/VG_(get_bbs_discarded_or_dumped) ..

.. and some debug printing associated with them.  I don't think this affects
anything apart from debug printing.  Noticed when running a x86 (32-bit)
Firefox build.
This commit is contained in:
Julian Seward 2023-01-04 17:12:21 +01:00
parent fe4e6578d4
commit 1b8d0cbc81
3 changed files with 5 additions and 5 deletions

View File

@ -1597,7 +1597,7 @@ Bool VG_(translate) ( ThreadId tid,
Bool ok = VG_(get_fnname_w_offset)(ep, addr, &fnname);
if (!ok) fnname = "UNKNOWN_FUNCTION";
VG_(printf)(
"==== SB %u (evchecks %llu) [tid %u] 0x%lx %s %s%c0x%lx\n",
"==== SB %llu (evchecks %llu) [tid %u] 0x%lx %s %s%c0x%lx\n",
VG_(get_bbs_translated)(), bbs_done, tid, addr,
fnname, objname, objoff >= 0 ? '+' : '-',
(UWord)(objoff >= 0 ? objoff : -objoff)

View File

@ -2664,12 +2664,12 @@ static Double safe_idiv( ULong a, ULong b )
return (b == 0 ? 0 : (Double)a / (Double)b);
}
UInt VG_(get_bbs_translated) ( void )
ULong VG_(get_bbs_translated) ( void )
{
return n_in_count;
}
UInt VG_(get_bbs_discarded_or_dumped) ( void )
ULong VG_(get_bbs_discarded_or_dumped) ( void )
{
return n_disc_count + n_dump_count;
}

View File

@ -200,8 +200,8 @@ extern void VG_(discard_translations) ( Addr start, ULong range,
extern void VG_(print_tt_tc_stats) ( void );
extern UInt VG_(get_bbs_translated) ( void );
extern UInt VG_(get_bbs_discarded_or_dumped) ( void );
extern ULong VG_(get_bbs_translated) ( void );
extern ULong VG_(get_bbs_discarded_or_dumped) ( void );
/* Add to / search the auxiliary, small, unredirected translation
table. */