Showing error 2244

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.03_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

Source: 

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