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_7.c |
Line in file: | 122 |
Project: | SV-COMP 2012 |
Tools: |
Manual Work
|
Entered: | 2012-11-19 13:47:39 UTC |
92 } else {} 93 94 if (p3 != 0) { 95 if (lk3 != 1) goto ERROR; // assertion failure 96 lk3 = 0; 97 } else {} 98 99 if (p4 != 0) { 100 if (lk4 != 1) goto ERROR; // assertion failure 101 lk4 = 0; 102 } else {} 103 104 if (p5 != 0) { 105 if (lk5 != 1) goto ERROR; // assertion failure 106 lk5 = 0; 107 } else {} 108 109 if (p6 != 0) { 110 if (lk6 != 1) goto ERROR; // assertion failure 111 lk6 = 0; 112 } else {} 113 114 if (p7 != 0) { 115 if (lk7 != 1) goto ERROR; // assertion failure 116 lk7 = 0; 117 } else {} 118 119 } 120 out: 121 return 0; 122 ERROR: 123 return 0; 124} 125