Showing error 58

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

Source: 

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