Showing error 1982

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

Source: 

1220#line 85
1221  tmp = valid_product();
1222  }
1223#line 85
1224  if (tmp) {
1225    {
1226#line 86
1227    setup();
1228#line 87
1229    runTest();
1230    }
1231  } else {
1232
1233  }
1234#line 1226 "Test.c"
1235  retValue_acc = 0;
1236#line 1228
1237  return (retValue_acc);
1238#line 1235
1239  return (retValue_acc);
1240}
1241}
1242#line 1 "wsllib_check.o"
1243#pragma merger(0,"wsllib_check.i","")
1244#line 3 "wsllib_check.c"
1245void __automaton_fail(void) 
1246{ 
1247
1248  {
1249  goto ERROR;
1250  ERROR: ;
1251#line 53 "wsllib_check.c"
1252  return;
1253}
1254}
Show full sources
↑