Showing error 2214

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

Source: 

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