Showing error 2229

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

Source: 

921        }
922#line 705
923        if (cb != 0) {
924#line 706
925          if (s__state != state) {
926#line 707
927            new_state = s__state;
928#line 708
929            s__state = state;
930#line 709
931            s__state = new_state;
932          }
933        }
934      }
935    }
936#line 722
937    skip = 0;
938  }
939  while_0_break: /* CIL Label */ ;
940  }
941
942  end: 
943#line 727
944  s__in_handshake --;
945#line 728
946  if (cb != 0) {
947
948  }
949#line 733
950  return (ret);
951  ERROR: 
952#line 735
953  return (-1);
954}
955}
956#line 738 "s3_srvr_6.cil.c"
957int main(void) 
958{ int s ;
959  int tmp ;
960
961  {
Show full sources
↑