Showing error 13

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_11.c
Line in file: 178
Project: SV-COMP 2012
Tools: Manual Work
Entered: 2012-11-19 13:47:39 UTC

Source: 

148        } else {}
149
150        if (p7 != 0) {
151            if (lk7 != 1) goto ERROR; // assertion failure
152            lk7 = 0;
153        } else {}
154
155        if (p8 != 0) {
156            if (lk8 != 1) goto ERROR; // assertion failure
157            lk8 = 0;
158        } else {}
159
160        if (p9 != 0) {
161            if (lk9 != 1) goto ERROR; // assertion failure
162            lk9 = 0;
163        } else {}
164
165        if (p10 != 0) {
166            if (lk10 != 1) goto ERROR; // assertion failure
167            lk10 = 0;
168        } else {}
169
170        if (p11 != 0) {
171            if (lk11 != 1) goto ERROR; // assertion failure
172            lk11 = 0;
173        } else {}
174
175    }
176  out:
177    return 0;
178  ERROR:
179    return 0;  
180}
181
Show full sources
↑