Showing error 2234

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_3_safe.cil.c
Line in file: 837
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC

Source: 

807        }
808#line 630
809        if (cb != 0) {
810#line 631
811          if (s__state != state) {
812#line 632
813            new_state = s__state;
814#line 633
815            s__state = state;
816#line 634
817            s__state = new_state;
818          }
819        }
820      }
821    }
822#line 647
823    skip = 0;
824  }
825  while_0_break: /* CIL Label */ ;
826  }
827
828  end: 
829#line 652
830  s__in_handshake --;
831#line 653
832  if (cb != 0) {
833
834  }
835#line 658
836  return (ret);
837  ERROR: 
838#line 660
839  return (-1);
840}
841}
842#line 663 "s3_srvr_3.cil.c"
843int main(void) 
844{ int s ;
845  int tmp ;
846
847  {
Show full sources
↑