Showing error 56

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

Source: 

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
849void ERR(){
850   ERROR:
851   printf("error");
852   return (-1);
853}
854#line 666 "s3_srvr_1.cil.c"
855int main(void) 
856{ int s ;
857  int tmp ;
858
859  {
860  {
Show full sources
↑