| User: | Jiri Slaby |
| Error type: | Reachable Error Location |
| Error type description: | A specified error location is reachable in some program path |
| File location: | ntdrivers-simplified/floppy_simpl4_safe.cil.c |
| Line in file: | 2162 |
| Project: | SV-COMP 2013 |
| Project version: | 2.6.28 |
| Tools: |
Manual Work
|
| Entered: | 2013-01-17 16:57:54 UTC |
2132 } else { 2133#line 1515 2134 Irp__IoStatus__Status = 259; 2135#line 1516 2136 myStatus = 259; 2137#line 1517 2138 //Irp__Tail__Overlay__CurrentStackLocation__Control |= 1; 2139#line 1518 2140 if (pended == 0) { 2141#line 1519 2142 pended = 1; 2143 } else { 2144 { 2145#line 1522 2146 errorFn(); 2147 } 2148 } 2149#line 1525 2150 ntStatus = 259; 2151 } 2152#line 1527 2153 return (ntStatus); 2154} 2155} 2156 2157void errorFn(void) 2158{ 2159 2160 { 2161 goto ERROR; 2162 ERROR: 2163#line 53 2164 return; 2165} 2166}