Showing error 33

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

Source: 

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