Showing error 12

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

Source: 

134        } else {}
135
136        if (p6 != 0) {
137            if (lk6 != 1) goto ERROR; // assertion failure
138            lk6 = 0;
139        } else {}
140
141        if (p7 != 0) {
142            if (lk7 != 1) goto ERROR; // assertion failure
143            lk7 = 0;
144        } else {}
145
146        if (p8 != 0) {
147            if (lk8 != 1) goto ERROR; // assertion failure
148            lk8 = 0;
149        } else {}
150
151        if (p9 != 0) {
152            if (lk9 != 1) goto ERROR; // assertion failure
153            lk9 = 0;
154        } else {}
155
156        if (p10 != 0) {
157            if (lk10 != 1) goto ERROR; // assertion failure
158            lk10 = 0;
159        } else {}
160
161    }
162  out:
163    return 0;
164  ERROR:
165    return 0;  
166}
167
Show full sources
↑