Showing error 2236

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

Source: 

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