Showing error 1459

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

Source: 

157        } else {}
158
159        if (p8 != 0) {
160            if (lk8 != 1) goto ERROR; // assertion failure
161            lk8 = 0;
162        } else {}
163
164        if (p9 != 0) {
165            if (lk9 != 1) goto ERROR; // assertion failure
166            lk9 = 0;
167        } else {}
168
169        if (p10 != 0) {
170            if (lk10 != 1) goto ERROR; // assertion failure
171            lk10 = 0;
172        } else {}
173
174        if (p11 != 0) {
175            if (lk11 != 1) goto ERROR; // assertion failure
176            lk11 = 0;
177        } else {}
178
179        if (p12 != 0) {
180            if (lk12 != 1) goto ERROR; // assertion failure
181            lk12 = 0;
182        } else {}
183
184    }
185  out:
186    return 0;
187  ERROR:
188    return 0;  
189}
190
Show full sources
↑