Showing error 1983

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


Source:

 200#line 20 "featureselect.c"
 201void select_helpers(void) 
 202{ 
 203
 204  {
 205#line 111 "featureselect.c"
 206  return;
 207}
 208}
 209#line 25 "featureselect.c"
 210int valid_product(void) 
 211{ int retValue_acc ;
 212
 213  {
 214#line 129 "featureselect.c"
 215  retValue_acc = 1;
 216#line 131
 217  return (retValue_acc);
 218#line 138
 219  return (retValue_acc);
 220}
 221}
 222#line 1 "wsllib_check.o"
 223#pragma merger(0,"wsllib_check.i","")
 224#line 3 "wsllib_check.c"
 225void __automaton_fail(void) 
 226{ 
 227
 228  {
 229  goto ERROR;
 230  ERROR: ;
 231#line 53 "wsllib_check.c"
 232  return;
 233}
 234}
 235#line 1 "Test.o"
 236#pragma merger(0,"Test.i","")
 237#line 8 "Test.c"
 238int cleanupTimeShifts  =    4;
 239#line 11 "Test.c"
 240#line 20 "Test.c"
Show full sources