VGP_PUSHCC(VgpCoreExpensiveSanity);
sanity_slow_count++;
-# if 0
- { void zzzmemscan(void); zzzmemscan(); }
-# endif
-
- if ((sanity_fast_count % 250) == 0)
- VG_(sanity_check_tt_tc)("VG_(sanity_check_general)");
-
if (VG_(needs).sanity_checks) {
VGP_PUSHCC(VgpToolExpensiveSanity);
vg_assert(VG_TDICT_CALL(tool_expensive_sanity_check));
VGP_POPCC(VgpToolExpensiveSanity);
}
- /* Check that Segments and /proc/self/maps match up */
- //vg_assert(VG_(sanity_check_memory)());
-
/* Look for stack overruns. Visit all threads. */
- for(tid = 1; tid < VG_N_THREADS; tid++) {
+ for (tid = 1; tid < VG_N_THREADS; tid++) {
SSizeT remains;
if (VG_(threads)[tid].status == VgTs_Empty ||
tid, remains);
}
- /*
- if ((sanity_fast_count % 500) == 0) VG_(mallocSanityCheckAll)();
- */
VGP_POPCC(VgpCoreExpensiveSanity);
}
}
-/*------------------------------------------------------------*/
-/*--- Sanity checking ---*/
-/*------------------------------------------------------------*/
-
-void VG_(sanity_check_tt_tc) ( Char* who )
-{
-}
-
-
/*------------------------------------------------------------*/
/*--- Initialisation. ---*/
/*------------------------------------------------------------*/
extern void VG_(discard_translations) ( Addr64 start, UInt range );
-extern void VG_(sanity_check_tt_tc) ( Char* caller );
-
extern void VG_(print_tt_tc_stats) ( void );
extern UInt VG_(get_bbs_translated) ( void );