Showing error 2082

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

Source: 

1131#line 17
1132  if (tmp == 0) {
1133    {
1134#line 17
1135    tmp___0 = isPumpRunning();
1136    }
1137#line 17
1138    if (tmp___0) {
1139      {
1140#line 14
1141      __automaton_fail();
1142      }
1143    } else {
1144
1145    }
1146  } else {
1147
1148  }
1149#line 14
1150  return;
1151}
1152}
1153#line 1 "wsllib_check.o"
1154#pragma merger(0,"wsllib_check.i","")
1155#line 3 "wsllib_check.c"
1156void __automaton_fail(void) 
1157{ 
1158
1159  {
1160  goto ERROR;
1161  ERROR: ;
1162#line 53 "wsllib_check.c"
1163  return;
1164}
1165}
1166#line 1 "featureselect.o"
1167#pragma merger(0,"featureselect.i","")
1168#line 8 "featureselect.h"
1169int select_one(void) ;
1170#line 8 "featureselect.c"
1171int select_one(void)
Show full sources
↑