Showing error 2230

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

Source: 

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