Showing error 1652

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

Source: 

4759#line 20 "featureselect.c"
4760void select_helpers(void) 
4761{ 
4762
4763  {
4764#line 112 "featureselect.c"
4765  return;
4766}
4767}
4768#line 25 "featureselect.c"
4769int valid_product(void) 
4770{ int retValue_acc ;
4771
4772  {
4773#line 130 "featureselect.c"
4774  retValue_acc = 1;
4775#line 132
4776  return (retValue_acc);
4777#line 139
4778  return (retValue_acc);
4779}
4780}
4781#line 1 "wsllib_check.o"
4782#pragma merger(0,"wsllib_check.i","")
4783#line 3 "wsllib_check.c"
4784void __automaton_fail(void) 
4785{ 
4786
4787  {
4788  goto ERROR;
4789  ERROR: ;
4790#line 53 "wsllib_check.c"
4791  return;
4792}
4793}
Show full sources
↑