VM.assert(method.getBytecodes() != null); VM.assert(isValid(summaries[idx]));
VM._assert(method.getBytecodes() != null); VM._assert(isValid(summaries[idx]));
  private static VM_Field[] getWriteSummary(VM_Method method) {    int idx = method.getDictionaryId();    if (VM.VerifyAssertions) {      VM.assert(method.getBytecodes() != null);      VM.assert(isValid(summaries[idx]));    }    return writeSets[idx];  }