Showing error 66

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

Source: 

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