Showing error 55

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.cil.c
Line in file: 843
Project: SV-COMP 2012
Tools: Manual Work
Entered: 2012-11-19 13:47:39 UTC

Source: 

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