Showing error 1468

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

Source: 

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