Showing error 2216

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

Source: 

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