Showing error 54

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_BUG.cil.c
Line in file: 843
Project: SV-COMP 2012
Tools: Manual Work
Entered: 2012-11-19 13:47:39 UTC

Source: 

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