Showing error 1519

User: Jiri Slaby
Error type: Reachable Error Location
Error type description: A specified error location is reachable in some program path
File location: loops/s3_unsafe.i
Line in file: 1639
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC

Source: 

1609        }
1610        if ((unsigned long )cb != (unsigned long )((void *)0)) {
1611          if (s->state != state) {
1612            new_state = s->state;
1613            s->state = state;
1614            s->state = new_state;
1615          } else {
1616
1617          }
1618        } else {
1619
1620        }
1621      } else {
1622
1623      }
1624    } else {
1625
1626    }
1627    skip = 0;
1628  }
1629  while_0_break: ;
1630  }
1631  end:
1632  s->in_handshake -= 1;
1633  if ((unsigned long )cb != (unsigned long )((void *)0)) {
1634
1635  } else {
1636
1637  }
1638  return (ret);
1639  ERROR:
1640  goto ERROR;
1641}
1642}
Show full sources
↑