Showing error 1908

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

Source: 

1197#line 24
1198      if (methAndRunningLastTime) {
1199        {
1200#line 21
1201        __automaton_fail();
1202        }
1203      } else {
1204#line 23
1205        methAndRunningLastTime = 1;
1206      }
1207    } else {
1208#line 26
1209      methAndRunningLastTime = 0;
1210    }
1211  } else {
1212#line 26
1213    methAndRunningLastTime = 0;
1214  }
1215#line 26
1216  return;
1217}
1218}
1219#line 1 "wsllib_check.o"
1220#pragma merger(0,"wsllib_check.i","")
1221#line 3 "wsllib_check.c"
1222void __automaton_fail(void) 
1223{ 
1224
1225  {
1226  goto ERROR;
1227  ERROR: ;
1228#line 53 "wsllib_check.c"
1229  return;
1230}
1231}
Show full sources
↑