Showing error 69

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

Source: 

839        }
840#line 654
841        if (cb != 0) {
842#line 655
843          if (s__state != state) {
844#line 656
845            new_state = s__state;
846#line 657
847            s__state = state;
848#line 658
849            s__state = new_state;
850          }
851        }
852      }
853    }
854#line 671
855    skip = 0;
856  }
857  while_0_break: /* CIL Label */ ;
858  }
859
860  end: 
861#line 676
862  s__in_handshake --;
863#line 677
864  if (cb != 0) {
865
866  }
867#line 682
868  return (ret);
869  ERROR: 
870#line 684
871  return (-1);
872}
873}
874#line 687 "s3_srvr_8.cil.c"
875int main(void) 
876{ int s ;
877  int tmp ;
878
879  {
Show full sources
↑