Showing error 2240

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_safe.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

Source: 

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}
Show full sources
↑