Showing error 1556

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

Source: 

 2218                          PIRP Irp , PSYSCTL_IRP_DISPOSITION IrpDisposition ) ;
 2219void PptCompleteRequest(PIRP Irp , CCHAR PriorityBoost ) ;
 2220ULONG PptDebugLevel ;
 2221ULONG PptBreakOn ;
 2222UNICODE_STRING RegistryPath ;
 2223UCHAR PptDot3Retries ;
 2224union _LARGE_INTEGER  const  PhysicalZero ;
 2225LONG PortInfoReferenceCount ;
 2226PFAST_MUTEX PortInfoMutex ;
 2227int s ;
 2228int UNLOADED  ;
 2229int NP  ;
 2230int DC  ;
 2231int SKIP1  ;
 2232int SKIP2  ;
 2233int MPR1  ;
 2234int MPR3  ;
 2235int IPC  ;
 2236int pended  ;
 2237NTSTATUS (*compFptr)(PDEVICE_OBJECT DeviceObject , PIRP Irp , PVOID Context )  ;
 2238int compRegistered  ;
 2239int lowerDriverReturn  ;
 2240int setEventCalled  ;
 2241int customIrp  ;
 2242int myStatus  ;
 2243int routine  ;
 2244void errorFn(void) 
 2245{ 
 2246
 2247  {
 2248  ERROR: 
 2249  goto ERROR;
 2250}
 2251}
 2252NTSTATUS PptWmiInitWmi(PDEVICE_OBJECT DeviceObject ) ;
 2253NTSTATUS PptDispatchSystemControl(PDEVICE_OBJECT DeviceObject , PIRP Irp ) ;
 2254void PptPnpInitDispatchFunctionTable(void) ;
 2255NTSTATUS PptPnpAddDevice(PDRIVER_OBJECT pDriverObject , PDEVICE_OBJECT pPhysicalDeviceObject ) ;
 2256NTSTATUS PptDispatchPnp(PDEVICE_OBJECT DeviceObject , PIRP Irp ) ;
 2257NTSTATUS PptFailRequest(PIRP Irp , NTSTATUS Status ) ;
 2258NTSTATUS PptDispatchPreProcessIrp(PDEVICE_OBJECT DeviceObject , PIRP Irp ) ;
Show full sources
↑