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