Showing error 1469

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

Source: 

115        } else {}
116
117        if (p5 != 0) {
118            if (lk5 != 1) goto ERROR; // assertion failure
119            lk5 = 0;
120        } else {}
121
122        if (p6 != 0) {
123            if (lk6 != 1) goto ERROR; // assertion failure
124            lk6 = 0;
125        } else {}
126
127        if (p7 != 0) {
128            if (lk7 != 1) goto ERROR; // assertion failure
129            lk7 = 0;
130        } else {}
131
132        if (p8 != 0) {
133            if (lk8 != 1) goto ERROR; // assertion failure
134            lk8 = 0;
135        } else {}
136
137        if (p9 != 0) {
138            if (lk9 != 1) goto ERROR; // assertion failure
139            lk9 = 0;
140        } else {}
141
142    }
143  out:
144    return 0;
145  ERROR:
146    return 0;  
147}
148
Show full sources
↑