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.c |
Line in file: | 108 |
Project: | SV-COMP 2012 |
Tools: |
Manual Work
|
Entered: | 2012-11-19 13:47:39 UTC |
78 } else {} 79 80 if (p2 != 0) { 81 if (lk2 != 1) goto ERROR; // assertion failure 82 lk2 = 0; 83 } else {} 84 85 if (p3 != 0) { 86 if (lk3 != 1) goto ERROR; // assertion failure 87 lk3 = 0; 88 } else {} 89 90 if (p4 != 0) { 91 if (lk4 != 1) goto ERROR; // assertion failure 92 lk4 = 0; 93 } else {} 94 95 if (p5 != 0) { 96 if (lk5 != 1) goto ERROR; // assertion failure 97 lk5 = 0; 98 } else {} 99 100 if (p6 != 0) { 101 if (lk6 != 1) goto ERROR; // assertion failure 102 lk6 = 0; 103 } else {} 104 105 } 106 out: 107 return 0; 108 ERROR: 109 return 0; 110} 111