Showing error 2114

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

Source: 

1254#line 20 "featureselect.c"
1255void select_helpers(void) 
1256{ 
1257
1258  {
1259#line 111 "featureselect.c"
1260  return;
1261}
1262}
1263#line 25 "featureselect.c"
1264int valid_product(void) 
1265{ int retValue_acc ;
1266
1267  {
1268#line 129 "featureselect.c"
1269  retValue_acc = 1;
1270#line 131
1271  return (retValue_acc);
1272#line 138
1273  return (retValue_acc);
1274}
1275}
1276#line 1 "wsllib_check.o"
1277#pragma merger(0,"wsllib_check.i","")
1278#line 3 "wsllib_check.c"
1279void __automaton_fail(void) 
1280{ 
1281
1282  {
1283  goto ERROR;
1284  ERROR: ;
1285#line 53 "wsllib_check.c"
1286  return;
1287}
1288}
Show full sources
↑