This document defines the coverage for the pthread_cleanup_push function:

Assertion	Tested?
1		YES
2		YES

NOTE: