diff --git a/coregrind/vg_scheduler.c b/coregrind/vg_scheduler.c index 228a8a3d7..fa71fb2b4 100644 --- a/coregrind/vg_scheduler.c +++ b/coregrind/vg_scheduler.c @@ -62,6 +62,8 @@ - Check memory permissions of client-space addresses passed from vg_libpthread.c. +- Update assertion checking in scheduler_sanity(). + TODO sometime: - Mutex scrubbing - clearup_after_thread_exit: look for threads diff --git a/vg_scheduler.c b/vg_scheduler.c index 228a8a3d7..fa71fb2b4 100644 --- a/vg_scheduler.c +++ b/vg_scheduler.c @@ -62,6 +62,8 @@ - Check memory permissions of client-space addresses passed from vg_libpthread.c. +- Update assertion checking in scheduler_sanity(). + TODO sometime: - Mutex scrubbing - clearup_after_thread_exit: look for threads