Showing error 2239

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

Source: 

843        }
844#line 654
845        if (cb != 0) {
846#line 655
847          if (s__state != state) {
848#line 656
849            new_state = s__state;
850#line 657
851            s__state = state;
852#line 658
853            s__state = new_state;
854          }
855        }
856      }
857    }
858#line 671
859    skip = 0;
860  }
861  while_0_break: /* CIL Label */ ;
862  }
863
864  end: 
865#line 676
866  s__in_handshake --;
867#line 677
868  if (cb != 0) {
869
870  }
871#line 682
872  return (ret);
873  ERROR: 
874#line 684
875  return (-1);
876}
877}
878#line 687 "s3_srvr_8.cil.c"
879int main(void) 
880{ int s ;
881  int tmp ;
882
883  {
Show full sources
↑