Showing error 2237

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

Source: 

905        }
906#line 705
907        if (cb != 0) {
908#line 706
909          if (s__state != state) {
910#line 707
911            new_state = s__state;
912#line 708
913            s__state = state;
914#line 709
915            s__state = new_state;
916          }
917        }
918      }
919    }
920#line 722
921    skip = 0;
922  }
923  while_0_break: /* CIL Label */ ;
924  }
925
926  end: 
927#line 727
928  s__in_handshake --;
929#line 728
930  if (cb != 0) {
931
932  }
933#line 733
934  return (ret);
935  ERROR: 
936#line 735
937  return (-1);
938}
939}
940#line 738 "s3_srvr_6.cil.c"
941int main(void) 
942{ int s ;
943  int tmp ;
944
945  {
Show full sources
↑