sem_destroy
int sem_destroy(sem_t *);
WR(stub_zero, sem_destroy);
__strong_reference(_sem_destroy, sem_destroy);
assert(0 == sem_destroy(&sem_b));
assert(0 == sem_destroy(&sem_a));
sem_destroy(&id);
sem_destroy(&id);
if (sem_destroy(id) >= 0) {
if (sem_destroy(id) < 0)
if (sem_destroy(&id) < 0) {
sem_destroy(&id);
sem_destroy(&id);
sem_destroy(&id);
if (sem_destroy(&id) < 0) {
sem_destroy(&id);
sem_destroy(&id);
sem_destroy(&id);
if (sem_destroy(&id) < 0) {
sem_destroy(&id);
sem_destroy(&id);
sem_destroy(&id);
if (sem_destroy(&id) < 0) {
sem_destroy(&id);
sem_destroy(&id);
sem_destroy(&id);
if (sem_destroy(&id) < 0) {
sem_destroy(&id);
sem_destroy(&id);
sem_destroy(&id);
if (sem_destroy(&id) < 0) {
sem_destroy(&id);
sem_destroy(&id);
if (sem_destroy(&id) < 0) {
sem_destroy(&id);
sem_destroy(&id);
sem_destroy(&id);
if (sem_destroy(&id) < 0) {
sem_destroy(&mtsem);
sem_destroy(&mtsem);