1// Copyright 2019-2023 The Khronos Group Inc.
2//
3// SPDX-License-Identifier: CC-BY-4.0
4
5// Common Valid Usage
6ifndef::VK_KHR_maintenance5[]
7  * [[VUID-{refpage}-robustBufferAccess2-08797]]
8    If <<features-robustBufferAccess2, pname:robustBufferAccess2>> is not
9    enabled, [eq]#(code:indexSize {times} (pname:firstIndex {plus}
10    pname:indexCount) {plus} pname:offset)# must: be less than or equal to
11    the size of the bound index buffer, with code:indexSize being based on
12    the type specified by pname:indexType, where the index buffer,
13    pname:indexType, and pname:offset are specified via
14    fname:vkCmdBindIndexBuffer
15endif::VK_KHR_maintenance5[]
16ifdef::VK_KHR_maintenance5[]
17  * [[VUID-{refpage}-robustBufferAccess2-08798]]
18    If <<features-robustBufferAccess2, pname:robustBufferAccess2>> is not
19    enabled, [eq]#(code:indexSize {times} (pname:firstIndex {plus}
20    pname:indexCount) {plus} pname:offset)# must: be less than or equal to
21    the size of the bound index buffer, with code:indexSize being based on
22    the type specified by pname:indexType, where the index buffer,
23    pname:indexType, and pname:offset are specified via
24    fname:vkCmdBindIndexBuffer or fname:vkCmdBindIndexBuffer2KHR.
25    If fname:vkCmdBindIndexBuffer2KHR is used to bind the index buffer, the
26    size of the bound index buffer is
27    flink:vkCmdBindIndexBuffer2KHR::pname:size
28endif::VK_KHR_maintenance5[]
29// Common Valid Usage
30