Showing error 2228

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

Source: 

823     if(s__state == 8592){
824      if(tmp___1 != -12288){
825       if(tmp___2 != -16384){
826        if(__cil_tmp56 != 4294967040){
827         if(__cil_tmp58 != 4294967294){
828          if(tmp___7 != 1024){
829           if(tmp___7 != 512){
830            goto ERROR;
831           }
832          }
833         }
834        }
835       }
836      }
837     } 
838    }
839    skip = 0;
840  }
841  while_0_break: /* CIL Label */ ;
842  }
843
844  end: 
845#line 651
846  s__in_handshake --;
847#line 652
848  if (cb != 0) {
849
850  }
851#line 657
852  return (ret);
853  ERROR: 
854#line 659
855  return (-1);
856}
857}
858#line 662 "s3_srvr_2.cil.c"
859int main(void) 
860{ int s ;
861  int tmp ;
862
863  {
Show full sources
↑