the issue was a break statement that was breaking only from the
switch, not the enclosing for loop, and a failure to set the final
success state.
for (;;) switch (a_swap(control, 1)) {
case 0:
- break;
+ pthread_cleanup_push(undo, control);
+ init();
+ pthread_cleanup_pop(0);
+
+ a_store(control, 2);
+ if (waiters) __wake(control, -1, 0);
+ return 0;
case 1:
__wait(control, &waiters, 1, 0);
continue;
a_store(control, 2);
return 0;
}
-
- pthread_cleanup_push(undo, control);
- init();
- pthread_cleanup_pop(0);
-
- if (waiters) __wake(control, -1, 0);
- return 0;
}