Showing error 50

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

Source: 

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