Showing error 2225

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

Source: 

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