Showing error 45

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

Source: 

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