Showing error 1458

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

Source: 

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