Showing error 44

User: Jiri Slaby
Error type: Reachable Error Location
Error type description: A specified error location is reachable in some program path
File location: ssh-simplified/s3_clnt_1_BUG.cil.c
Line in file: 745
Project: SV-COMP 2012
Tools: Manual Work
Entered: 2012-11-19 13:47:39 UTC

Source: 

715        }
716#line 571
717        if (cb != 0) {
718#line 572
719          if (s__state != state) {
720#line 573
721            new_state = s__state;
722#line 574
723            s__state = state;
724#line 575
725            s__state = new_state;
726          }
727        }
728      }
729    }
730#line 588
731    skip = 0;
732  }
733  while_0_break: /* CIL Label */ ;
734  }
735
736  end: 
737#line 593
738  s__in_handshake --;
739#line 594
740  if (cb != 0) {
741
742  }
743#line 599
744  return (ret);
745  ERROR: 
746#line 601
747  return (-1);
748}
749}
750#line 604 "s3_clnt_1_BUG.cil.c"
751int main(void) 
752{ int s ;
753
754  {
755  {
Show full sources
↑