Showing error 2124

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

Source: 

1340    }
1341#line 31
1342    if (tmp___0) {
1343#line 31
1344      if (! switchedOnBeforeTS) {
1345        {
1346#line 28
1347        __automaton_fail();
1348        }
1349      } else {
1350
1351      }
1352    } else {
1353
1354    }
1355  } else {
1356
1357  }
1358#line 28
1359  return;
1360}
1361}
1362#line 1 "wsllib_check.o"
1363#pragma merger(0,"wsllib_check.i","")
1364#line 3 "wsllib_check.c"
1365void __automaton_fail(void) 
1366{ 
1367
1368  {
1369  goto ERROR;
1370  ERROR: ;
1371#line 53 "wsllib_check.c"
1372  return;
1373}
1374}
Show full sources
↑