Showing error 2140

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

Source: 

1165#line 85
1166  tmp = valid_product();
1167  }
1168#line 85
1169  if (tmp) {
1170    {
1171#line 86
1172    setup();
1173#line 87
1174    runTest();
1175    }
1176  } else {
1177
1178  }
1179#line 1234 "Test.c"
1180  retValue_acc = 0;
1181#line 1236
1182  return (retValue_acc);
1183#line 1243
1184  return (retValue_acc);
1185}
1186}
1187#line 1 "wsllib_check.o"
1188#pragma merger(0,"wsllib_check.i","")
1189#line 3 "wsllib_check.c"
1190void __automaton_fail(void) 
1191{ 
1192
1193  {
1194  goto ERROR;
1195  ERROR: ;
1196#line 53 "wsllib_check.c"
1197  return;
1198}
1199}
1200#line 1 "featureselect.o"
1201#pragma merger(0,"featureselect.i","")
1202#line 8 "featureselect.h"
1203int select_one(void) ;
1204#line 8 "featureselect.c"
1205int select_one(void)
Show full sources
↑