Showing error 1803

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

Source: 

1334#line 20 "featureselect.c"
1335void select_helpers(void) 
1336{ 
1337
1338  {
1339#line 133 "featureselect.c"
1340  return;
1341}
1342}
1343#line 25 "featureselect.c"
1344int valid_product(void) 
1345{ int retValue_acc ;
1346
1347  {
1348#line 151 "featureselect.c"
1349  retValue_acc = 1;
1350#line 153
1351  return (retValue_acc);
1352#line 160
1353  return (retValue_acc);
1354}
1355}
1356#line 1 "wsllib_check.o"
1357#pragma merger(0,"wsllib_check.i","")
1358#line 3 "wsllib_check.c"
1359void __automaton_fail(void) 
1360{ 
1361
1362  {
1363  goto ERROR;
1364  ERROR: ;
1365#line 53 "wsllib_check.c"
1366  return;
1367}
1368}
1369#line 1 "ClientLib.o"
1370#pragma merger(0,"ClientLib.i","")
1371#line 4 "ClientLib.h"
1372int initClient(void) ;
1373#line 6
1374char *getClientName(int handle ) ;
Show full sources
↑