Showing error 74

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

Source: 

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