Showing error 2235

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

Source: 

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