Showing error 68

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

Source: 

829        }
830#line 653
831        if (cb != 0) {
832#line 654
833          if (s__state != state) {
834#line 655
835            new_state = s__state;
836#line 656
837            s__state = state;
838#line 657
839            s__state = new_state;
840          }
841        }
842      }
843    }
844#line 670
845    skip = 0;
846  }
847  while_0_break: /* CIL Label */ ;
848  }
849
850  end: 
851#line 675
852  s__in_handshake --;
853#line 676
854  if (cb != 0) {
855
856  }
857#line 681
858  return (ret);
859  ERROR: 
860#line 683
861  return (-1);
862}
863}
864#line 686 "s3_srvr_7.cil.c"
865int main(void) 
866{ int s ;
867  int tmp ;
868
869  {
Show full sources
↑