Showing error 2238

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

Source: 

833        }
834#line 653
835        if (cb != 0) {
836#line 654
837          if (s__state != state) {
838#line 655
839            new_state = s__state;
840#line 656
841            s__state = state;
842#line 657
843            s__state = new_state;
844          }
845        }
846      }
847    }
848#line 670
849    skip = 0;
850  }
851  while_0_break: /* CIL Label */ ;
852  }
853
854  end: 
855#line 675
856  s__in_handshake --;
857#line 676
858  if (cb != 0) {
859
860  }
861#line 681
862  return (ret);
863  ERROR: 
864#line 683
865  return (-1);
866}
867}
868#line 686 "s3_srvr_7.cil.c"
869int main(void) 
870{ int s ;
871  int tmp ;
872
873  {
Show full sources
↑