Showing error 1457

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

Source: 

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