Showing error 2227

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

Source: 

832        }
833#line 633
834        if (cb != 0) {
835#line 634
836          if (s__state != state) {
837#line 635
838            new_state = s__state;
839#line 636
840            s__state = state;
841#line 637
842            s__state = new_state;
843          }
844        }
845      }
846    }
847#line 650
848    skip = 0;
849  }
850  while_0_break: /* CIL Label */ ;
851  }
852
853  end: 
854#line 655
855  s__in_handshake --;
856#line 656
857  if (cb != 0) {
858
859  }
860#line 661
861  return (ret);
862  ERROR: 
863#line 663
864  return (-1);
865}
866}
867
868#line 666 "s3_srvr_1.cil.c"
869int main(void) 
870{ int s ;
871  int tmp ;
872
Show full sources
↑