Showing error 1724

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

Source: 

4252#line 20 "featureselect.c"
4253void select_helpers(void) 
4254{ 
4255
4256  {
4257#line 133 "featureselect.c"
4258  return;
4259}
4260}
4261#line 25 "featureselect.c"
4262int valid_product(void) 
4263{ int retValue_acc ;
4264
4265  {
4266#line 151 "featureselect.c"
4267  retValue_acc = 1;
4268#line 153
4269  return (retValue_acc);
4270#line 160
4271  return (retValue_acc);
4272}
4273}
4274#line 1 "wsllib_check.o"
4275#pragma merger(0,"wsllib_check.i","")
4276#line 3 "wsllib_check.c"
4277void __automaton_fail(void) 
4278{ 
4279
4280  {
4281  goto ERROR;
4282  ERROR: ;
4283#line 53 "wsllib_check.c"
4284  return;
4285}
4286}
Show full sources
↑