Showing error 2224

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

Source: 

818        }
819#line 633
820        if (cb != 0) {
821#line 634
822          if (s__state != state) {
823#line 635
824            new_state = s__state;
825#line 636
826            s__state = state;
827#line 637
828            s__state = new_state;
829          }
830        }
831      }
832    }
833#line 650
834    skip = 0;
835  }
836  while_0_break: /* CIL Label */ ;
837  }
838
839  end: 
840#line 655
841  s__in_handshake --;
842#line 656
843  if (cb != 0) {
844
845  }
846#line 661
847  return (ret);
848  //ERROR: 
849#line 663
850  //return (-1);
851}
852}
853
854void ERR(){
855   ERROR:
856   printf("error");
857   return;
858}
Show full sources
↑