Showing error 1715

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

Source: 

4451#line 20 "featureselect.c"
4452void select_helpers(void) 
4453{ 
4454
4455  {
4456#line 133 "featureselect.c"
4457  return;
4458}
4459}
4460#line 25 "featureselect.c"
4461int valid_product(void) 
4462{ int retValue_acc ;
4463
4464  {
4465#line 151 "featureselect.c"
4466  retValue_acc = 1;
4467#line 153
4468  return (retValue_acc);
4469#line 160
4470  return (retValue_acc);
4471}
4472}
4473#line 1 "wsllib_check.o"
4474#pragma merger(0,"wsllib_check.i","")
4475#line 3 "wsllib_check.c"
4476void __automaton_fail(void) 
4477{ 
4478
4479  {
4480  goto ERROR;
4481  ERROR: ;
4482#line 53 "wsllib_check.c"
4483  return;
4484}
4485}
Show full sources
↑