Showing error 2226

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

Source: 

817        }
818#line 633
819        if (cb != 0) {
820#line 634
821          if (s__state != state) {
822#line 635
823            new_state = s__state;
824#line 636
825            s__state = state;
826#line 637
827            s__state = new_state;
828          }
829        }
830      }
831    }
832#line 650
833    skip = 0;
834  }
835  while_0_break: /* CIL Label */ ;
836  }
837
838  end: 
839#line 655
840  s__in_handshake --;
841#line 656
842  if (cb != 0) {
843
844  }
845#line 661
846  return (ret);
847  ERROR: 
848#line 663
849  return (-1);
850}
851}
852#line 666 "s3_srvr_1_BUG.cil.c"
853int main(void) 
854{ int s ;
855  int tmp ;
856
857  {
Show full sources
↑