Showing error 16

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

Source: 

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