Showing error 2041

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

Source: 

1195#line 20 "featureselect.c"
1196void select_helpers(void) 
1197{ 
1198
1199  {
1200#line 111 "featureselect.c"
1201  return;
1202}
1203}
1204#line 25 "featureselect.c"
1205int valid_product(void) 
1206{ int retValue_acc ;
1207
1208  {
1209#line 129 "featureselect.c"
1210  retValue_acc = 1;
1211#line 131
1212  return (retValue_acc);
1213#line 138
1214  return (retValue_acc);
1215}
1216}
1217#line 1 "wsllib_check.o"
1218#pragma merger(0,"wsllib_check.i","")
1219#line 3 "wsllib_check.c"
1220void __automaton_fail(void) 
1221{ 
1222
1223  {
1224  goto ERROR;
1225  ERROR: ;
1226#line 53 "wsllib_check.c"
1227  return;
1228}
1229}
Show full sources
↑