Module helgrind

Available on crate feature client_requests_defs only.

All public client requests from the helgrind.h header file

See also Helgrind Client Requests

Functions

• annotate_happens_after
  See annotate_happens_before
• annotate_happens_before
  Create completely arbitrary happens-before edges between threads
• annotate_happens_before_forget_all
  This is interim until such time as bug 243935 is fully resolved
• annotate_new_memory
  Report that a new memory at addr of size size has been allocated.
• annotate_rwlock_acquired
  Report that the lock at address lock has just been acquired
• annotate_rwlock_create
  Report that a lock has just been created at address lock
• annotate_rwlock_destroy
  Report that the lock at address lock is about to be destroyed
• annotate_rwlock_released
  Report that the lock at address lock is about to be released
• clean_memory
  Clean memory state