Reinstate use of VG_(do_sanity_checks), although at a lower frequency
than before. Turns out they were wasting 25-50% of total execution
time in valgrinds of the 200203XX vintage. Apologies, KDE hackers!
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@182 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/vg_include.h b/vg_include.h
index 08a1ab2..1249d11 100644
--- a/vg_include.h
+++ b/vg_include.h
@@ -1406,9 +1406,9 @@
extern Bool VGM_(check_readable) ( Addr a, UInt len, Addr* bad_addr );
extern Bool VGM_(check_readable_asciiz) ( Addr a, Addr* bad_addr );
-/* Sanity checks which may be done at any time. Doing them at
- signal-delivery time turns out to be convenient. */
-extern void VG_(do_sanity_checks) ( ThreadId tid, Bool force_expensive );
+/* Sanity checks which may be done at any time. The scheduler decides
+ when. */
+extern void VG_(do_sanity_checks) ( Bool force_expensive );
/* Very cheap ... */
extern Bool VG_(first_and_last_secondaries_look_plausible) ( void );