Showing error 1848

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


Source:

 933#line 20 "featureselect.c"
 934void select_helpers(void) 
 935{ 
 936
 937  {
 938#line 111 "featureselect.c"
 939  return;
 940}
 941}
 942#line 25 "featureselect.c"
 943int valid_product(void) 
 944{ int retValue_acc ;
 945
 946  {
 947#line 129 "featureselect.c"
 948  retValue_acc = 1;
 949#line 131
 950  return (retValue_acc);
 951#line 138
 952  return (retValue_acc);
 953}
 954}
 955#line 1 "wsllib_check.o"
 956#pragma merger(0,"wsllib_check.i","")
 957#line 3 "wsllib_check.c"
 958void __automaton_fail(void) 
 959{ 
 960
 961  {
 962  goto ERROR;
 963  ERROR: ;
 964#line 53 "wsllib_check.c"
 965  return;
 966}
 967}
 968#line 1 "Test.o"
 969#pragma merger(0,"Test.i","")
 970#line 8 "Test.c"
 971int cleanupTimeShifts  =    4;
 972#line 11 "Test.c"
 973#line 17 "Test.c"
Show full sources