Showing error 64

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

Source: 

803        }
804#line 630
805        if (cb != 0) {
806#line 631
807          if (s__state != state) {
808#line 632
809            new_state = s__state;
810#line 633
811            s__state = state;
812#line 634
813            s__state = new_state;
814          }
815        }
816      }
817    }
818#line 647
819    skip = 0;
820  }
821  while_0_break: /* CIL Label */ ;
822  }
823
824  end: 
825#line 652
826  s__in_handshake --;
827#line 653
828  if (cb != 0) {
829
830  }
831#line 658
832  return (ret);
833  ERROR: 
834#line 660
835  return (-1);
836}
837}
838#line 663 "s3_srvr_3.cil.c"
839int main(void) 
840{ int s ;
841  int tmp ;
842
843  {
Show full sources
↑