Showing error 67

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

Source: 

898        }
899#line 705
900        if (cb != 0) {
901#line 706
902          if (s__state != state) {
903#line 707
904            new_state = s__state;
905#line 708
906            s__state = state;
907#line 709
908            s__state = new_state;
909          }
910        }
911      }
912    }
913#line 722
914    skip = 0;
915  }
916  while_0_break: /* CIL Label */ ;
917  }
918
919  end: 
920#line 727
921  s__in_handshake --;
922#line 728
923  if (cb != 0) {
924
925  }
926#line 733
927  return (ret);
928  ERROR: 
929#line 735
930  return (-1);
931}
932}
933#line 738 "s3_srvr_6.cil.c"
934int main(void) 
935{ int s ;
936  int tmp ;
937
938  {
Show full sources
↑