Showing error 61

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

Source: 

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