Showing error 73

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.02.i.cil.c
Line in file: 1633
Project: SV-COMP 2012
Tools: Manual Work
Entered: 2012-11-19 13:47:39 UTC

Source: 

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