blob: 6d09d848a03baa41be96f8c8355db2d1116c7e7a [file] [log] [blame]
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -07001/* Copyright (c) 2015-2019 The Khronos Group Inc.
2 * Copyright (c) 2015-2019 Valve Corporation
3 * Copyright (c) 2015-2019 LunarG, Inc.
4 * Copyright (C) 2015-2019 Google Inc.
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -06005 *
6 * Licensed under the Apache License, Version 2.0 (the "License");
7 * you may not use this file except in compliance with the License.
8 * You may obtain a copy of the License at
9 *
10 * http://www.apache.org/licenses/LICENSE-2.0
11 *
12 * Unless required by applicable law or agreed to in writing, software
13 * distributed under the License is distributed on an "AS IS" BASIS,
14 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
15 * See the License for the specific language governing permissions and
16 * limitations under the License.
17 *
18 * Author: Mark Lobodzinski <mark@lunarg.com>
19 * Author: Jon Ashburn <jon@lunarg.com>
20 * Author: Tobin Ehlis <tobin@lunarg.com>
21 */
22
Mark Lobodzinski0c668462018-09-27 10:13:19 -060023#include "chassis.h"
Mark Lobodzinskiadd93232018-10-09 11:49:42 -060024
Mark Lobodzinski63902f02018-09-21 10:36:44 -060025#include "object_lifetime_validation.h"
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -060026
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -060027uint64_t object_track_index = 0;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -060028
John Zulauf1c3844a2019-04-01 17:39:48 -060029VulkanTypedHandle ObjTrackStateTypedHandle(const ObjTrackState &track_state) {
30 // TODO: Unify Typed Handle representation (i.e. VulkanTypedHandle everywhere there are handle/type pairs)
31 VulkanTypedHandle typed_handle;
32 typed_handle.handle = track_state.handle;
33 typed_handle.type = track_state.object_type;
34 return typed_handle;
35}
36
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -060037// Destroy memRef lists and free all memory
Mark Lobodzinski0c668462018-09-27 10:13:19 -060038void ObjectLifetimes::DestroyQueueDataStructures(VkDevice device) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -060039 // Destroy the items in the queue map
Jeff Bolzfd3bb242019-08-22 06:10:49 -050040 auto snapshot = object_map[kVulkanObjectTypeQueue].snapshot();
41 for (const auto &queue : snapshot) {
42 uint32_t obj_index = queue.second->object_type;
Mark Lobodzinskiadd93232018-10-09 11:49:42 -060043 assert(num_total_objects > 0);
44 num_total_objects--;
45 assert(num_objects[obj_index] > 0);
46 num_objects[obj_index]--;
Jeff Bolzfd3bb242019-08-22 06:10:49 -050047 object_map[kVulkanObjectTypeQueue].erase(queue.first);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -060048 }
49}
50
Mark Lobodzinski9bd81192017-11-13 09:38:23 -070051// Look for this device object in any of the instance child devices lists.
52// NOTE: This is of dubious value. In most circumstances Vulkan will die a flaming death if a dispatchable object is invalid.
53// However, if this layer is loaded first and GetProcAddress is used to make API calls, it will detect bad DOs.
John Zulauf1c3844a2019-04-01 17:39:48 -060054bool ObjectLifetimes::ValidateDeviceObject(const VulkanTypedHandle &device_typed, const char *invalid_handle_code,
55 const char *wrong_device_code) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -060056 auto instance_data = GetLayerDataPtr(get_dispatch_key(instance), layer_data_map);
57 auto instance_object_lifetime_data = GetObjectLifetimeData(instance_data->object_dispatch);
Jeff Bolzfd3bb242019-08-22 06:10:49 -050058 if (instance_object_lifetime_data->object_map[kVulkanObjectTypeDevice].contains(device_typed.handle)) {
59 return false;
Mark Lobodzinski9bd81192017-11-13 09:38:23 -070060 }
John Zulauf1c3844a2019-04-01 17:39:48 -060061 return log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, VK_DEBUG_REPORT_OBJECT_TYPE_DEVICE_EXT, device_typed.handle,
locke-lunarg9edc2812019-06-17 23:18:52 -060062 invalid_handle_code, "Invalid %s.", report_data->FormatHandle(device_typed).c_str());
Mark Lobodzinski9bd81192017-11-13 09:38:23 -070063}
64
Mark Lobodzinski0c668462018-09-27 10:13:19 -060065void ObjectLifetimes::AllocateCommandBuffer(VkDevice device, const VkCommandPool command_pool, const VkCommandBuffer command_buffer,
66 VkCommandBufferLevel level) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -050067 auto pNewObjNode = std::make_shared<ObjTrackState>();
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -060068 pNewObjNode->object_type = kVulkanObjectTypeCommandBuffer;
69 pNewObjNode->handle = HandleToUint64(command_buffer);
70 pNewObjNode->parent_object = HandleToUint64(command_pool);
71 if (level == VK_COMMAND_BUFFER_LEVEL_SECONDARY) {
72 pNewObjNode->status = OBJSTATUS_COMMAND_BUFFER_SECONDARY;
73 } else {
74 pNewObjNode->status = OBJSTATUS_NONE;
75 }
Jeff Bolzfd3bb242019-08-22 06:10:49 -050076 InsertObject(object_map[kVulkanObjectTypeCommandBuffer], HandleToUint64(command_buffer), kVulkanObjectTypeCommandBuffer,
77 pNewObjNode);
Mark Lobodzinskiadd93232018-10-09 11:49:42 -060078 num_objects[kVulkanObjectTypeCommandBuffer]++;
79 num_total_objects++;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -060080}
81
Mark Lobodzinski0c668462018-09-27 10:13:19 -060082bool ObjectLifetimes::ValidateCommandBuffer(VkDevice device, VkCommandPool command_pool, VkCommandBuffer command_buffer) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -060083 bool skip = false;
84 uint64_t object_handle = HandleToUint64(command_buffer);
Jeff Bolzfd3bb242019-08-22 06:10:49 -050085 auto iter = object_map[kVulkanObjectTypeCommandBuffer].find(object_handle);
86 if (iter != object_map[kVulkanObjectTypeCommandBuffer].end()) {
87 auto pNode = iter->second;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -060088
89 if (pNode->parent_object != HandleToUint64(command_pool)) {
John Zulauf1c3844a2019-04-01 17:39:48 -060090 // We know that the parent *must* be a command pool
91 const auto parent_pool = CastFromUint64<VkCommandPool>(pNode->parent_object);
locke-lunarg9edc2812019-06-17 23:18:52 -060092 skip |= log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, VK_DEBUG_REPORT_OBJECT_TYPE_COMMAND_BUFFER_EXT,
93 object_handle, "VUID-vkFreeCommandBuffers-pCommandBuffers-parent",
94 "FreeCommandBuffers is attempting to free %s belonging to %s from %s).",
95 report_data->FormatHandle(command_buffer).c_str(), report_data->FormatHandle(parent_pool).c_str(),
96 report_data->FormatHandle(command_pool).c_str());
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -060097 }
98 } else {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -060099 skip |= log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, VK_DEBUG_REPORT_OBJECT_TYPE_COMMAND_BUFFER_EXT, object_handle,
locke-lunarg9edc2812019-06-17 23:18:52 -0600100 "VUID-vkFreeCommandBuffers-pCommandBuffers-00048", "Invalid %s.",
101 report_data->FormatHandle(command_buffer).c_str());
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600102 }
103 return skip;
104}
105
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600106void ObjectLifetimes::AllocateDescriptorSet(VkDevice device, VkDescriptorPool descriptor_pool, VkDescriptorSet descriptor_set) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500107 auto pNewObjNode = std::make_shared<ObjTrackState>();
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600108 pNewObjNode->object_type = kVulkanObjectTypeDescriptorSet;
109 pNewObjNode->status = OBJSTATUS_NONE;
110 pNewObjNode->handle = HandleToUint64(descriptor_set);
111 pNewObjNode->parent_object = HandleToUint64(descriptor_pool);
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500112 InsertObject(object_map[kVulkanObjectTypeDescriptorSet], HandleToUint64(descriptor_set), kVulkanObjectTypeDescriptorSet,
113 pNewObjNode);
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600114 num_objects[kVulkanObjectTypeDescriptorSet]++;
115 num_total_objects++;
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600116
117 auto itr = object_map[kVulkanObjectTypeDescriptorPool].find(HandleToUint64(descriptor_pool));
118 if (itr != object_map[kVulkanObjectTypeDescriptorPool].end()) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500119 itr->second->child_objects->insert(HandleToUint64(descriptor_set));
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600120 }
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600121}
122
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600123bool ObjectLifetimes::ValidateDescriptorSet(VkDevice device, VkDescriptorPool descriptor_pool, VkDescriptorSet descriptor_set) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600124 bool skip = false;
125 uint64_t object_handle = HandleToUint64(descriptor_set);
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600126 auto dsItem = object_map[kVulkanObjectTypeDescriptorSet].find(object_handle);
127 if (dsItem != object_map[kVulkanObjectTypeDescriptorSet].end()) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500128 if (dsItem->second->parent_object != HandleToUint64(descriptor_pool)) {
John Zulauf1c3844a2019-04-01 17:39:48 -0600129 // We know that the parent *must* be a descriptor pool
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500130 const auto parent_pool = CastFromUint64<VkDescriptorPool>(dsItem->second->parent_object);
John Zulauf1c3844a2019-04-01 17:39:48 -0600131 skip |= log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, VK_DEBUG_REPORT_OBJECT_TYPE_DESCRIPTOR_SET_EXT,
132 object_handle, "VUID-vkFreeDescriptorSets-pDescriptorSets-parent",
locke-lunarg9edc2812019-06-17 23:18:52 -0600133 "FreeDescriptorSets is attempting to free %s"
134 " belonging to %s from %s).",
John Zulauf1c3844a2019-04-01 17:39:48 -0600135 report_data->FormatHandle(descriptor_set).c_str(), report_data->FormatHandle(parent_pool).c_str(),
136 report_data->FormatHandle(descriptor_pool).c_str());
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600137 }
138 } else {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600139 skip |= log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, VK_DEBUG_REPORT_OBJECT_TYPE_DESCRIPTOR_SET_EXT, object_handle,
locke-lunarg9edc2812019-06-17 23:18:52 -0600140 "VUID-vkFreeDescriptorSets-pDescriptorSets-00310", "Invalid %s.",
141 report_data->FormatHandle(descriptor_set).c_str());
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600142 }
143 return skip;
144}
145
Dave Houltona9df0ce2018-02-07 10:51:23 -0700146template <typename DispObj>
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600147bool ObjectLifetimes::ValidateDescriptorWrite(DispObj disp, VkWriteDescriptorSet const *desc, bool isPush) {
Chris Forbes2c600e92017-10-20 11:13:20 -0700148 bool skip = false;
149
150 if (!isPush && desc->dstSet) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600151 skip |= ValidateObject(desc->dstSet, kVulkanObjectTypeDescriptorSet, false, "VUID-VkWriteDescriptorSet-dstSet-00320",
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600152 "VUID-VkWriteDescriptorSet-commonparent");
Chris Forbes2c600e92017-10-20 11:13:20 -0700153 }
154
155 if ((desc->descriptorType == VK_DESCRIPTOR_TYPE_UNIFORM_TEXEL_BUFFER) ||
156 (desc->descriptorType == VK_DESCRIPTOR_TYPE_STORAGE_TEXEL_BUFFER)) {
157 for (uint32_t idx2 = 0; idx2 < desc->descriptorCount; ++idx2) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600158 skip |= ValidateObject(desc->pTexelBufferView[idx2], kVulkanObjectTypeBufferView, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600159 "VUID-VkWriteDescriptorSet-descriptorType-00323", "VUID-VkWriteDescriptorSet-commonparent");
Chris Forbes2c600e92017-10-20 11:13:20 -0700160 }
161 }
162
163 if ((desc->descriptorType == VK_DESCRIPTOR_TYPE_COMBINED_IMAGE_SAMPLER) ||
Dave Houltona9df0ce2018-02-07 10:51:23 -0700164 (desc->descriptorType == VK_DESCRIPTOR_TYPE_SAMPLED_IMAGE) || (desc->descriptorType == VK_DESCRIPTOR_TYPE_STORAGE_IMAGE) ||
Chris Forbes2c600e92017-10-20 11:13:20 -0700165 (desc->descriptorType == VK_DESCRIPTOR_TYPE_INPUT_ATTACHMENT)) {
166 for (uint32_t idx3 = 0; idx3 < desc->descriptorCount; ++idx3) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600167 skip |= ValidateObject(desc->pImageInfo[idx3].imageView, kVulkanObjectTypeImageView, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600168 "VUID-VkWriteDescriptorSet-descriptorType-00326", "VUID-VkDescriptorImageInfo-commonparent");
Chris Forbes2c600e92017-10-20 11:13:20 -0700169 }
170 }
171
172 if ((desc->descriptorType == VK_DESCRIPTOR_TYPE_UNIFORM_BUFFER) ||
173 (desc->descriptorType == VK_DESCRIPTOR_TYPE_STORAGE_BUFFER) ||
174 (desc->descriptorType == VK_DESCRIPTOR_TYPE_UNIFORM_BUFFER_DYNAMIC) ||
175 (desc->descriptorType == VK_DESCRIPTOR_TYPE_STORAGE_BUFFER_DYNAMIC)) {
176 for (uint32_t idx4 = 0; idx4 < desc->descriptorCount; ++idx4) {
177 if (desc->pBufferInfo[idx4].buffer) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600178 skip |= ValidateObject(desc->pBufferInfo[idx4].buffer, kVulkanObjectTypeBuffer, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600179 "VUID-VkDescriptorBufferInfo-buffer-parameter", kVUIDUndefined);
Chris Forbes2c600e92017-10-20 11:13:20 -0700180 }
181 }
182 }
183
184 return skip;
185}
186
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600187bool ObjectLifetimes::PreCallValidateCmdPushDescriptorSetKHR(VkCommandBuffer commandBuffer, VkPipelineBindPoint pipelineBindPoint,
188 VkPipelineLayout layout, uint32_t set, uint32_t descriptorWriteCount,
189 const VkWriteDescriptorSet *pDescriptorWrites) {
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600190 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600191 skip |= ValidateObject(commandBuffer, kVulkanObjectTypeCommandBuffer, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600192 "VUID-vkCmdPushDescriptorSetKHR-commandBuffer-parameter", "VUID-vkCmdPushDescriptorSetKHR-commonparent");
Mark Lobodzinski39965742019-09-11 11:03:51 -0600193 skip |= ValidateObject(layout, kVulkanObjectTypePipelineLayout, false, "VUID-vkCmdPushDescriptorSetKHR-layout-parameter",
194 "VUID-vkCmdPushDescriptorSetKHR-commonparent");
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600195 if (pDescriptorWrites) {
196 for (uint32_t index0 = 0; index0 < descriptorWriteCount; ++index0) {
197 skip |= ValidateDescriptorWrite(commandBuffer, &pDescriptorWrites[index0], true);
198 }
199 }
200 return skip;
201}
202
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600203void ObjectLifetimes::CreateQueue(VkDevice device, VkQueue vkObj) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500204 std::shared_ptr<ObjTrackState> p_obj_node = NULL;
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600205 auto queue_item = object_map[kVulkanObjectTypeQueue].find(HandleToUint64(vkObj));
206 if (queue_item == object_map[kVulkanObjectTypeQueue].end()) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500207 p_obj_node = std::make_shared<ObjTrackState>();
208 InsertObject(object_map[kVulkanObjectTypeQueue], HandleToUint64(vkObj), kVulkanObjectTypeQueue, p_obj_node);
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600209 num_objects[kVulkanObjectTypeQueue]++;
210 num_total_objects++;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600211 } else {
212 p_obj_node = queue_item->second;
213 }
214 p_obj_node->object_type = kVulkanObjectTypeQueue;
215 p_obj_node->status = OBJSTATUS_NONE;
216 p_obj_node->handle = HandleToUint64(vkObj);
217}
218
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600219void ObjectLifetimes::CreateSwapchainImageObject(VkDevice dispatchable_object, VkImage swapchain_image, VkSwapchainKHR swapchain) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500220 if (!swapchainImageMap.contains(HandleToUint64(swapchain_image))) {
221 auto pNewObjNode = std::make_shared<ObjTrackState>();
222 pNewObjNode->object_type = kVulkanObjectTypeImage;
223 pNewObjNode->status = OBJSTATUS_NONE;
224 pNewObjNode->handle = HandleToUint64(swapchain_image);
225 pNewObjNode->parent_object = HandleToUint64(swapchain);
226 InsertObject(swapchainImageMap, HandleToUint64(swapchain_image), kVulkanObjectTypeImage, pNewObjNode);
227 }
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600228}
229
Mark Lobodzinskibe102ad2019-09-04 12:03:07 -0600230bool ObjectLifetimes::ReportLeakedInstanceObjects(VkInstance instance, VulkanObjectType object_type,
231 const std::string &error_code) {
Mark Lobodzinski7cef2632019-08-28 15:50:13 -0600232 bool skip = false;
233
234 auto snapshot = object_map[object_type].snapshot();
235 for (const auto &item : snapshot) {
236 const auto object_info = item.second;
237 skip |= log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, get_debug_report_enum[object_type], object_info->handle,
238 error_code, "OBJ ERROR : For %s, %s has not been destroyed.", report_data->FormatHandle(instance).c_str(),
239 report_data->FormatHandle(ObjTrackStateTypedHandle(*object_info)).c_str());
240 }
241 return skip;
242}
243
Mark Lobodzinskibe102ad2019-09-04 12:03:07 -0600244bool ObjectLifetimes::ReportLeakedDeviceObjects(VkDevice device, VulkanObjectType object_type, const std::string &error_code) {
Mark Lobodzinski5183a032018-09-13 14:44:28 -0600245 bool skip = false;
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500246
247 auto snapshot = object_map[object_type].snapshot();
248 for (const auto &item : snapshot) {
249 const auto object_info = item.second;
locke-lunarg9edc2812019-06-17 23:18:52 -0600250 skip |= log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, get_debug_report_enum[object_type], object_info->handle,
251 error_code, "OBJ ERROR : For %s, %s has not been destroyed.", report_data->FormatHandle(device).c_str(),
252 report_data->FormatHandle(ObjTrackStateTypedHandle(*object_info)).c_str());
Gabríel Arthúr Péturssonfdcb5402018-03-20 21:52:06 +0000253 }
Mark Lobodzinski5183a032018-09-13 14:44:28 -0600254 return skip;
Gabríel Arthúr Péturssonfdcb5402018-03-20 21:52:06 +0000255}
256
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600257bool ObjectLifetimes::PreCallValidateDestroyInstance(VkInstance instance, const VkAllocationCallbacks *pAllocator) {
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600258 bool skip = false;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600259
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600260 // We validate here for coverage, though we'd not have made it this for with a bad instance.
Mark Lobodzinski39965742019-09-11 11:03:51 -0600261 skip |= ValidateObject(instance, kVulkanObjectTypeInstance, true, "VUID-vkDestroyInstance-instance-parameter", kVUIDUndefined);
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600262
263 // Validate that child devices have been destroyed
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500264 auto snapshot = object_map[kVulkanObjectTypeDevice].snapshot();
265 for (const auto &iit : snapshot) {
266 auto pNode = iit.second;
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600267
268 VkDevice device = reinterpret_cast<VkDevice>(pNode->handle);
269 VkDebugReportObjectTypeEXT debug_object_type = get_debug_report_enum[pNode->object_type];
270
John Zulauf1c3844a2019-04-01 17:39:48 -0600271 skip |=
272 log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, debug_object_type, pNode->handle, kVUID_ObjectTracker_ObjectLeak,
273 "OBJ ERROR : %s object %s has not been destroyed.", string_VkDebugReportObjectTypeEXT(debug_object_type),
274 report_data->FormatHandle(ObjTrackStateTypedHandle(*pNode)).c_str());
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600275
Mark Lobodzinski7cef2632019-08-28 15:50:13 -0600276 // Throw errors if any device objects belonging to this instance have not been destroyed
277 skip |= ReportUndestroyedDeviceObjects(device, "VUID-vkDestroyDevice-device-00378");
Mark Lobodzinskibe102ad2019-09-04 12:03:07 -0600278 DestroyLeakedDeviceObjects(device);
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600279
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600280 skip |= ValidateDestroyObject(instance, device, kVulkanObjectTypeDevice, pAllocator,
281 "VUID-vkDestroyInstance-instance-00630", "VUID-vkDestroyInstance-instance-00631");
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600282 }
283
Mark Lobodzinski7cef2632019-08-28 15:50:13 -0600284 // Throw errors if any instance objects created on this instance have not been destroyed
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600285 ValidateDestroyObject(instance, instance, kVulkanObjectTypeInstance, pAllocator, "VUID-vkDestroyInstance-instance-00630",
286 "VUID-vkDestroyInstance-instance-00631");
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600287
Mark Lobodzinski7cef2632019-08-28 15:50:13 -0600288 // Report any remaining instance objects
289 skip |= ReportUndestroyedInstanceObjects(instance, "VUID-vkDestroyInstance-instance-00629");
Mark Lobodzinskibe102ad2019-09-04 12:03:07 -0600290 DestroyLeakedInstanceObjects(instance);
Mark Lobodzinski7cef2632019-08-28 15:50:13 -0600291
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600292 return skip;
293}
294
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600295bool ObjectLifetimes::PreCallValidateEnumeratePhysicalDevices(VkInstance instance, uint32_t *pPhysicalDeviceCount,
296 VkPhysicalDevice *pPhysicalDevices) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600297 bool skip = ValidateObject(instance, kVulkanObjectTypeInstance, false, "VUID-vkEnumeratePhysicalDevices-instance-parameter",
298 kVUIDUndefined);
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600299 return skip;
300}
301
302void ObjectLifetimes::PostCallRecordEnumeratePhysicalDevices(VkInstance instance, uint32_t *pPhysicalDeviceCount,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700303 VkPhysicalDevice *pPhysicalDevices, VkResult result) {
304 if ((result != VK_SUCCESS) && (result != VK_INCOMPLETE)) return;
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600305 if (pPhysicalDevices) {
306 for (uint32_t i = 0; i < *pPhysicalDeviceCount; i++) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600307 CreateObject(instance, pPhysicalDevices[i], kVulkanObjectTypePhysicalDevice, nullptr);
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600308 }
309 }
310}
311
312void ObjectLifetimes::PreCallRecordDestroyInstance(VkInstance instance, const VkAllocationCallbacks *pAllocator) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600313 // Destroy physical devices
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500314 auto snapshot = object_map[kVulkanObjectTypePhysicalDevice].snapshot();
315 for (const auto &iit : snapshot) {
316 auto pNode = iit.second;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600317 VkPhysicalDevice physical_device = reinterpret_cast<VkPhysicalDevice>(pNode->handle);
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600318 RecordDestroyObject(instance, physical_device, kVulkanObjectTypePhysicalDevice);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600319 }
320
Mark Lobodzinski9bd81192017-11-13 09:38:23 -0700321 // Destroy child devices
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500322 auto snapshot2 = object_map[kVulkanObjectTypeDevice].snapshot();
323 for (const auto &iit : snapshot2) {
324 auto pNode = iit.second;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600325 VkDevice device = reinterpret_cast<VkDevice>(pNode->handle);
Mark Lobodzinskibe102ad2019-09-04 12:03:07 -0600326 DestroyLeakedInstanceObjects(instance);
Mark Lobodzinski9bd81192017-11-13 09:38:23 -0700327
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600328 RecordDestroyObject(instance, device, kVulkanObjectTypeDevice);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600329 }
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600330}
331
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600332void ObjectLifetimes::PostCallRecordDestroyInstance(VkInstance instance, const VkAllocationCallbacks *pAllocator) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600333 RecordDestroyObject(instance, instance, kVulkanObjectTypeInstance);
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600334}
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600335
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600336bool ObjectLifetimes::PreCallValidateDestroyDevice(VkDevice device, const VkAllocationCallbacks *pAllocator) {
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600337 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600338 skip |= ValidateObject(device, kVulkanObjectTypeDevice, true, "VUID-vkDestroyDevice-device-parameter", kVUIDUndefined);
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600339 skip |= ValidateDestroyObject(physical_device, device, kVulkanObjectTypeDevice, pAllocator, "VUID-vkDestroyDevice-device-00379",
340 "VUID-vkDestroyDevice-device-00380");
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600341 // Report any remaining objects associated with this VkDevice object in LL
Mark Lobodzinski7cef2632019-08-28 15:50:13 -0600342 skip |= ReportUndestroyedDeviceObjects(device, "VUID-vkDestroyDevice-device-00378");
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600343
344 return skip;
345}
346
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600347void ObjectLifetimes::PreCallRecordDestroyDevice(VkDevice device, const VkAllocationCallbacks *pAllocator) {
Mark Lobodzinski52db2352018-12-28 09:41:15 -0700348 auto instance_data = GetLayerDataPtr(get_dispatch_key(physical_device), layer_data_map);
349 ValidationObject *validation_data = GetValidationObject(instance_data->object_dispatch, LayerObjectTypeObjectTracker);
350 ObjectLifetimes *object_lifetimes = static_cast<ObjectLifetimes *>(validation_data);
351 object_lifetimes->RecordDestroyObject(physical_device, device, kVulkanObjectTypeDevice);
Mark Lobodzinskibe102ad2019-09-04 12:03:07 -0600352 DestroyLeakedDeviceObjects(device);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600353
354 // Clean up Queue's MemRef Linked Lists
355 DestroyQueueDataStructures(device);
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600356}
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600357
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600358bool ObjectLifetimes::PreCallValidateGetDeviceQueue(VkDevice device, uint32_t queueFamilyIndex, uint32_t queueIndex,
359 VkQueue *pQueue) {
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600360 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600361 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkGetDeviceQueue-device-parameter", kVUIDUndefined);
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600362 return skip;
363}
Mark Lobodzinski439645a2017-07-19 15:18:15 -0600364
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600365void ObjectLifetimes::PostCallRecordGetDeviceQueue(VkDevice device, uint32_t queueFamilyIndex, uint32_t queueIndex,
366 VkQueue *pQueue) {
Jeff Bolzc31aae42019-08-12 20:29:43 -0500367 auto lock = write_shared_lock();
Mark Lobodzinski439645a2017-07-19 15:18:15 -0600368 CreateQueue(device, *pQueue);
Mark Lobodzinski439645a2017-07-19 15:18:15 -0600369}
370
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600371bool ObjectLifetimes::PreCallValidateGetDeviceQueue2(VkDevice device, const VkDeviceQueueInfo2 *pQueueInfo, VkQueue *pQueue) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600372 return ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkGetDeviceQueue2-device-parameter", kVUIDUndefined);
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600373}
374
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600375void ObjectLifetimes::PostCallRecordGetDeviceQueue2(VkDevice device, const VkDeviceQueueInfo2 *pQueueInfo, VkQueue *pQueue) {
Jeff Bolzc31aae42019-08-12 20:29:43 -0500376 auto lock = write_shared_lock();
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600377 CreateQueue(device, *pQueue);
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600378}
379
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600380bool ObjectLifetimes::PreCallValidateUpdateDescriptorSets(VkDevice device, uint32_t descriptorWriteCount,
381 const VkWriteDescriptorSet *pDescriptorWrites,
382 uint32_t descriptorCopyCount,
383 const VkCopyDescriptorSet *pDescriptorCopies) {
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600384 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600385 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkUpdateDescriptorSets-device-parameter", kVUIDUndefined);
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600386 if (pDescriptorCopies) {
387 for (uint32_t idx0 = 0; idx0 < descriptorCopyCount; ++idx0) {
388 if (pDescriptorCopies[idx0].dstSet) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600389 skip |= ValidateObject(pDescriptorCopies[idx0].dstSet, kVulkanObjectTypeDescriptorSet, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600390 "VUID-VkCopyDescriptorSet-dstSet-parameter", "VUID-VkCopyDescriptorSet-commonparent");
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600391 }
392 if (pDescriptorCopies[idx0].srcSet) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600393 skip |= ValidateObject(pDescriptorCopies[idx0].srcSet, kVulkanObjectTypeDescriptorSet, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600394 "VUID-VkCopyDescriptorSet-srcSet-parameter", "VUID-VkCopyDescriptorSet-commonparent");
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600395 }
396 }
397 }
398 if (pDescriptorWrites) {
399 for (uint32_t idx1 = 0; idx1 < descriptorWriteCount; ++idx1) {
400 skip |= ValidateDescriptorWrite(device, &pDescriptorWrites[idx1], false);
401 }
402 }
403 return skip;
404}
405
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600406bool ObjectLifetimes::PreCallValidateResetDescriptorPool(VkDevice device, VkDescriptorPool descriptorPool,
407 VkDescriptorPoolResetFlags flags) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600408 bool skip = false;
Jeff Bolzc31aae42019-08-12 20:29:43 -0500409 auto lock = read_shared_lock();
Mark Lobodzinski0de500d2018-09-14 15:14:01 -0600410
Mark Lobodzinski39965742019-09-11 11:03:51 -0600411 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkResetDescriptorPool-device-parameter", kVUIDUndefined);
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600412 skip |=
Mark Lobodzinski39965742019-09-11 11:03:51 -0600413 ValidateObject(descriptorPool, kVulkanObjectTypeDescriptorPool, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600414 "VUID-vkResetDescriptorPool-descriptorPool-parameter", "VUID-vkResetDescriptorPool-descriptorPool-parent");
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600415
416 auto itr = object_map[kVulkanObjectTypeDescriptorPool].find(HandleToUint64(descriptorPool));
417 if (itr != object_map[kVulkanObjectTypeDescriptorPool].end()) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500418 auto pPoolNode = itr->second;
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600419 for (auto set : *pPoolNode->child_objects) {
420 skip |= ValidateDestroyObject(device, (VkDescriptorSet)set, kVulkanObjectTypeDescriptorSet, nullptr, kVUIDUndefined,
421 kVUIDUndefined);
Mark Lobodzinski0de500d2018-09-14 15:14:01 -0600422 }
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600423 }
Mark Lobodzinski0de500d2018-09-14 15:14:01 -0600424 return skip;
425}
426
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600427void ObjectLifetimes::PreCallRecordResetDescriptorPool(VkDevice device, VkDescriptorPool descriptorPool,
428 VkDescriptorPoolResetFlags flags) {
Jeff Bolzc31aae42019-08-12 20:29:43 -0500429 auto lock = write_shared_lock();
Mark Lobodzinski0de500d2018-09-14 15:14:01 -0600430 // A DescriptorPool's descriptor sets are implicitly deleted when the pool is reset. Remove this pool's descriptor sets from
431 // our descriptorSet map.
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600432 auto itr = object_map[kVulkanObjectTypeDescriptorPool].find(HandleToUint64(descriptorPool));
433 if (itr != object_map[kVulkanObjectTypeDescriptorPool].end()) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500434 auto pPoolNode = itr->second;
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600435 for (auto set : *pPoolNode->child_objects) {
436 RecordDestroyObject(device, (VkDescriptorSet)set, kVulkanObjectTypeDescriptorSet);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600437 }
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600438 pPoolNode->child_objects->clear();
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600439 }
Mark Lobodzinski0de500d2018-09-14 15:14:01 -0600440}
441
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600442bool ObjectLifetimes::PreCallValidateBeginCommandBuffer(VkCommandBuffer command_buffer,
443 const VkCommandBufferBeginInfo *begin_info) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600444 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600445 skip |= ValidateObject(command_buffer, kVulkanObjectTypeCommandBuffer, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600446 "VUID-vkBeginCommandBuffer-commandBuffer-parameter", kVUIDUndefined);
Mark Lobodzinski0de500d2018-09-14 15:14:01 -0600447 if (begin_info) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500448 auto iter = object_map[kVulkanObjectTypeCommandBuffer].find(HandleToUint64(command_buffer));
449 if (iter != object_map[kVulkanObjectTypeCommandBuffer].end()) {
450 auto pNode = iter->second;
451 if ((begin_info->pInheritanceInfo) && (pNode->status & OBJSTATUS_COMMAND_BUFFER_SECONDARY) &&
452 (begin_info->flags & VK_COMMAND_BUFFER_USAGE_RENDER_PASS_CONTINUE_BIT)) {
453 skip |=
Mark Lobodzinski39965742019-09-11 11:03:51 -0600454 ValidateObject(begin_info->pInheritanceInfo->framebuffer, kVulkanObjectTypeFramebuffer, true,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600455 "VUID-VkCommandBufferBeginInfo-flags-00055", "VUID-VkCommandBufferInheritanceInfo-commonparent");
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500456 skip |=
Mark Lobodzinski39965742019-09-11 11:03:51 -0600457 ValidateObject(begin_info->pInheritanceInfo->renderPass, kVulkanObjectTypeRenderPass, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600458 "VUID-VkCommandBufferBeginInfo-flags-00053", "VUID-VkCommandBufferInheritanceInfo-commonparent");
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500459 }
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600460 }
461 }
Mark Lobodzinski0de500d2018-09-14 15:14:01 -0600462 return skip;
463}
464
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600465bool ObjectLifetimes::PreCallValidateGetSwapchainImagesKHR(VkDevice device, VkSwapchainKHR swapchain,
466 uint32_t *pSwapchainImageCount, VkImage *pSwapchainImages) {
Mark Lobodzinskibe4b3452018-09-14 16:14:33 -0600467 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600468 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkGetSwapchainImagesKHR-device-parameter",
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600469 "VUID-vkGetSwapchainImagesKHR-commonparent");
Mark Lobodzinski39965742019-09-11 11:03:51 -0600470 skip |= ValidateObject(swapchain, kVulkanObjectTypeSwapchainKHR, false, "VUID-vkGetSwapchainImagesKHR-swapchain-parameter",
471 "VUID-vkGetSwapchainImagesKHR-commonparent");
Mark Lobodzinskibe4b3452018-09-14 16:14:33 -0600472 return skip;
473}
474
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600475void ObjectLifetimes::PostCallRecordGetSwapchainImagesKHR(VkDevice device, VkSwapchainKHR swapchain, uint32_t *pSwapchainImageCount,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700476 VkImage *pSwapchainImages, VkResult result) {
477 if ((result != VK_SUCCESS) && (result != VK_INCOMPLETE)) return;
Jeff Bolzc31aae42019-08-12 20:29:43 -0500478 auto lock = write_shared_lock();
Mark Lobodzinskibe4b3452018-09-14 16:14:33 -0600479 if (pSwapchainImages != NULL) {
480 for (uint32_t i = 0; i < *pSwapchainImageCount; i++) {
481 CreateSwapchainImageObject(device, pSwapchainImages[i], swapchain);
482 }
483 }
484}
485
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600486bool ObjectLifetimes::PreCallValidateCreateDescriptorSetLayout(VkDevice device, const VkDescriptorSetLayoutCreateInfo *pCreateInfo,
487 const VkAllocationCallbacks *pAllocator,
488 VkDescriptorSetLayout *pSetLayout) {
Petr Kraus42f6f8d2017-12-17 17:37:33 +0100489 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600490 skip |=
491 ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkCreateDescriptorSetLayout-device-parameter", kVUIDUndefined);
Mark Lobodzinskibe4b3452018-09-14 16:14:33 -0600492 if (pCreateInfo) {
493 if (pCreateInfo->pBindings) {
494 for (uint32_t binding_index = 0; binding_index < pCreateInfo->bindingCount; ++binding_index) {
495 const VkDescriptorSetLayoutBinding &binding = pCreateInfo->pBindings[binding_index];
496 const bool is_sampler_type = binding.descriptorType == VK_DESCRIPTOR_TYPE_SAMPLER ||
497 binding.descriptorType == VK_DESCRIPTOR_TYPE_COMBINED_IMAGE_SAMPLER;
498 if (binding.pImmutableSamplers && is_sampler_type) {
499 for (uint32_t index2 = 0; index2 < binding.descriptorCount; ++index2) {
500 const VkSampler sampler = binding.pImmutableSamplers[index2];
Mark Lobodzinski39965742019-09-11 11:03:51 -0600501 skip |= ValidateObject(sampler, kVulkanObjectTypeSampler, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600502 "VUID-VkDescriptorSetLayoutBinding-descriptorType-00282", kVUIDUndefined);
Petr Kraus42f6f8d2017-12-17 17:37:33 +0100503 }
504 }
505 }
506 }
507 }
Mark Lobodzinskibe4b3452018-09-14 16:14:33 -0600508 return skip;
509}
510
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600511void ObjectLifetimes::PostCallRecordCreateDescriptorSetLayout(VkDevice device, const VkDescriptorSetLayoutCreateInfo *pCreateInfo,
512 const VkAllocationCallbacks *pAllocator,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700513 VkDescriptorSetLayout *pSetLayout, VkResult result) {
514 if (result != VK_SUCCESS) return;
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600515 CreateObject(device, *pSetLayout, kVulkanObjectTypeDescriptorSetLayout, pAllocator);
Mark Lobodzinskibe4b3452018-09-14 16:14:33 -0600516}
517
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600518bool ObjectLifetimes::ValidateSamplerObjects(VkDevice device, const VkDescriptorSetLayoutCreateInfo *pCreateInfo) {
Mark Lobodzinski88a1a662018-07-02 14:09:39 -0600519 bool skip = false;
520 if (pCreateInfo->pBindings) {
521 for (uint32_t index1 = 0; index1 < pCreateInfo->bindingCount; ++index1) {
522 for (uint32_t index2 = 0; index2 < pCreateInfo->pBindings[index1].descriptorCount; ++index2) {
523 if (pCreateInfo->pBindings[index1].pImmutableSamplers) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600524 skip |= ValidateObject(pCreateInfo->pBindings[index1].pImmutableSamplers[index2], kVulkanObjectTypeSampler,
525 true, "VUID-VkDescriptorSetLayoutBinding-descriptorType-00282", kVUIDUndefined);
Mark Lobodzinski88a1a662018-07-02 14:09:39 -0600526 }
527 }
528 }
529 }
530 return skip;
531}
532
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600533bool ObjectLifetimes::PreCallValidateGetDescriptorSetLayoutSupport(VkDevice device,
534 const VkDescriptorSetLayoutCreateInfo *pCreateInfo,
535 VkDescriptorSetLayoutSupport *pSupport) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600536 bool skip = ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkGetDescriptorSetLayoutSupport-device-parameter",
537 kVUIDUndefined);
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600538 if (pCreateInfo) {
539 skip |= ValidateSamplerObjects(device, pCreateInfo);
540 }
541 return skip;
542}
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600543bool ObjectLifetimes::PreCallValidateGetDescriptorSetLayoutSupportKHR(VkDevice device,
544 const VkDescriptorSetLayoutCreateInfo *pCreateInfo,
545 VkDescriptorSetLayoutSupport *pSupport) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600546 bool skip = ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkGetDescriptorSetLayoutSupportKHR-device-parameter",
547 kVUIDUndefined);
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600548 if (pCreateInfo) {
549 skip |= ValidateSamplerObjects(device, pCreateInfo);
550 }
551 return skip;
552}
553
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600554bool ObjectLifetimes::PreCallValidateGetPhysicalDeviceQueueFamilyProperties(VkPhysicalDevice physicalDevice,
555 uint32_t *pQueueFamilyPropertyCount,
556 VkQueueFamilyProperties *pQueueFamilyProperties) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600557 return ValidateObject(physicalDevice, kVulkanObjectTypePhysicalDevice, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600558 "VUID-vkGetPhysicalDeviceQueueFamilyProperties-physicalDevice-parameter", kVUIDUndefined);
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600559}
Mark Lobodzinski63902f02018-09-21 10:36:44 -0600560
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600561void ObjectLifetimes::PostCallRecordGetPhysicalDeviceQueueFamilyProperties(VkPhysicalDevice physicalDevice,
562 uint32_t *pQueueFamilyPropertyCount,
Jeff Bolz6d243112019-08-21 13:24:11 -0500563 VkQueueFamilyProperties *pQueueFamilyProperties) {}
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600564
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600565void ObjectLifetimes::PostCallRecordCreateInstance(const VkInstanceCreateInfo *pCreateInfo, const VkAllocationCallbacks *pAllocator,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700566 VkInstance *pInstance, VkResult result) {
567 if (result != VK_SUCCESS) return;
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600568 CreateObject(*pInstance, *pInstance, kVulkanObjectTypeInstance, pAllocator);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600569}
570
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600571bool ObjectLifetimes::PreCallValidateAllocateCommandBuffers(VkDevice device, const VkCommandBufferAllocateInfo *pAllocateInfo,
572 VkCommandBuffer *pCommandBuffers) {
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600573 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600574 skip |=
575 ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkAllocateCommandBuffers-device-parameter", kVUIDUndefined);
576 skip |= ValidateObject(pAllocateInfo->commandPool, kVulkanObjectTypeCommandPool, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600577 "VUID-VkCommandBufferAllocateInfo-commandPool-parameter", kVUIDUndefined);
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600578 return skip;
579}
580
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600581void ObjectLifetimes::PostCallRecordAllocateCommandBuffers(VkDevice device, const VkCommandBufferAllocateInfo *pAllocateInfo,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700582 VkCommandBuffer *pCommandBuffers, VkResult result) {
583 if (result != VK_SUCCESS) return;
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600584 for (uint32_t i = 0; i < pAllocateInfo->commandBufferCount; i++) {
585 AllocateCommandBuffer(device, pAllocateInfo->commandPool, pCommandBuffers[i], pAllocateInfo->level);
586 }
587}
588
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600589bool ObjectLifetimes::PreCallValidateAllocateDescriptorSets(VkDevice device, const VkDescriptorSetAllocateInfo *pAllocateInfo,
590 VkDescriptorSet *pDescriptorSets) {
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600591 bool skip = false;
Jeff Bolzc31aae42019-08-12 20:29:43 -0500592 auto lock = read_shared_lock();
Mark Lobodzinski39965742019-09-11 11:03:51 -0600593 skip |=
594 ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkAllocateDescriptorSets-device-parameter", kVUIDUndefined);
595 skip |= ValidateObject(pAllocateInfo->descriptorPool, kVulkanObjectTypeDescriptorPool, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600596 "VUID-VkDescriptorSetAllocateInfo-descriptorPool-parameter",
597 "VUID-VkDescriptorSetAllocateInfo-commonparent");
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600598 for (uint32_t i = 0; i < pAllocateInfo->descriptorSetCount; i++) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600599 skip |= ValidateObject(pAllocateInfo->pSetLayouts[i], kVulkanObjectTypeDescriptorSetLayout, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600600 "VUID-VkDescriptorSetAllocateInfo-pSetLayouts-parameter",
601 "VUID-VkDescriptorSetAllocateInfo-commonparent");
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600602 }
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600603 return skip;
604}
605
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600606void ObjectLifetimes::PostCallRecordAllocateDescriptorSets(VkDevice device, const VkDescriptorSetAllocateInfo *pAllocateInfo,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700607 VkDescriptorSet *pDescriptorSets, VkResult result) {
608 if (result != VK_SUCCESS) return;
Jeff Bolzc31aae42019-08-12 20:29:43 -0500609 auto lock = write_shared_lock();
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600610 for (uint32_t i = 0; i < pAllocateInfo->descriptorSetCount; i++) {
611 AllocateDescriptorSet(device, pAllocateInfo->descriptorPool, pDescriptorSets[i]);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600612 }
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600613}
614
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600615bool ObjectLifetimes::PreCallValidateFreeCommandBuffers(VkDevice device, VkCommandPool commandPool, uint32_t commandBufferCount,
616 const VkCommandBuffer *pCommandBuffers) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600617 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600618 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkFreeCommandBuffers-device-parameter", kVUIDUndefined);
619 skip |= ValidateObject(commandPool, kVulkanObjectTypeCommandPool, false, "VUID-vkFreeCommandBuffers-commandPool-parameter",
620 "VUID-vkFreeCommandBuffers-commandPool-parent");
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600621 for (uint32_t i = 0; i < commandBufferCount; i++) {
622 if (pCommandBuffers[i] != VK_NULL_HANDLE) {
623 skip |= ValidateCommandBuffer(device, commandPool, pCommandBuffers[i]);
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600624 skip |= ValidateDestroyObject(device, pCommandBuffers[i], kVulkanObjectTypeCommandBuffer, nullptr, kVUIDUndefined,
625 kVUIDUndefined);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600626 }
627 }
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600628 return skip;
629}
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600630
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600631void ObjectLifetimes::PreCallRecordFreeCommandBuffers(VkDevice device, VkCommandPool commandPool, uint32_t commandBufferCount,
632 const VkCommandBuffer *pCommandBuffers) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600633 for (uint32_t i = 0; i < commandBufferCount; i++) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600634 RecordDestroyObject(device, pCommandBuffers[i], kVulkanObjectTypeCommandBuffer);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600635 }
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600636}
637
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600638bool ObjectLifetimes::PreCallValidateDestroySwapchainKHR(VkDevice device, VkSwapchainKHR swapchain,
639 const VkAllocationCallbacks *pAllocator) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600640 return ValidateDestroyObject(device, swapchain, kVulkanObjectTypeSwapchainKHR, pAllocator,
641 "VUID-vkDestroySwapchainKHR-swapchain-01283", "VUID-vkDestroySwapchainKHR-swapchain-01284");
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600642}
643
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600644void ObjectLifetimes::PreCallRecordDestroySwapchainKHR(VkDevice device, VkSwapchainKHR swapchain,
645 const VkAllocationCallbacks *pAllocator) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600646 RecordDestroyObject(device, swapchain, kVulkanObjectTypeSwapchainKHR);
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500647
648 auto snapshot = swapchainImageMap.snapshot(
649 [swapchain](std::shared_ptr<ObjTrackState> pNode) { return pNode->parent_object == HandleToUint64(swapchain); });
650 for (const auto &itr : snapshot) {
651 swapchainImageMap.erase(itr.first);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600652 }
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600653}
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600654
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600655bool ObjectLifetimes::PreCallValidateFreeDescriptorSets(VkDevice device, VkDescriptorPool descriptorPool,
656 uint32_t descriptorSetCount, const VkDescriptorSet *pDescriptorSets) {
Jeff Bolzc31aae42019-08-12 20:29:43 -0500657 auto lock = read_shared_lock();
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600658 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600659 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkFreeDescriptorSets-device-parameter", kVUIDUndefined);
660 skip |= ValidateObject(descriptorPool, kVulkanObjectTypeDescriptorPool, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600661 "VUID-vkFreeDescriptorSets-descriptorPool-parameter", "VUID-vkFreeDescriptorSets-descriptorPool-parent");
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600662 for (uint32_t i = 0; i < descriptorSetCount; i++) {
663 if (pDescriptorSets[i] != VK_NULL_HANDLE) {
664 skip |= ValidateDescriptorSet(device, descriptorPool, pDescriptorSets[i]);
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600665 skip |= ValidateDestroyObject(device, pDescriptorSets[i], kVulkanObjectTypeDescriptorSet, nullptr, kVUIDUndefined,
666 kVUIDUndefined);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600667 }
668 }
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600669 return skip;
670}
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600671void ObjectLifetimes::PreCallRecordFreeDescriptorSets(VkDevice device, VkDescriptorPool descriptorPool, uint32_t descriptorSetCount,
672 const VkDescriptorSet *pDescriptorSets) {
Jeff Bolzc31aae42019-08-12 20:29:43 -0500673 auto lock = write_shared_lock();
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500674 std::shared_ptr<ObjTrackState> pPoolNode = nullptr;
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600675 auto itr = object_map[kVulkanObjectTypeDescriptorPool].find(HandleToUint64(descriptorPool));
676 if (itr != object_map[kVulkanObjectTypeDescriptorPool].end()) {
677 pPoolNode = itr->second;
678 }
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600679 for (uint32_t i = 0; i < descriptorSetCount; i++) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600680 RecordDestroyObject(device, pDescriptorSets[i], kVulkanObjectTypeDescriptorSet);
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600681 if (pPoolNode) {
682 pPoolNode->child_objects->erase(HandleToUint64(pDescriptorSets[i]));
683 }
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600684 }
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600685}
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600686
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600687bool ObjectLifetimes::PreCallValidateDestroyDescriptorPool(VkDevice device, VkDescriptorPool descriptorPool,
688 const VkAllocationCallbacks *pAllocator) {
Jeff Bolzc31aae42019-08-12 20:29:43 -0500689 auto lock = read_shared_lock();
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600690 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600691 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkDestroyDescriptorPool-device-parameter", kVUIDUndefined);
692 skip |= ValidateObject(descriptorPool, kVulkanObjectTypeDescriptorPool, true,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600693 "VUID-vkDestroyDescriptorPool-descriptorPool-parameter",
694 "VUID-vkDestroyDescriptorPool-descriptorPool-parent");
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600695
696 auto itr = object_map[kVulkanObjectTypeDescriptorPool].find(HandleToUint64(descriptorPool));
697 if (itr != object_map[kVulkanObjectTypeDescriptorPool].end()) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500698 auto pPoolNode = itr->second;
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600699 for (auto set : *pPoolNode->child_objects) {
700 skip |= ValidateDestroyObject(device, (VkDescriptorSet)set, kVulkanObjectTypeDescriptorSet, nullptr, kVUIDUndefined,
701 kVUIDUndefined);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600702 }
703 }
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600704 skip |= ValidateDestroyObject(device, descriptorPool, kVulkanObjectTypeDescriptorPool, pAllocator,
705 "VUID-vkDestroyDescriptorPool-descriptorPool-00304",
706 "VUID-vkDestroyDescriptorPool-descriptorPool-00305");
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600707 return skip;
708}
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600709void ObjectLifetimes::PreCallRecordDestroyDescriptorPool(VkDevice device, VkDescriptorPool descriptorPool,
710 const VkAllocationCallbacks *pAllocator) {
Jeff Bolzc31aae42019-08-12 20:29:43 -0500711 auto lock = write_shared_lock();
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600712 auto itr = object_map[kVulkanObjectTypeDescriptorPool].find(HandleToUint64(descriptorPool));
713 if (itr != object_map[kVulkanObjectTypeDescriptorPool].end()) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500714 auto pPoolNode = itr->second;
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600715 for (auto set : *pPoolNode->child_objects) {
716 RecordDestroyObject(device, (VkDescriptorSet)set, kVulkanObjectTypeDescriptorSet);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600717 }
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600718 pPoolNode->child_objects->clear();
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600719 }
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600720 RecordDestroyObject(device, descriptorPool, kVulkanObjectTypeDescriptorPool);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600721}
722
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600723bool ObjectLifetimes::PreCallValidateDestroyCommandPool(VkDevice device, VkCommandPool commandPool,
724 const VkAllocationCallbacks *pAllocator) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600725 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600726 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkDestroyCommandPool-device-parameter", kVUIDUndefined);
727 skip |= ValidateObject(commandPool, kVulkanObjectTypeCommandPool, true, "VUID-vkDestroyCommandPool-commandPool-parameter",
728 "VUID-vkDestroyCommandPool-commandPool-parent");
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500729
730 auto snapshot = object_map[kVulkanObjectTypeCommandBuffer].snapshot(
731 [commandPool](std::shared_ptr<ObjTrackState> pNode) { return pNode->parent_object == HandleToUint64(commandPool); });
732 for (const auto &itr : snapshot) {
733 auto pNode = itr.second;
734 skip |= ValidateCommandBuffer(device, commandPool, reinterpret_cast<VkCommandBuffer>(itr.first));
735 skip |= ValidateDestroyObject(device, reinterpret_cast<VkCommandBuffer>(itr.first), kVulkanObjectTypeCommandBuffer, nullptr,
736 kVUIDUndefined, kVUIDUndefined);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600737 }
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600738 skip |= ValidateDestroyObject(device, commandPool, kVulkanObjectTypeCommandPool, pAllocator,
739 "VUID-vkDestroyCommandPool-commandPool-00042", "VUID-vkDestroyCommandPool-commandPool-00043");
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600740 return skip;
741}
742
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600743void ObjectLifetimes::PreCallRecordDestroyCommandPool(VkDevice device, VkCommandPool commandPool,
744 const VkAllocationCallbacks *pAllocator) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500745 auto snapshot = object_map[kVulkanObjectTypeCommandBuffer].snapshot(
746 [commandPool](std::shared_ptr<ObjTrackState> pNode) { return pNode->parent_object == HandleToUint64(commandPool); });
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600747 // A CommandPool's cmd buffers are implicitly deleted when pool is deleted. Remove this pool's cmdBuffers from cmd buffer map.
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500748 for (const auto &itr : snapshot) {
749 RecordDestroyObject(device, reinterpret_cast<VkCommandBuffer>(itr.first), kVulkanObjectTypeCommandBuffer);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600750 }
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600751 RecordDestroyObject(device, commandPool, kVulkanObjectTypeCommandPool);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600752}
753
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600754bool ObjectLifetimes::PreCallValidateGetPhysicalDeviceQueueFamilyProperties2(VkPhysicalDevice physicalDevice,
755 uint32_t *pQueueFamilyPropertyCount,
756 VkQueueFamilyProperties2KHR *pQueueFamilyProperties) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600757 return ValidateObject(physicalDevice, kVulkanObjectTypePhysicalDevice, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600758 "VUID-vkGetPhysicalDeviceQueueFamilyProperties2-physicalDevice-parameter", kVUIDUndefined);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600759}
760
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600761bool ObjectLifetimes::PreCallValidateGetPhysicalDeviceQueueFamilyProperties2KHR(VkPhysicalDevice physicalDevice,
762 uint32_t *pQueueFamilyPropertyCount,
763 VkQueueFamilyProperties2 *pQueueFamilyProperties) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600764 return ValidateObject(physicalDevice, kVulkanObjectTypePhysicalDevice, false,
Shannon McPherson3ea65132018-12-05 10:37:39 -0700765 "VUID-vkGetPhysicalDeviceQueueFamilyProperties2-physicalDevice-parameter", kVUIDUndefined);
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600766}
767
768void ObjectLifetimes::PostCallRecordGetPhysicalDeviceQueueFamilyProperties2(VkPhysicalDevice physicalDevice,
769 uint32_t *pQueueFamilyPropertyCount,
Jeff Bolz6d243112019-08-21 13:24:11 -0500770 VkQueueFamilyProperties2KHR *pQueueFamilyProperties) {}
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600771
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600772void ObjectLifetimes::PostCallRecordGetPhysicalDeviceQueueFamilyProperties2KHR(
Jeff Bolz6d243112019-08-21 13:24:11 -0500773 VkPhysicalDevice physicalDevice, uint32_t *pQueueFamilyPropertyCount, VkQueueFamilyProperties2KHR *pQueueFamilyProperties) {}
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600774
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600775bool ObjectLifetimes::PreCallValidateGetPhysicalDeviceDisplayPropertiesKHR(VkPhysicalDevice physicalDevice,
776 uint32_t *pPropertyCount,
777 VkDisplayPropertiesKHR *pProperties) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600778 return ValidateObject(physicalDevice, kVulkanObjectTypePhysicalDevice, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600779 "VUID-vkGetPhysicalDeviceDisplayPropertiesKHR-physicalDevice-parameter", kVUIDUndefined);
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600780}
781
782void ObjectLifetimes::PostCallRecordGetPhysicalDeviceDisplayPropertiesKHR(VkPhysicalDevice physicalDevice, uint32_t *pPropertyCount,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700783 VkDisplayPropertiesKHR *pProperties, VkResult result) {
784 if ((result != VK_SUCCESS) && (result != VK_INCOMPLETE)) return;
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600785 if (pProperties) {
786 for (uint32_t i = 0; i < *pPropertyCount; ++i) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600787 CreateObject(physicalDevice, pProperties[i].display, kVulkanObjectTypeDisplayKHR, nullptr);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600788 }
789 }
790}
791
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600792bool ObjectLifetimes::PreCallValidateGetDisplayModePropertiesKHR(VkPhysicalDevice physicalDevice, VkDisplayKHR display,
793 uint32_t *pPropertyCount,
794 VkDisplayModePropertiesKHR *pProperties) {
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600795 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600796 skip |= ValidateObject(physicalDevice, kVulkanObjectTypePhysicalDevice, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600797 "VUID-vkGetDisplayModePropertiesKHR-physicalDevice-parameter", kVUIDUndefined);
Mark Lobodzinski39965742019-09-11 11:03:51 -0600798 skip |= ValidateObject(display, kVulkanObjectTypeDisplayKHR, false, "VUID-vkGetDisplayModePropertiesKHR-display-parameter",
799 kVUIDUndefined);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600800
801 return skip;
802}
803
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600804void ObjectLifetimes::PostCallRecordGetDisplayModePropertiesKHR(VkPhysicalDevice physicalDevice, VkDisplayKHR display,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700805 uint32_t *pPropertyCount, VkDisplayModePropertiesKHR *pProperties,
806 VkResult result) {
807 if ((result != VK_SUCCESS) && (result != VK_INCOMPLETE)) return;
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600808 if (pProperties) {
Tony-LunarGcd0c6b02018-10-26 14:56:44 -0600809 for (uint32_t i = 0; i < *pPropertyCount; ++i) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600810 CreateObject(physicalDevice, pProperties[i].displayMode, kVulkanObjectTypeDisplayModeKHR, nullptr);
Shannon McPherson9d5167f2018-05-02 15:24:37 -0600811 }
812 }
Shannon McPherson9d5167f2018-05-02 15:24:37 -0600813}
814
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600815bool ObjectLifetimes::PreCallValidateGetPhysicalDeviceDisplayProperties2KHR(VkPhysicalDevice physicalDevice,
816 uint32_t *pPropertyCount,
817 VkDisplayProperties2KHR *pProperties) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600818 return ValidateObject(physicalDevice, kVulkanObjectTypePhysicalDevice, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600819 "VUID-vkGetPhysicalDeviceDisplayProperties2KHR-physicalDevice-parameter", kVUIDUndefined);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600820}
821
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600822void ObjectLifetimes::PostCallRecordGetPhysicalDeviceDisplayProperties2KHR(VkPhysicalDevice physicalDevice,
823 uint32_t *pPropertyCount,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700824 VkDisplayProperties2KHR *pProperties, VkResult result) {
825 if ((result != VK_SUCCESS) && (result != VK_INCOMPLETE)) return;
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600826 for (uint32_t index = 0; index < *pPropertyCount; ++index) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600827 CreateObject(physicalDevice, pProperties[index].displayProperties.display, kVulkanObjectTypeDisplayKHR, nullptr);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600828 }
829}
830
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600831bool ObjectLifetimes::PreCallValidateGetDisplayModeProperties2KHR(VkPhysicalDevice physicalDevice, VkDisplayKHR display,
832 uint32_t *pPropertyCount,
833 VkDisplayModeProperties2KHR *pProperties) {
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600834 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600835 skip |= ValidateObject(physicalDevice, kVulkanObjectTypePhysicalDevice, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600836 "VUID-vkGetDisplayModeProperties2KHR-physicalDevice-parameter", kVUIDUndefined);
Mark Lobodzinski39965742019-09-11 11:03:51 -0600837 skip |= ValidateObject(display, kVulkanObjectTypeDisplayKHR, false, "VUID-vkGetDisplayModeProperties2KHR-display-parameter",
838 kVUIDUndefined);
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600839
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600840 return skip;
841}
842
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600843void ObjectLifetimes::PostCallRecordGetDisplayModeProperties2KHR(VkPhysicalDevice physicalDevice, VkDisplayKHR display,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700844 uint32_t *pPropertyCount, VkDisplayModeProperties2KHR *pProperties,
845 VkResult result) {
846 if ((result != VK_SUCCESS) && (result != VK_INCOMPLETE)) return;
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600847 for (uint32_t index = 0; index < *pPropertyCount; ++index) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600848 CreateObject(physicalDevice, pProperties[index].displayModeProperties.displayMode, kVulkanObjectTypeDisplayModeKHR,
849 nullptr);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600850 }
851}
Shannon McPhersonf7d9cf62019-06-26 09:23:57 -0600852
853bool ObjectLifetimes::PreCallValidateAcquirePerformanceConfigurationINTEL(
854 VkDevice device, const VkPerformanceConfigurationAcquireInfoINTEL *pAcquireInfo,
855 VkPerformanceConfigurationINTEL *pConfiguration) {
856 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600857 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkAcquirePerformanceConfigurationINTEL-device-parameter",
858 kVUIDUndefined);
Shannon McPhersonf7d9cf62019-06-26 09:23:57 -0600859
860 return skip;
861}
862
863bool ObjectLifetimes::PreCallValidateReleasePerformanceConfigurationINTEL(VkDevice device,
864 VkPerformanceConfigurationINTEL configuration) {
865 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600866 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkReleasePerformanceConfigurationINTEL-device-parameter",
867 kVUIDUndefined);
Shannon McPhersonf7d9cf62019-06-26 09:23:57 -0600868
869 return skip;
870}
871
872bool ObjectLifetimes::PreCallValidateQueueSetPerformanceConfigurationINTEL(VkQueue queue,
873 VkPerformanceConfigurationINTEL configuration) {
874 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600875 skip |= ValidateObject(queue, kVulkanObjectTypeQueue, false, "VUID-vkQueueSetPerformanceConfigurationINTEL-queue-parameter",
876 "VUID-vkQueueSetPerformanceConfigurationINTEL-commonparent");
Shannon McPhersonf7d9cf62019-06-26 09:23:57 -0600877
878 return skip;
879}
Tobias Hectorc9057422019-07-23 12:15:52 +0100880
881bool ObjectLifetimes::PreCallValidateCreateFramebuffer(VkDevice device, const VkFramebufferCreateInfo *pCreateInfo,
882 const VkAllocationCallbacks *pAllocator, VkFramebuffer *pFramebuffer) {
883 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600884 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkCreateFramebuffer-device-parameter", kVUIDUndefined);
Tobias Hectorc9057422019-07-23 12:15:52 +0100885 if (pCreateInfo) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600886 skip |= ValidateObject(pCreateInfo->renderPass, kVulkanObjectTypeRenderPass, false,
Tobias Hectorc9057422019-07-23 12:15:52 +0100887 "VUID-VkFramebufferCreateInfo-renderPass-parameter", "VUID-VkFramebufferCreateInfo-commonparent");
888 if ((pCreateInfo->flags & VK_FRAMEBUFFER_CREATE_IMAGELESS_BIT_KHR) == 0) {
889 for (uint32_t index1 = 0; index1 < pCreateInfo->attachmentCount; ++index1) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600890 skip |= ValidateObject(pCreateInfo->pAttachments[index1], kVulkanObjectTypeImageView, true, kVUIDUndefined,
Tobias Hectorc9057422019-07-23 12:15:52 +0100891 "VUID-VkFramebufferCreateInfo-commonparent");
892 }
893 }
894 }
895
896 return skip;
897}
898
899void ObjectLifetimes::PostCallRecordCreateFramebuffer(VkDevice device, const VkFramebufferCreateInfo *pCreateInfo,
900 const VkAllocationCallbacks *pAllocator, VkFramebuffer *pFramebuffer,
901 VkResult result) {
902 if (result != VK_SUCCESS) return;
903 CreateObject(device, *pFramebuffer, kVulkanObjectTypeFramebuffer, pAllocator);
904}