// Copyright 2019-2024 The Khronos Group Inc.
//
// SPDX-License-Identifier: CC-BY-4.0

// Common Valid Usage
  * [[VUID-{refpage}-robustBufferAccess2-08798]]
    If <<features-robustBufferAccess2, pname:robustBufferAccess2>> is not
    enabled, [eq]#(code:indexSize {times} (pname:firstIndex {plus}
    pname:indexCount) {plus} pname:offset)# must: be less than or equal to
    the size of the bound index buffer, with code:indexSize being based on
    the type specified by pname:indexType, where the index buffer,
    pname:indexType, and pname:offset are specified via
    fname:vkCmdBindIndexBuffer
ifdef::VK_KHR_maintenance5[]
    or fname:vkCmdBindIndexBuffer2KHR.
    If fname:vkCmdBindIndexBuffer2KHR is used to bind the index buffer, the
    size of the bound index buffer is
    flink:vkCmdBindIndexBuffer2KHR::pname:size
endif::VK_KHR_maintenance5[]
// Common Valid Usage
