Showing error 1461

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

Source: 

185        } else {}
186
187        if (p10 != 0) {
188            if (lk10 != 1) goto ERROR; // assertion failure
189            lk10 = 0;
190        } else {}
191
192        if (p11 != 0) {
193            if (lk11 != 1) goto ERROR; // assertion failure
194            lk11 = 0;
195        } else {}
196
197        if (p12 != 0) {
198            if (lk12 != 1) goto ERROR; // assertion failure
199            lk12 = 0;
200        } else {}
201
202        if (p13 != 0) {
203            if (lk13 != 1) goto ERROR; // assertion failure
204            lk13 = 0;
205        } else {}
206
207        if (p14 != 0) {
208            if (lk14 != 1) goto ERROR; // assertion failure
209            lk14 = 0;
210        } else {}
211
212    }
213  out:
214    return 0;
215  ERROR:
216    return 0;  
217}
218
Show full sources
↑