Showing error 1638

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


Source:

4048#line 20 "featureselect.c"
4049void select_helpers(void) 
4050{ 
4051
4052  {
4053#line 112 "featureselect.c"
4054  return;
4055}
4056}
4057#line 25 "featureselect.c"
4058int valid_product(void) 
4059{ int retValue_acc ;
4060
4061  {
4062#line 130 "featureselect.c"
4063  retValue_acc = 1;
4064#line 132
4065  return (retValue_acc);
4066#line 139
4067  return (retValue_acc);
4068}
4069}
4070#line 1 "wsllib_check.o"
4071#pragma merger(0,"wsllib_check.i","")
4072#line 3 "wsllib_check.c"
4073void __automaton_fail(void) 
4074{ 
4075
4076  {
4077  goto ERROR;
4078  ERROR: ;
4079#line 53 "wsllib_check.c"
4080  return;
4081}
4082}
4083#line 1 "Test.o"
4084#pragma merger(0,"Test.i","")
4085#line 544 "/usr/include/stdlib.h"
4086extern  __attribute__((__nothrow__, __noreturn__)) void exit(int __status ) ;
4087#line 17 "Test.c"
4088#line 23 "Test.c"
Show full sources