Showing error 57

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

Source: 

827        }
828#line 633
829        if (cb != 0) {
830#line 634
831          if (s__state != state) {
832#line 635
833            new_state = s__state;
834#line 636
835            s__state = state;
836#line 637
837            s__state = new_state;
838          }
839        }
840      }
841    }
842#line 650
843    skip = 0;
844  }
845  while_0_break: /* CIL Label */ ;
846  }
847
848  end: 
849#line 655
850  s__in_handshake --;
851#line 656
852  if (cb != 0) {
853
854  }
855#line 661
856  return (ret);
857  ERROR: 
858#line 663
859  return (-1);
860}
861}
862
863#line 666 "s3_srvr_1.cil.c"
864int main(void) 
865{ int s ;
866  int tmp ;
867
Show full sources
↑