Showing error 1999

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


Source:

 789#line 20 "featureselect.c"
 790void select_helpers(void) 
 791{ 
 792
 793  {
 794#line 111 "featureselect.c"
 795  return;
 796}
 797}
 798#line 25 "featureselect.c"
 799int valid_product(void) 
 800{ int retValue_acc ;
 801
 802  {
 803#line 129 "featureselect.c"
 804  retValue_acc = 1;
 805#line 131
 806  return (retValue_acc);
 807#line 138
 808  return (retValue_acc);
 809}
 810}
 811#line 1 "wsllib_check.o"
 812#pragma merger(0,"wsllib_check.i","")
 813#line 3 "wsllib_check.c"
 814void __automaton_fail(void) 
 815{ 
 816
 817  {
 818  goto ERROR;
 819  ERROR: ;
 820#line 53 "wsllib_check.c"
 821  return;
 822}
 823}
 824#line 1 "Test.o"
 825#pragma merger(0,"Test.i","")
 826#line 8 "Test.c"
 827int cleanupTimeShifts  =    4;
 828#line 11 "Test.c"
 829#line 20 "Test.c"
Show full sources