Showing error 1566

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

Source: 

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