Showing error 1460

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_safe.c
Line in file: 201
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC

Source: 

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