Showing error 1807

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

Source: 

1050#line 20 "featureselect.c"
1051void select_helpers(void) 
1052{ 
1053
1054  {
1055#line 133 "featureselect.c"
1056  return;
1057}
1058}
1059#line 25 "featureselect.c"
1060int valid_product(void) 
1061{ int retValue_acc ;
1062
1063  {
1064#line 151 "featureselect.c"
1065  retValue_acc = 1;
1066#line 153
1067  return (retValue_acc);
1068#line 160
1069  return (retValue_acc);
1070}
1071}
1072#line 1 "wsllib_check.o"
1073#pragma merger(0,"wsllib_check.i","")
1074#line 3 "wsllib_check.c"
1075void __automaton_fail(void) 
1076{ 
1077
1078  {
1079  goto ERROR;
1080  ERROR: ;
1081#line 53 "wsllib_check.c"
1082  return;
1083}
1084}
1085#line 1 "scenario.o"
1086#pragma merger(0,"scenario.i","")
1087#line 1 "scenario.c"
1088void test(void) 
1089{ int op1 ;
1090  int op2 ;
Show full sources
↑