Showing error 24

User: Jiri Slaby
Error type: Reachable Error Location
Error type description: A specified error location is reachable in some program path
File location: locks/test_locks_9.c
Line in file: 150
Project: SV-COMP 2012
Tools: Manual Work
Entered: 2012-11-19 13:47:39 UTC

Source: 

120        } else {}
121
122        if (p5 != 0) {
123            if (lk5 != 1) goto ERROR; // assertion failure
124            lk5 = 0;
125        } else {}
126
127        if (p6 != 0) {
128            if (lk6 != 1) goto ERROR; // assertion failure
129            lk6 = 0;
130        } else {}
131
132        if (p7 != 0) {
133            if (lk7 != 1) goto ERROR; // assertion failure
134            lk7 = 0;
135        } else {}
136
137        if (p8 != 0) {
138            if (lk8 != 1) goto ERROR; // assertion failure
139            lk8 = 0;
140        } else {}
141
142        if (p9 != 0) {
143            if (lk9 != 1) goto ERROR; // assertion failure
144            lk9 = 0;
145        } else {}
146
147    }
148  out:
149    return 0;
150  ERROR:
151    return 0;  
152}
153
Show full sources
↑