Showing error 15

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

Source: 

176        } else {}
177
178        if (p9 != 0) {
179            if (lk9 != 1) goto ERROR; // assertion failure
180            lk9 = 0;
181        } else {}
182
183        if (p10 != 0) {
184            if (lk10 != 1) goto ERROR; // assertion failure
185            lk10 = 0;
186        } else {}
187
188        if (p11 != 0) {
189            if (lk11 != 1) goto ERROR; // assertion failure
190            lk11 = 0;
191        } else {}
192
193        if (p12 != 0) {
194            if (lk12 != 1) goto ERROR; // assertion failure
195            lk12 = 0;
196        } else {}
197
198        if (p13 != 0) {
199            if (lk13 != 1) goto ERROR; // assertion failure
200            lk13 = 0;
201        } else {}
202
203    }
204  out:
205    return 0;
206  ERROR:
207    return 0;  
208}
209
Show full sources
↑