pub fn annotate_rwlock_create(lock: *const ())Available on crate feature
client_requests_defs only.Expand description
Report that a lock has just been created at address lock
Annotation for describing behaviour of user-implemented lock primitives. In all cases, the
lock argument is a completely arbitrary machine word and can be any value which gives a unique
identity to the lock objects being modelled.
We just pretend they’re ordinary posix rwlocks. That’ll probably give some rather confusing
wording in error messages, claiming that the arbitrary lock values are pthread_rwlock_t*’s,
when in fact they are not. Ah, well.