Showing error 2215

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

Source: 

719        }
720#line 571
721        if (cb != 0) {
722#line 572
723          if (s__state != state) {
724#line 573
725            new_state = s__state;
726#line 574
727            s__state = state;
728#line 575
729            s__state = new_state;
730          }
731        }
732      }
733    }
734#line 588
735    skip = 0;
736  }
737  while_0_break: /* CIL Label */ ;
738  }
739
740  end: 
741#line 593
742  s__in_handshake --;
743#line 594
744  if (cb != 0) {
745
746  }
747#line 599
748  return (ret);
749  ERROR: 
750#line 601
751  return (-1);
752}
753}
754#line 604 "s3_clnt_1_BUG.cil.c"
755int main(void) 
756{ int s ;
757
758  {
759  {
Show full sources
↑