Showing error 65

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

Source: 

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