[analyzer] PthreadLock: Add the other XNU rwlock unlock functions.
AcceptedPublic

Authored by NoQ on Sep 13 2017, 6:44 AM.

Details

Summary

It turns out that XNU rwlocks, locked by lck_rw_lock_shared() and lck_rw_lock_exclusive(), can be unlocked through either the "unspecific" lck_rw_done() or the "specific" lck_rw_unlock_shared() and lck_rw_unlock_exclusive() calls. Add the two "specific" unlock functions to the checker.

Diff Detail