Showing error 1642

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

Source: 

5061#line 20 "featureselect.c"
5062void select_helpers(void) 
5063{ 
5064
5065  {
5066#line 112 "featureselect.c"
5067  return;
5068}
5069}
5070#line 25 "featureselect.c"
5071int valid_product(void) 
5072{ int retValue_acc ;
5073
5074  {
5075#line 130 "featureselect.c"
5076  retValue_acc = 1;
5077#line 132
5078  return (retValue_acc);
5079#line 139
5080  return (retValue_acc);
5081}
5082}
5083#line 1 "wsllib_check.o"
5084#pragma merger(0,"wsllib_check.i","")
5085#line 3 "wsllib_check.c"
5086void __automaton_fail(void) 
5087{ 
5088
5089  {
5090  goto ERROR;
5091  ERROR: ;
5092#line 53 "wsllib_check.c"
5093  return;
5094}
5095}
Show full sources
↑