652 }
653 }
654 break;
655 }
656 X = 0;
657 if (!(X <= 0)) ERROR: goto ERROR;;
658 y = 0;
659 b1 = 0;
660}
661void *thr2() {
662 while (1) {
663 b2 = 1;
664 x = 2;
665 if (y != 0) {
666 b2 = 0;
667 while (y != 0) {};
668 continue;
669 }
670 y = 2;
671 if (x != 2) {
672 b2 = 0;
673 while (b1 >= 1) {};
674 if (y != 2) {
675 while (y != 0) {};
676 continue;
677 }
678 }
679 break;
680 }
681 X = 1;
682 if (!(X >= 1)) ERROR: goto ERROR;;
683 y = 0;
684 b2 = 0;
685}
686int main() {
687 pthread_t t1, t2;
688 pthread_create(&t1, 0, thr1, 0);
689 pthread_create(&t2, 0, thr2, 0);
690 pthread_join(t1, 0);
691 pthread_join(t2, 0);
692 return 0;