Showing error 71

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

Source: 

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