Showing error 14

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

Source: 

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