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.04_safe.i.cil.c |
Line in file: | 1638 |
Project: | SV-COMP 2013 |
Project version: | 2.6.28 |
Tools: |
Manual Work
|
Entered: | 2013-01-17 16:57:54 UTC |
1608 } 1609 if ((unsigned long )cb != (unsigned long )((void *)0)) { 1610 if (s->state != state) { 1611 new_state = s->state; 1612 s->state = state; 1613 s->state = new_state; 1614 } else { 1615 1616 } 1617 } else { 1618 1619 } 1620 } else { 1621 1622 } 1623 } else { 1624 1625 } 1626 skip = 0; 1627 } 1628 while_0_break: /* CIL Label */ ; 1629 } 1630 end: 1631 s->in_handshake -= 1; 1632 if ((unsigned long )cb != (unsigned long )((void *)0)) { 1633 1634 } else { 1635 1636 } 1637 return (ret); 1638 ERROR: 1639 goto ERROR; 1640} 1641}