Showing error 2231

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

Source: 

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