Showing error 23

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

Source: 

106        } else {}
107
108        if (p4 != 0) {
109            if (lk4 != 1) goto ERROR; // assertion failure
110            lk4 = 0;
111        } else {}
112
113        if (p5 != 0) {
114            if (lk5 != 1) goto ERROR; // assertion failure
115            lk5 = 0;
116        } else {}
117
118        if (p6 != 0) {
119            if (lk6 != 1) goto ERROR; // assertion failure
120            lk6 = 0;
121        } else {}
122
123        if (p7 != 0) {
124            if (lk7 != 1) goto ERROR; // assertion failure
125            lk7 = 0;
126        } else {}
127
128        if (p8 != 0) {
129            if (lk8 != 1) goto ERROR; // assertion failure
130            lk8 = 0;
131        } else {}
132
133    }
134  out:
135    return 0;
136  ERROR:
137    return 0;  
138}
139
Show full sources
↑