Showing error 1553

User: Jiri Slaby
Error type: Reachable Error Location
Error type description: A specified error location is reachable in some program path
File location: ntdrivers/floppy_unsafe.i.cil.c
Line in file: 2098
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC


Source:

2068#pragma alloc_text(PAGE,FloppyAddDevice)
2069#pragma alloc_text(PAGE,FloppyPnp)
2070#pragma alloc_text(PAGE,FloppyPower)
2071#pragma alloc_text(PAGE,FlConfigCallBack)
2072#pragma alloc_text(PAGE,FlInitializeControllerHardware)
2073#pragma alloc_text(PAGE,FlInterpretError)
2074#pragma alloc_text(PAGE,FlDatarateSpecifyConfigure)
2075#pragma alloc_text(PAGE,FlRecalibrateDrive)
2076#pragma alloc_text(PAGE,FlDetermineMediaType)
2077#pragma alloc_text(PAGE,FlCheckBootSector)
2078#pragma alloc_text(PAGE,FlConsolidateMediaTypeWithBootSector)
2079#pragma alloc_text(PAGE,FlIssueCommand)
2080#pragma alloc_text(PAGE,FlReadWriteTrack)
2081#pragma alloc_text(PAGE,FlReadWrite)
2082#pragma alloc_text(PAGE,FlFormat)
2083#pragma alloc_text(PAGE,FlFinishOperation)
2084#pragma alloc_text(PAGE,FlStartDrive)
2085#pragma alloc_text(PAGE,FloppyThread)
2086#pragma alloc_text(PAGE,FlAllocateIoBuffer)
2087#pragma alloc_text(PAGE,FlFreeIoBuffer)
2088#pragma alloc_text(PAGE,FloppyCreateClose)
2089#pragma alloc_text(PAGE,FloppyDeviceControl)
2090#pragma alloc_text(PAGE,FloppyReadWrite)
2091#pragma alloc_text(PAGE,FlCheckFormatParameters)
2092#pragma alloc_text(PAGE,FlFdcDeviceIo)
2093#pragma alloc_text(PAGE,FlHdbit)
2094void errorFn(void) 
2095{ 
2096
2097  {
2098  ERROR: 
2099  goto ERROR;
2100}
2101}
2102NTSTATUS myStatus  ;
2103int s  ;
2104int UNLOADED  ;
2105int NP  ;
2106int DC  ;
2107int SKIP1  ;
2108int SKIP2  ;
Show full sources