User: | Jiri Slaby |
Error type: | Reachable Error Location |
Error type description: | A specified error location is reachable in some program path |
File location: | ssh/s3_clnt.blast.01_unsafe.i.cil.c |
Line in file: | 1641 |
Project: | SV-COMP 2013 |
Project version: | 2.6.28 |
Tools: |
Manual Work
|
Entered: | 2013-01-17 16:57:54 UTC |
1611 } 1612 if ((unsigned long )cb != (unsigned long )((void *)0)) { 1613 if (s->state != state) { 1614 new_state = s->state; 1615 s->state = state; 1616 s->state = new_state; 1617 } else { 1618 1619 } 1620 } else { 1621 1622 } 1623 } else { 1624 1625 } 1626 } else { 1627 1628 } 1629 skip = 0; 1630 } 1631 while_0_break: /* CIL Label */ ; 1632 } 1633 end: 1634 s->in_handshake -= 1; 1635 if ((unsigned long )cb != (unsigned long )((void *)0)) { 1636 1637 } else { 1638 1639 } 1640 return (ret); 1641 ERROR: 1642 goto ERROR; 1643} 1644}