Showing error 2218

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

Source: 

758        }
759#line 570
760        if (cb != 0) {
761#line 571
762          if (s__state != state) {
763#line 572
764            new_state = s__state;
765#line 573
766            s__state = state;
767#line 574
768            s__state = new_state;
769          }
770        }
771      }
772    }
773#line 587
774    skip = 0;
775  }
776  while_0_break: /* CIL Label */ ;
777  }
778
779  end: 
780#line 592
781  s__in_handshake --;
782#line 593
783  if (cb != 0) {
784
785  }
786#line 598
787  return (ret);
788  ERROR: 
789#line 600
790  return (-1);
791}
792}
793#line 603 "s3_clnt_3.cil.c"
794int main(void) 
795{ int s ;
796
797  {
798  {
Show full sources
↑