Showing error 60

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

Source: 

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