Showing error 1567

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

Source: 

1296  {
1297#line 941
1298#line 941
1299  if (status < 0) {
1300    {
1301#line 943
1302    Irp__IoStatus__Status = status;
1303#line 944
1304    myStatus = status;
1305#line 945
1306    IofCompleteRequest(Irp, 0);
1307    }
1308#line 947
1309    return (status);
1310  }
1311  }
1312  {
1313#line 952
1314  tmp = KbFilter_DispatchPassThrough(DeviceObject, Irp);
1315  }
1316#line 954
1317  return (tmp);
1318}
1319}
1320
1321void errorFn(void) 
1322{ 
1323
1324  {
1325  goto ERROR;
1326  ERROR: 
1327#line 29
1328  return;
1329}
1330}
Show full sources
↑