Showing error 1552

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


Source:

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