1int get_exit_nondet()
2{
3 int retval;
4 return (retval);
5}
6
7int main()
8{
9 int p1;
10 int lk1;
11
12 int p2;
13 int lk2;
14
15 int p3;
16 int lk3;
17
18 int p4;
19 int lk4;
20
21 int p5;
22 int lk5;
23
24
25 int cond;
26
27 while(1) {
28 cond = get_exit_nondet();
29 if (cond == 0) {
30 goto out;
31 } else {}
32 lk1 = 0;
33
34 lk2 = 0;
35
36 lk3 = 0;
37
38 lk4 = 0;
39
40 lk5 = 0;
41
42
43
44 if (p1 != 0) {
45 lk1 = 1;
46 } else {}
47
48 if (p2 != 0) {
49 lk2 = 1;
50 } else {}
51
52 if (p3 != 0) {
53 lk3 = 1;
54 } else {}
55
56 if (p4 != 0) {
57 lk4 = 1;
58 } else {}
59
60 if (p5 != 0) {
61 lk5 = 1;
62 } else {}
63
64
65
66 if (p1 != 0) {
67 if (lk1 != 1) goto ERROR;
68 lk1 = 0;
69 } else {}
70
71 if (p2 != 0) {
72 if (lk2 != 1) goto ERROR;
73 lk2 = 0;
74 } else {}
75
76 if (p3 != 0) {
77 if (lk3 != 1) goto ERROR;
78 lk3 = 0;
79 } else {}
80
81 if (p4 != 0) {
82 if (lk4 != 1) goto ERROR;
83 lk4 = 0;
84 } else {}
85
86 if (p5 != 0) {
87 if (lk5 != 1) goto ERROR;
88 lk5 = 0;
89 } else {}
90
91 }
92 out:
93 return 0;
94 ERROR:
95 return 0;
96}
97