Showing error 1466

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

Source: 

 73        } else {}
 74
 75        if (p2 != 0) {
 76            if (lk2 != 1) goto ERROR; // assertion failure
 77            lk2 = 0;
 78        } else {}
 79
 80        if (p3 != 0) {
 81            if (lk3 != 1) goto ERROR; // assertion failure
 82            lk3 = 0;
 83        } else {}
 84
 85        if (p4 != 0) {
 86            if (lk4 != 1) goto ERROR; // assertion failure
 87            lk4 = 0;
 88        } else {}
 89
 90        if (p5 != 0) {
 91            if (lk5 != 1) goto ERROR; // assertion failure
 92            lk5 = 0;
 93        } else {}
 94
 95        if (p6 != 0) {
 96            if (lk6 != 1) goto ERROR; // assertion failure
 97            lk6 = 0;
 98        } else {}
 99
100    }
101  out:
102    return 0;
103  ERROR:
104    return 0;  
105}
106
Show full sources
↑