Showing error 30

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.i.cil.c
Line in file: 2094
Project: SV-COMP 2012
Tools: Manual Work
Entered: 2012-11-19 13:47:39 UTC


Source:

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