Showing error 2141

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

Source: 

1290#line 20 "featureselect.c"
1291void select_helpers(void) 
1292{ 
1293
1294  {
1295#line 111 "featureselect.c"
1296  return;
1297}
1298}
1299#line 25 "featureselect.c"
1300int valid_product(void) 
1301{ int retValue_acc ;
1302
1303  {
1304#line 129 "featureselect.c"
1305  retValue_acc = 1;
1306#line 131
1307  return (retValue_acc);
1308#line 138
1309  return (retValue_acc);
1310}
1311}
1312#line 1 "wsllib_check.o"
1313#pragma merger(0,"wsllib_check.i","")
1314#line 3 "wsllib_check.c"
1315void __automaton_fail(void) 
1316{ 
1317
1318  {
1319  goto ERROR;
1320  ERROR: ;
1321#line 53 "wsllib_check.c"
1322  return;
1323}
1324}
Show full sources
↑