Showing error 59

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

Source: 

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