blob: fb4e8de2d43074c33ebabb6a063ae6f8c8dc766e [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 Lobodzinski702c6a42019-09-11 11:52:23 -060038void ObjectLifetimes::DestroyQueueDataStructures() {
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 Lobodzinskic763f582019-09-11 11:35:43 -060051void ObjectLifetimes::DestroyUndestroyedObjects(VulkanObjectType object_type) {
52 auto snapshot = object_map[object_type].snapshot();
53 for (const auto &item : snapshot) {
54 auto object_info = item.second;
55 DestroyObjectSilently(object_info->handle, object_type);
56 }
57}
58
Mark Lobodzinski9bd81192017-11-13 09:38:23 -070059// Look for this device object in any of the instance child devices lists.
60// NOTE: This is of dubious value. In most circumstances Vulkan will die a flaming death if a dispatchable object is invalid.
61// 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 -060062bool ObjectLifetimes::ValidateDeviceObject(const VulkanTypedHandle &device_typed, const char *invalid_handle_code,
63 const char *wrong_device_code) {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -060064 auto instance_data = GetLayerDataPtr(get_dispatch_key(instance), layer_data_map);
65 auto instance_object_lifetime_data = GetObjectLifetimeData(instance_data->object_dispatch);
Jeff Bolzfd3bb242019-08-22 06:10:49 -050066 if (instance_object_lifetime_data->object_map[kVulkanObjectTypeDevice].contains(device_typed.handle)) {
67 return false;
Mark Lobodzinski9bd81192017-11-13 09:38:23 -070068 }
John Zulauf1c3844a2019-04-01 17:39:48 -060069 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 -060070 invalid_handle_code, "Invalid %s.", report_data->FormatHandle(device_typed).c_str());
Mark Lobodzinski9bd81192017-11-13 09:38:23 -070071}
72
Mark Lobodzinski8af6bb42019-09-11 14:37:29 -060073bool ObjectLifetimes::ValidateAnonymousObject(uint64_t object_handle, VkObjectType core_object_type, bool null_allowed,
74 const char *invalid_handle_code, const char *wrong_device_code) {
75 if (null_allowed && (object_handle == VK_NULL_HANDLE)) return false;
76 auto object_type = ConvertCoreObjectToVulkanObject(core_object_type);
77
78 if (object_type == kVulkanObjectTypeDevice) {
79 return ValidateDeviceObject(VulkanTypedHandle(reinterpret_cast<VkDevice>(object_handle), object_type), invalid_handle_code,
80 wrong_device_code);
81 }
82 return CheckObjectValidity(object_handle, object_type, null_allowed, invalid_handle_code, wrong_device_code);
83}
84
Mark Lobodzinski702c6a42019-09-11 11:52:23 -060085void ObjectLifetimes::AllocateCommandBuffer(const VkCommandPool command_pool, const VkCommandBuffer command_buffer,
Mark Lobodzinski0c668462018-09-27 10:13:19 -060086 VkCommandBufferLevel level) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -050087 auto pNewObjNode = std::make_shared<ObjTrackState>();
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -060088 pNewObjNode->object_type = kVulkanObjectTypeCommandBuffer;
89 pNewObjNode->handle = HandleToUint64(command_buffer);
90 pNewObjNode->parent_object = HandleToUint64(command_pool);
91 if (level == VK_COMMAND_BUFFER_LEVEL_SECONDARY) {
92 pNewObjNode->status = OBJSTATUS_COMMAND_BUFFER_SECONDARY;
93 } else {
94 pNewObjNode->status = OBJSTATUS_NONE;
95 }
Jeff Bolzfd3bb242019-08-22 06:10:49 -050096 InsertObject(object_map[kVulkanObjectTypeCommandBuffer], HandleToUint64(command_buffer), kVulkanObjectTypeCommandBuffer,
97 pNewObjNode);
Mark Lobodzinskiadd93232018-10-09 11:49:42 -060098 num_objects[kVulkanObjectTypeCommandBuffer]++;
99 num_total_objects++;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600100}
101
Mark Lobodzinski702c6a42019-09-11 11:52:23 -0600102bool ObjectLifetimes::ValidateCommandBuffer(VkCommandPool command_pool, VkCommandBuffer command_buffer) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600103 bool skip = false;
104 uint64_t object_handle = HandleToUint64(command_buffer);
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500105 auto iter = object_map[kVulkanObjectTypeCommandBuffer].find(object_handle);
106 if (iter != object_map[kVulkanObjectTypeCommandBuffer].end()) {
107 auto pNode = iter->second;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600108
109 if (pNode->parent_object != HandleToUint64(command_pool)) {
John Zulauf1c3844a2019-04-01 17:39:48 -0600110 // We know that the parent *must* be a command pool
111 const auto parent_pool = CastFromUint64<VkCommandPool>(pNode->parent_object);
locke-lunarg9edc2812019-06-17 23:18:52 -0600112 skip |= log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, VK_DEBUG_REPORT_OBJECT_TYPE_COMMAND_BUFFER_EXT,
113 object_handle, "VUID-vkFreeCommandBuffers-pCommandBuffers-parent",
114 "FreeCommandBuffers is attempting to free %s belonging to %s from %s).",
115 report_data->FormatHandle(command_buffer).c_str(), report_data->FormatHandle(parent_pool).c_str(),
116 report_data->FormatHandle(command_pool).c_str());
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600117 }
118 } else {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600119 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 -0600120 "VUID-vkFreeCommandBuffers-pCommandBuffers-00048", "Invalid %s.",
121 report_data->FormatHandle(command_buffer).c_str());
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600122 }
123 return skip;
124}
125
Mark Lobodzinski702c6a42019-09-11 11:52:23 -0600126void ObjectLifetimes::AllocateDescriptorSet(VkDescriptorPool descriptor_pool, VkDescriptorSet descriptor_set) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500127 auto pNewObjNode = std::make_shared<ObjTrackState>();
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600128 pNewObjNode->object_type = kVulkanObjectTypeDescriptorSet;
129 pNewObjNode->status = OBJSTATUS_NONE;
130 pNewObjNode->handle = HandleToUint64(descriptor_set);
131 pNewObjNode->parent_object = HandleToUint64(descriptor_pool);
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500132 InsertObject(object_map[kVulkanObjectTypeDescriptorSet], HandleToUint64(descriptor_set), kVulkanObjectTypeDescriptorSet,
133 pNewObjNode);
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600134 num_objects[kVulkanObjectTypeDescriptorSet]++;
135 num_total_objects++;
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600136
137 auto itr = object_map[kVulkanObjectTypeDescriptorPool].find(HandleToUint64(descriptor_pool));
138 if (itr != object_map[kVulkanObjectTypeDescriptorPool].end()) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500139 itr->second->child_objects->insert(HandleToUint64(descriptor_set));
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600140 }
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600141}
142
Mark Lobodzinski702c6a42019-09-11 11:52:23 -0600143bool ObjectLifetimes::ValidateDescriptorSet(VkDescriptorPool descriptor_pool, VkDescriptorSet descriptor_set) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600144 bool skip = false;
145 uint64_t object_handle = HandleToUint64(descriptor_set);
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600146 auto dsItem = object_map[kVulkanObjectTypeDescriptorSet].find(object_handle);
147 if (dsItem != object_map[kVulkanObjectTypeDescriptorSet].end()) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500148 if (dsItem->second->parent_object != HandleToUint64(descriptor_pool)) {
John Zulauf1c3844a2019-04-01 17:39:48 -0600149 // We know that the parent *must* be a descriptor pool
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500150 const auto parent_pool = CastFromUint64<VkDescriptorPool>(dsItem->second->parent_object);
John Zulauf1c3844a2019-04-01 17:39:48 -0600151 skip |= log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, VK_DEBUG_REPORT_OBJECT_TYPE_DESCRIPTOR_SET_EXT,
152 object_handle, "VUID-vkFreeDescriptorSets-pDescriptorSets-parent",
locke-lunarg9edc2812019-06-17 23:18:52 -0600153 "FreeDescriptorSets is attempting to free %s"
154 " belonging to %s from %s).",
John Zulauf1c3844a2019-04-01 17:39:48 -0600155 report_data->FormatHandle(descriptor_set).c_str(), report_data->FormatHandle(parent_pool).c_str(),
156 report_data->FormatHandle(descriptor_pool).c_str());
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600157 }
158 } else {
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600159 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 -0600160 "VUID-vkFreeDescriptorSets-pDescriptorSets-00310", "Invalid %s.",
161 report_data->FormatHandle(descriptor_set).c_str());
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600162 }
163 return skip;
164}
165
Mark Lobodzinski702c6a42019-09-11 11:52:23 -0600166bool ObjectLifetimes::ValidateDescriptorWrite(VkWriteDescriptorSet const *desc, bool isPush) {
Chris Forbes2c600e92017-10-20 11:13:20 -0700167 bool skip = false;
168
169 if (!isPush && desc->dstSet) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600170 skip |= ValidateObject(desc->dstSet, kVulkanObjectTypeDescriptorSet, false, "VUID-VkWriteDescriptorSet-dstSet-00320",
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600171 "VUID-VkWriteDescriptorSet-commonparent");
Chris Forbes2c600e92017-10-20 11:13:20 -0700172 }
173
174 if ((desc->descriptorType == VK_DESCRIPTOR_TYPE_UNIFORM_TEXEL_BUFFER) ||
175 (desc->descriptorType == VK_DESCRIPTOR_TYPE_STORAGE_TEXEL_BUFFER)) {
176 for (uint32_t idx2 = 0; idx2 < desc->descriptorCount; ++idx2) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600177 skip |= ValidateObject(desc->pTexelBufferView[idx2], kVulkanObjectTypeBufferView, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600178 "VUID-VkWriteDescriptorSet-descriptorType-00323", "VUID-VkWriteDescriptorSet-commonparent");
Chris Forbes2c600e92017-10-20 11:13:20 -0700179 }
180 }
181
182 if ((desc->descriptorType == VK_DESCRIPTOR_TYPE_COMBINED_IMAGE_SAMPLER) ||
Dave Houltona9df0ce2018-02-07 10:51:23 -0700183 (desc->descriptorType == VK_DESCRIPTOR_TYPE_SAMPLED_IMAGE) || (desc->descriptorType == VK_DESCRIPTOR_TYPE_STORAGE_IMAGE) ||
Chris Forbes2c600e92017-10-20 11:13:20 -0700184 (desc->descriptorType == VK_DESCRIPTOR_TYPE_INPUT_ATTACHMENT)) {
185 for (uint32_t idx3 = 0; idx3 < desc->descriptorCount; ++idx3) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600186 skip |= ValidateObject(desc->pImageInfo[idx3].imageView, kVulkanObjectTypeImageView, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600187 "VUID-VkWriteDescriptorSet-descriptorType-00326", "VUID-VkDescriptorImageInfo-commonparent");
Chris Forbes2c600e92017-10-20 11:13:20 -0700188 }
189 }
190
191 if ((desc->descriptorType == VK_DESCRIPTOR_TYPE_UNIFORM_BUFFER) ||
192 (desc->descriptorType == VK_DESCRIPTOR_TYPE_STORAGE_BUFFER) ||
193 (desc->descriptorType == VK_DESCRIPTOR_TYPE_UNIFORM_BUFFER_DYNAMIC) ||
194 (desc->descriptorType == VK_DESCRIPTOR_TYPE_STORAGE_BUFFER_DYNAMIC)) {
195 for (uint32_t idx4 = 0; idx4 < desc->descriptorCount; ++idx4) {
196 if (desc->pBufferInfo[idx4].buffer) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600197 skip |= ValidateObject(desc->pBufferInfo[idx4].buffer, kVulkanObjectTypeBuffer, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600198 "VUID-VkDescriptorBufferInfo-buffer-parameter", kVUIDUndefined);
Chris Forbes2c600e92017-10-20 11:13:20 -0700199 }
200 }
201 }
202
203 return skip;
204}
205
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600206bool ObjectLifetimes::PreCallValidateCmdPushDescriptorSetKHR(VkCommandBuffer commandBuffer, VkPipelineBindPoint pipelineBindPoint,
207 VkPipelineLayout layout, uint32_t set, uint32_t descriptorWriteCount,
208 const VkWriteDescriptorSet *pDescriptorWrites) {
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600209 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600210 skip |= ValidateObject(commandBuffer, kVulkanObjectTypeCommandBuffer, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600211 "VUID-vkCmdPushDescriptorSetKHR-commandBuffer-parameter", "VUID-vkCmdPushDescriptorSetKHR-commonparent");
Mark Lobodzinski39965742019-09-11 11:03:51 -0600212 skip |= ValidateObject(layout, kVulkanObjectTypePipelineLayout, false, "VUID-vkCmdPushDescriptorSetKHR-layout-parameter",
213 "VUID-vkCmdPushDescriptorSetKHR-commonparent");
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600214 if (pDescriptorWrites) {
215 for (uint32_t index0 = 0; index0 < descriptorWriteCount; ++index0) {
Mark Lobodzinski702c6a42019-09-11 11:52:23 -0600216 skip |= ValidateDescriptorWrite(&pDescriptorWrites[index0], true);
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600217 }
218 }
219 return skip;
220}
221
Mark Lobodzinski702c6a42019-09-11 11:52:23 -0600222void ObjectLifetimes::CreateQueue(VkQueue vkObj) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500223 std::shared_ptr<ObjTrackState> p_obj_node = NULL;
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600224 auto queue_item = object_map[kVulkanObjectTypeQueue].find(HandleToUint64(vkObj));
225 if (queue_item == object_map[kVulkanObjectTypeQueue].end()) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500226 p_obj_node = std::make_shared<ObjTrackState>();
227 InsertObject(object_map[kVulkanObjectTypeQueue], HandleToUint64(vkObj), kVulkanObjectTypeQueue, p_obj_node);
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600228 num_objects[kVulkanObjectTypeQueue]++;
229 num_total_objects++;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600230 } else {
231 p_obj_node = queue_item->second;
232 }
233 p_obj_node->object_type = kVulkanObjectTypeQueue;
234 p_obj_node->status = OBJSTATUS_NONE;
235 p_obj_node->handle = HandleToUint64(vkObj);
236}
237
Mark Lobodzinski702c6a42019-09-11 11:52:23 -0600238void ObjectLifetimes::CreateSwapchainImageObject(VkImage swapchain_image, VkSwapchainKHR swapchain) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500239 if (!swapchainImageMap.contains(HandleToUint64(swapchain_image))) {
240 auto pNewObjNode = std::make_shared<ObjTrackState>();
241 pNewObjNode->object_type = kVulkanObjectTypeImage;
242 pNewObjNode->status = OBJSTATUS_NONE;
243 pNewObjNode->handle = HandleToUint64(swapchain_image);
244 pNewObjNode->parent_object = HandleToUint64(swapchain);
245 InsertObject(swapchainImageMap, HandleToUint64(swapchain_image), kVulkanObjectTypeImage, pNewObjNode);
246 }
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600247}
248
Mark Lobodzinskibe102ad2019-09-04 12:03:07 -0600249bool ObjectLifetimes::ReportLeakedInstanceObjects(VkInstance instance, VulkanObjectType object_type,
250 const std::string &error_code) {
Mark Lobodzinski7cef2632019-08-28 15:50:13 -0600251 bool skip = false;
252
253 auto snapshot = object_map[object_type].snapshot();
254 for (const auto &item : snapshot) {
255 const auto object_info = item.second;
256 skip |= log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, get_debug_report_enum[object_type], object_info->handle,
257 error_code, "OBJ ERROR : For %s, %s has not been destroyed.", report_data->FormatHandle(instance).c_str(),
258 report_data->FormatHandle(ObjTrackStateTypedHandle(*object_info)).c_str());
259 }
260 return skip;
261}
262
Mark Lobodzinskibe102ad2019-09-04 12:03:07 -0600263bool ObjectLifetimes::ReportLeakedDeviceObjects(VkDevice device, VulkanObjectType object_type, const std::string &error_code) {
Mark Lobodzinski5183a032018-09-13 14:44:28 -0600264 bool skip = false;
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500265
266 auto snapshot = object_map[object_type].snapshot();
267 for (const auto &item : snapshot) {
268 const auto object_info = item.second;
locke-lunarg9edc2812019-06-17 23:18:52 -0600269 skip |= log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, get_debug_report_enum[object_type], object_info->handle,
270 error_code, "OBJ ERROR : For %s, %s has not been destroyed.", report_data->FormatHandle(device).c_str(),
271 report_data->FormatHandle(ObjTrackStateTypedHandle(*object_info)).c_str());
Gabríel Arthúr Péturssonfdcb5402018-03-20 21:52:06 +0000272 }
Mark Lobodzinski5183a032018-09-13 14:44:28 -0600273 return skip;
Gabríel Arthúr Péturssonfdcb5402018-03-20 21:52:06 +0000274}
275
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600276bool ObjectLifetimes::PreCallValidateDestroyInstance(VkInstance instance, const VkAllocationCallbacks *pAllocator) {
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600277 bool skip = false;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600278
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600279 // 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 -0600280 skip |= ValidateObject(instance, kVulkanObjectTypeInstance, true, "VUID-vkDestroyInstance-instance-parameter", kVUIDUndefined);
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600281
282 // Validate that child devices have been destroyed
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500283 auto snapshot = object_map[kVulkanObjectTypeDevice].snapshot();
284 for (const auto &iit : snapshot) {
285 auto pNode = iit.second;
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600286
287 VkDevice device = reinterpret_cast<VkDevice>(pNode->handle);
288 VkDebugReportObjectTypeEXT debug_object_type = get_debug_report_enum[pNode->object_type];
289
John Zulauf1c3844a2019-04-01 17:39:48 -0600290 skip |=
291 log_msg(report_data, VK_DEBUG_REPORT_ERROR_BIT_EXT, debug_object_type, pNode->handle, kVUID_ObjectTracker_ObjectLeak,
292 "OBJ ERROR : %s object %s has not been destroyed.", string_VkDebugReportObjectTypeEXT(debug_object_type),
293 report_data->FormatHandle(ObjTrackStateTypedHandle(*pNode)).c_str());
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600294
Mark Lobodzinski7cef2632019-08-28 15:50:13 -0600295 // Throw errors if any device objects belonging to this instance have not been destroyed
296 skip |= ReportUndestroyedDeviceObjects(device, "VUID-vkDestroyDevice-device-00378");
Mark Lobodzinskie65acca2019-09-11 12:06:17 -0600297 DestroyLeakedDeviceObjects();
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600298
Mark Lobodzinski3d89a2c2019-09-11 11:41:11 -0600299 skip |= ValidateDestroyObject(device, kVulkanObjectTypeDevice, pAllocator, "VUID-vkDestroyInstance-instance-00630",
300 "VUID-vkDestroyInstance-instance-00631");
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600301 }
302
Mark Lobodzinski7cef2632019-08-28 15:50:13 -0600303 // Throw errors if any instance objects created on this instance have not been destroyed
Mark Lobodzinski3d89a2c2019-09-11 11:41:11 -0600304 ValidateDestroyObject(instance, kVulkanObjectTypeInstance, pAllocator, "VUID-vkDestroyInstance-instance-00630",
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600305 "VUID-vkDestroyInstance-instance-00631");
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600306
Mark Lobodzinski7cef2632019-08-28 15:50:13 -0600307 // Report any remaining instance objects
308 skip |= ReportUndestroyedInstanceObjects(instance, "VUID-vkDestroyInstance-instance-00629");
Mark Lobodzinskie65acca2019-09-11 12:06:17 -0600309 DestroyLeakedInstanceObjects();
Mark Lobodzinski7cef2632019-08-28 15:50:13 -0600310
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600311 return skip;
312}
313
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600314bool ObjectLifetimes::PreCallValidateEnumeratePhysicalDevices(VkInstance instance, uint32_t *pPhysicalDeviceCount,
315 VkPhysicalDevice *pPhysicalDevices) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600316 bool skip = ValidateObject(instance, kVulkanObjectTypeInstance, false, "VUID-vkEnumeratePhysicalDevices-instance-parameter",
317 kVUIDUndefined);
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600318 return skip;
319}
320
321void ObjectLifetimes::PostCallRecordEnumeratePhysicalDevices(VkInstance instance, uint32_t *pPhysicalDeviceCount,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700322 VkPhysicalDevice *pPhysicalDevices, VkResult result) {
323 if ((result != VK_SUCCESS) && (result != VK_INCOMPLETE)) return;
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600324 if (pPhysicalDevices) {
325 for (uint32_t i = 0; i < *pPhysicalDeviceCount; i++) {
Mark Lobodzinski1e76a7d2019-09-11 11:11:46 -0600326 CreateObject(pPhysicalDevices[i], kVulkanObjectTypePhysicalDevice, nullptr);
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600327 }
328 }
329}
330
331void ObjectLifetimes::PreCallRecordDestroyInstance(VkInstance instance, const VkAllocationCallbacks *pAllocator) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600332 // Destroy physical devices
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500333 auto snapshot = object_map[kVulkanObjectTypePhysicalDevice].snapshot();
334 for (const auto &iit : snapshot) {
335 auto pNode = iit.second;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600336 VkPhysicalDevice physical_device = reinterpret_cast<VkPhysicalDevice>(pNode->handle);
Mark Lobodzinski82742f62019-09-11 11:20:26 -0600337 RecordDestroyObject(physical_device, kVulkanObjectTypePhysicalDevice);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600338 }
339
Mark Lobodzinski9bd81192017-11-13 09:38:23 -0700340 // Destroy child devices
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500341 auto snapshot2 = object_map[kVulkanObjectTypeDevice].snapshot();
342 for (const auto &iit : snapshot2) {
343 auto pNode = iit.second;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600344 VkDevice device = reinterpret_cast<VkDevice>(pNode->handle);
Mark Lobodzinskie65acca2019-09-11 12:06:17 -0600345 DestroyLeakedInstanceObjects();
Mark Lobodzinski9bd81192017-11-13 09:38:23 -0700346
Mark Lobodzinski82742f62019-09-11 11:20:26 -0600347 RecordDestroyObject(device, kVulkanObjectTypeDevice);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600348 }
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600349}
350
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600351void ObjectLifetimes::PostCallRecordDestroyInstance(VkInstance instance, const VkAllocationCallbacks *pAllocator) {
Mark Lobodzinski82742f62019-09-11 11:20:26 -0600352 RecordDestroyObject(instance, kVulkanObjectTypeInstance);
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600353}
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600354
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600355bool ObjectLifetimes::PreCallValidateDestroyDevice(VkDevice device, const VkAllocationCallbacks *pAllocator) {
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600356 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600357 skip |= ValidateObject(device, kVulkanObjectTypeDevice, true, "VUID-vkDestroyDevice-device-parameter", kVUIDUndefined);
Mark Lobodzinski3d89a2c2019-09-11 11:41:11 -0600358 skip |= ValidateDestroyObject(device, kVulkanObjectTypeDevice, pAllocator, "VUID-vkDestroyDevice-device-00379",
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600359 "VUID-vkDestroyDevice-device-00380");
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600360 // Report any remaining objects associated with this VkDevice object in LL
Mark Lobodzinski7cef2632019-08-28 15:50:13 -0600361 skip |= ReportUndestroyedDeviceObjects(device, "VUID-vkDestroyDevice-device-00378");
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600362
363 return skip;
364}
365
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600366void ObjectLifetimes::PreCallRecordDestroyDevice(VkDevice device, const VkAllocationCallbacks *pAllocator) {
Mark Lobodzinski52db2352018-12-28 09:41:15 -0700367 auto instance_data = GetLayerDataPtr(get_dispatch_key(physical_device), layer_data_map);
368 ValidationObject *validation_data = GetValidationObject(instance_data->object_dispatch, LayerObjectTypeObjectTracker);
369 ObjectLifetimes *object_lifetimes = static_cast<ObjectLifetimes *>(validation_data);
Mark Lobodzinski82742f62019-09-11 11:20:26 -0600370 object_lifetimes->RecordDestroyObject(device, kVulkanObjectTypeDevice);
Mark Lobodzinskie65acca2019-09-11 12:06:17 -0600371 DestroyLeakedDeviceObjects();
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600372
373 // Clean up Queue's MemRef Linked Lists
Mark Lobodzinski702c6a42019-09-11 11:52:23 -0600374 DestroyQueueDataStructures();
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600375}
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600376
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600377bool ObjectLifetimes::PreCallValidateGetDeviceQueue(VkDevice device, uint32_t queueFamilyIndex, uint32_t queueIndex,
378 VkQueue *pQueue) {
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600379 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600380 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkGetDeviceQueue-device-parameter", kVUIDUndefined);
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600381 return skip;
382}
Mark Lobodzinski439645a2017-07-19 15:18:15 -0600383
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600384void ObjectLifetimes::PostCallRecordGetDeviceQueue(VkDevice device, uint32_t queueFamilyIndex, uint32_t queueIndex,
385 VkQueue *pQueue) {
Jeff Bolzc31aae42019-08-12 20:29:43 -0500386 auto lock = write_shared_lock();
Mark Lobodzinski702c6a42019-09-11 11:52:23 -0600387 CreateQueue(*pQueue);
Mark Lobodzinski439645a2017-07-19 15:18:15 -0600388}
389
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600390bool ObjectLifetimes::PreCallValidateGetDeviceQueue2(VkDevice device, const VkDeviceQueueInfo2 *pQueueInfo, VkQueue *pQueue) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600391 return ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkGetDeviceQueue2-device-parameter", kVUIDUndefined);
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600392}
393
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600394void ObjectLifetimes::PostCallRecordGetDeviceQueue2(VkDevice device, const VkDeviceQueueInfo2 *pQueueInfo, VkQueue *pQueue) {
Jeff Bolzc31aae42019-08-12 20:29:43 -0500395 auto lock = write_shared_lock();
Mark Lobodzinski702c6a42019-09-11 11:52:23 -0600396 CreateQueue(*pQueue);
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600397}
398
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600399bool ObjectLifetimes::PreCallValidateUpdateDescriptorSets(VkDevice device, uint32_t descriptorWriteCount,
400 const VkWriteDescriptorSet *pDescriptorWrites,
401 uint32_t descriptorCopyCount,
402 const VkCopyDescriptorSet *pDescriptorCopies) {
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600403 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600404 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkUpdateDescriptorSets-device-parameter", kVUIDUndefined);
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600405 if (pDescriptorCopies) {
406 for (uint32_t idx0 = 0; idx0 < descriptorCopyCount; ++idx0) {
407 if (pDescriptorCopies[idx0].dstSet) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600408 skip |= ValidateObject(pDescriptorCopies[idx0].dstSet, kVulkanObjectTypeDescriptorSet, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600409 "VUID-VkCopyDescriptorSet-dstSet-parameter", "VUID-VkCopyDescriptorSet-commonparent");
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600410 }
411 if (pDescriptorCopies[idx0].srcSet) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600412 skip |= ValidateObject(pDescriptorCopies[idx0].srcSet, kVulkanObjectTypeDescriptorSet, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600413 "VUID-VkCopyDescriptorSet-srcSet-parameter", "VUID-VkCopyDescriptorSet-commonparent");
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600414 }
415 }
416 }
417 if (pDescriptorWrites) {
418 for (uint32_t idx1 = 0; idx1 < descriptorWriteCount; ++idx1) {
Mark Lobodzinski702c6a42019-09-11 11:52:23 -0600419 skip |= ValidateDescriptorWrite(&pDescriptorWrites[idx1], false);
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600420 }
421 }
422 return skip;
423}
424
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600425bool ObjectLifetimes::PreCallValidateResetDescriptorPool(VkDevice device, VkDescriptorPool descriptorPool,
426 VkDescriptorPoolResetFlags flags) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600427 bool skip = false;
Jeff Bolzc31aae42019-08-12 20:29:43 -0500428 auto lock = read_shared_lock();
Mark Lobodzinski0de500d2018-09-14 15:14:01 -0600429
Mark Lobodzinski39965742019-09-11 11:03:51 -0600430 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkResetDescriptorPool-device-parameter", kVUIDUndefined);
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600431 skip |=
Mark Lobodzinski39965742019-09-11 11:03:51 -0600432 ValidateObject(descriptorPool, kVulkanObjectTypeDescriptorPool, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600433 "VUID-vkResetDescriptorPool-descriptorPool-parameter", "VUID-vkResetDescriptorPool-descriptorPool-parent");
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600434
435 auto itr = object_map[kVulkanObjectTypeDescriptorPool].find(HandleToUint64(descriptorPool));
436 if (itr != object_map[kVulkanObjectTypeDescriptorPool].end()) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500437 auto pPoolNode = itr->second;
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600438 for (auto set : *pPoolNode->child_objects) {
Mark Lobodzinski3d89a2c2019-09-11 11:41:11 -0600439 skip |= ValidateDestroyObject((VkDescriptorSet)set, kVulkanObjectTypeDescriptorSet, nullptr, kVUIDUndefined,
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600440 kVUIDUndefined);
Mark Lobodzinski0de500d2018-09-14 15:14:01 -0600441 }
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600442 }
Mark Lobodzinski0de500d2018-09-14 15:14:01 -0600443 return skip;
444}
445
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600446void ObjectLifetimes::PreCallRecordResetDescriptorPool(VkDevice device, VkDescriptorPool descriptorPool,
447 VkDescriptorPoolResetFlags flags) {
Jeff Bolzc31aae42019-08-12 20:29:43 -0500448 auto lock = write_shared_lock();
Mark Lobodzinski0de500d2018-09-14 15:14:01 -0600449 // A DescriptorPool's descriptor sets are implicitly deleted when the pool is reset. Remove this pool's descriptor sets from
450 // our descriptorSet map.
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600451 auto itr = object_map[kVulkanObjectTypeDescriptorPool].find(HandleToUint64(descriptorPool));
452 if (itr != object_map[kVulkanObjectTypeDescriptorPool].end()) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500453 auto pPoolNode = itr->second;
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600454 for (auto set : *pPoolNode->child_objects) {
Mark Lobodzinski82742f62019-09-11 11:20:26 -0600455 RecordDestroyObject((VkDescriptorSet)set, kVulkanObjectTypeDescriptorSet);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600456 }
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600457 pPoolNode->child_objects->clear();
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600458 }
Mark Lobodzinski0de500d2018-09-14 15:14:01 -0600459}
460
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600461bool ObjectLifetimes::PreCallValidateBeginCommandBuffer(VkCommandBuffer command_buffer,
462 const VkCommandBufferBeginInfo *begin_info) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600463 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600464 skip |= ValidateObject(command_buffer, kVulkanObjectTypeCommandBuffer, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600465 "VUID-vkBeginCommandBuffer-commandBuffer-parameter", kVUIDUndefined);
Mark Lobodzinski0de500d2018-09-14 15:14:01 -0600466 if (begin_info) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500467 auto iter = object_map[kVulkanObjectTypeCommandBuffer].find(HandleToUint64(command_buffer));
468 if (iter != object_map[kVulkanObjectTypeCommandBuffer].end()) {
469 auto pNode = iter->second;
470 if ((begin_info->pInheritanceInfo) && (pNode->status & OBJSTATUS_COMMAND_BUFFER_SECONDARY) &&
471 (begin_info->flags & VK_COMMAND_BUFFER_USAGE_RENDER_PASS_CONTINUE_BIT)) {
472 skip |=
Mark Lobodzinski39965742019-09-11 11:03:51 -0600473 ValidateObject(begin_info->pInheritanceInfo->framebuffer, kVulkanObjectTypeFramebuffer, true,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600474 "VUID-VkCommandBufferBeginInfo-flags-00055", "VUID-VkCommandBufferInheritanceInfo-commonparent");
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500475 skip |=
Mark Lobodzinski39965742019-09-11 11:03:51 -0600476 ValidateObject(begin_info->pInheritanceInfo->renderPass, kVulkanObjectTypeRenderPass, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600477 "VUID-VkCommandBufferBeginInfo-flags-00053", "VUID-VkCommandBufferInheritanceInfo-commonparent");
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500478 }
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600479 }
480 }
Mark Lobodzinski0de500d2018-09-14 15:14:01 -0600481 return skip;
482}
483
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600484bool ObjectLifetimes::PreCallValidateGetSwapchainImagesKHR(VkDevice device, VkSwapchainKHR swapchain,
485 uint32_t *pSwapchainImageCount, VkImage *pSwapchainImages) {
Mark Lobodzinskibe4b3452018-09-14 16:14:33 -0600486 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600487 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkGetSwapchainImagesKHR-device-parameter",
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600488 "VUID-vkGetSwapchainImagesKHR-commonparent");
Mark Lobodzinski39965742019-09-11 11:03:51 -0600489 skip |= ValidateObject(swapchain, kVulkanObjectTypeSwapchainKHR, false, "VUID-vkGetSwapchainImagesKHR-swapchain-parameter",
490 "VUID-vkGetSwapchainImagesKHR-commonparent");
Mark Lobodzinskibe4b3452018-09-14 16:14:33 -0600491 return skip;
492}
493
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600494void ObjectLifetimes::PostCallRecordGetSwapchainImagesKHR(VkDevice device, VkSwapchainKHR swapchain, uint32_t *pSwapchainImageCount,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700495 VkImage *pSwapchainImages, VkResult result) {
496 if ((result != VK_SUCCESS) && (result != VK_INCOMPLETE)) return;
Jeff Bolzc31aae42019-08-12 20:29:43 -0500497 auto lock = write_shared_lock();
Mark Lobodzinskibe4b3452018-09-14 16:14:33 -0600498 if (pSwapchainImages != NULL) {
499 for (uint32_t i = 0; i < *pSwapchainImageCount; i++) {
Mark Lobodzinski702c6a42019-09-11 11:52:23 -0600500 CreateSwapchainImageObject(pSwapchainImages[i], swapchain);
Mark Lobodzinskibe4b3452018-09-14 16:14:33 -0600501 }
502 }
503}
504
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600505bool ObjectLifetimes::PreCallValidateCreateDescriptorSetLayout(VkDevice device, const VkDescriptorSetLayoutCreateInfo *pCreateInfo,
506 const VkAllocationCallbacks *pAllocator,
507 VkDescriptorSetLayout *pSetLayout) {
Petr Kraus42f6f8d2017-12-17 17:37:33 +0100508 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600509 skip |=
510 ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkCreateDescriptorSetLayout-device-parameter", kVUIDUndefined);
Mark Lobodzinskibe4b3452018-09-14 16:14:33 -0600511 if (pCreateInfo) {
512 if (pCreateInfo->pBindings) {
513 for (uint32_t binding_index = 0; binding_index < pCreateInfo->bindingCount; ++binding_index) {
514 const VkDescriptorSetLayoutBinding &binding = pCreateInfo->pBindings[binding_index];
515 const bool is_sampler_type = binding.descriptorType == VK_DESCRIPTOR_TYPE_SAMPLER ||
516 binding.descriptorType == VK_DESCRIPTOR_TYPE_COMBINED_IMAGE_SAMPLER;
517 if (binding.pImmutableSamplers && is_sampler_type) {
518 for (uint32_t index2 = 0; index2 < binding.descriptorCount; ++index2) {
519 const VkSampler sampler = binding.pImmutableSamplers[index2];
Mark Lobodzinski39965742019-09-11 11:03:51 -0600520 skip |= ValidateObject(sampler, kVulkanObjectTypeSampler, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600521 "VUID-VkDescriptorSetLayoutBinding-descriptorType-00282", kVUIDUndefined);
Petr Kraus42f6f8d2017-12-17 17:37:33 +0100522 }
523 }
524 }
525 }
526 }
Mark Lobodzinskibe4b3452018-09-14 16:14:33 -0600527 return skip;
528}
529
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600530void ObjectLifetimes::PostCallRecordCreateDescriptorSetLayout(VkDevice device, const VkDescriptorSetLayoutCreateInfo *pCreateInfo,
531 const VkAllocationCallbacks *pAllocator,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700532 VkDescriptorSetLayout *pSetLayout, VkResult result) {
533 if (result != VK_SUCCESS) return;
Mark Lobodzinski1e76a7d2019-09-11 11:11:46 -0600534 CreateObject(*pSetLayout, kVulkanObjectTypeDescriptorSetLayout, pAllocator);
Mark Lobodzinskibe4b3452018-09-14 16:14:33 -0600535}
536
Mark Lobodzinski702c6a42019-09-11 11:52:23 -0600537bool ObjectLifetimes::ValidateSamplerObjects(const VkDescriptorSetLayoutCreateInfo *pCreateInfo) {
Mark Lobodzinski88a1a662018-07-02 14:09:39 -0600538 bool skip = false;
539 if (pCreateInfo->pBindings) {
540 for (uint32_t index1 = 0; index1 < pCreateInfo->bindingCount; ++index1) {
541 for (uint32_t index2 = 0; index2 < pCreateInfo->pBindings[index1].descriptorCount; ++index2) {
542 if (pCreateInfo->pBindings[index1].pImmutableSamplers) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600543 skip |= ValidateObject(pCreateInfo->pBindings[index1].pImmutableSamplers[index2], kVulkanObjectTypeSampler,
544 true, "VUID-VkDescriptorSetLayoutBinding-descriptorType-00282", kVUIDUndefined);
Mark Lobodzinski88a1a662018-07-02 14:09:39 -0600545 }
546 }
547 }
548 }
549 return skip;
550}
551
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600552bool ObjectLifetimes::PreCallValidateGetDescriptorSetLayoutSupport(VkDevice device,
553 const VkDescriptorSetLayoutCreateInfo *pCreateInfo,
554 VkDescriptorSetLayoutSupport *pSupport) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600555 bool skip = ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkGetDescriptorSetLayoutSupport-device-parameter",
556 kVUIDUndefined);
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600557 if (pCreateInfo) {
Mark Lobodzinski702c6a42019-09-11 11:52:23 -0600558 skip |= ValidateSamplerObjects(pCreateInfo);
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600559 }
560 return skip;
561}
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600562bool ObjectLifetimes::PreCallValidateGetDescriptorSetLayoutSupportKHR(VkDevice device,
563 const VkDescriptorSetLayoutCreateInfo *pCreateInfo,
564 VkDescriptorSetLayoutSupport *pSupport) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600565 bool skip = ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkGetDescriptorSetLayoutSupportKHR-device-parameter",
566 kVUIDUndefined);
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600567 if (pCreateInfo) {
Mark Lobodzinski702c6a42019-09-11 11:52:23 -0600568 skip |= ValidateSamplerObjects(pCreateInfo);
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600569 }
570 return skip;
571}
572
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600573bool ObjectLifetimes::PreCallValidateGetPhysicalDeviceQueueFamilyProperties(VkPhysicalDevice physicalDevice,
574 uint32_t *pQueueFamilyPropertyCount,
575 VkQueueFamilyProperties *pQueueFamilyProperties) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600576 return ValidateObject(physicalDevice, kVulkanObjectTypePhysicalDevice, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600577 "VUID-vkGetPhysicalDeviceQueueFamilyProperties-physicalDevice-parameter", kVUIDUndefined);
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600578}
Mark Lobodzinski63902f02018-09-21 10:36:44 -0600579
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600580void ObjectLifetimes::PostCallRecordGetPhysicalDeviceQueueFamilyProperties(VkPhysicalDevice physicalDevice,
581 uint32_t *pQueueFamilyPropertyCount,
Jeff Bolz6d243112019-08-21 13:24:11 -0500582 VkQueueFamilyProperties *pQueueFamilyProperties) {}
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600583
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600584void ObjectLifetimes::PostCallRecordCreateInstance(const VkInstanceCreateInfo *pCreateInfo, const VkAllocationCallbacks *pAllocator,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700585 VkInstance *pInstance, VkResult result) {
586 if (result != VK_SUCCESS) return;
Mark Lobodzinski1e76a7d2019-09-11 11:11:46 -0600587 CreateObject(*pInstance, kVulkanObjectTypeInstance, pAllocator);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600588}
589
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600590bool ObjectLifetimes::PreCallValidateAllocateCommandBuffers(VkDevice device, const VkCommandBufferAllocateInfo *pAllocateInfo,
591 VkCommandBuffer *pCommandBuffers) {
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600592 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600593 skip |=
594 ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkAllocateCommandBuffers-device-parameter", kVUIDUndefined);
595 skip |= ValidateObject(pAllocateInfo->commandPool, kVulkanObjectTypeCommandPool, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600596 "VUID-VkCommandBufferAllocateInfo-commandPool-parameter", kVUIDUndefined);
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600597 return skip;
598}
599
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600600void ObjectLifetimes::PostCallRecordAllocateCommandBuffers(VkDevice device, const VkCommandBufferAllocateInfo *pAllocateInfo,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700601 VkCommandBuffer *pCommandBuffers, VkResult result) {
602 if (result != VK_SUCCESS) return;
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600603 for (uint32_t i = 0; i < pAllocateInfo->commandBufferCount; i++) {
Mark Lobodzinski702c6a42019-09-11 11:52:23 -0600604 AllocateCommandBuffer(pAllocateInfo->commandPool, pCommandBuffers[i], pAllocateInfo->level);
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600605 }
606}
607
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600608bool ObjectLifetimes::PreCallValidateAllocateDescriptorSets(VkDevice device, const VkDescriptorSetAllocateInfo *pAllocateInfo,
609 VkDescriptorSet *pDescriptorSets) {
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600610 bool skip = false;
Jeff Bolzc31aae42019-08-12 20:29:43 -0500611 auto lock = read_shared_lock();
Mark Lobodzinski39965742019-09-11 11:03:51 -0600612 skip |=
613 ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkAllocateDescriptorSets-device-parameter", kVUIDUndefined);
614 skip |= ValidateObject(pAllocateInfo->descriptorPool, kVulkanObjectTypeDescriptorPool, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600615 "VUID-VkDescriptorSetAllocateInfo-descriptorPool-parameter",
616 "VUID-VkDescriptorSetAllocateInfo-commonparent");
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600617 for (uint32_t i = 0; i < pAllocateInfo->descriptorSetCount; i++) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600618 skip |= ValidateObject(pAllocateInfo->pSetLayouts[i], kVulkanObjectTypeDescriptorSetLayout, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600619 "VUID-VkDescriptorSetAllocateInfo-pSetLayouts-parameter",
620 "VUID-VkDescriptorSetAllocateInfo-commonparent");
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600621 }
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600622 return skip;
623}
624
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600625void ObjectLifetimes::PostCallRecordAllocateDescriptorSets(VkDevice device, const VkDescriptorSetAllocateInfo *pAllocateInfo,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700626 VkDescriptorSet *pDescriptorSets, VkResult result) {
627 if (result != VK_SUCCESS) return;
Jeff Bolzc31aae42019-08-12 20:29:43 -0500628 auto lock = write_shared_lock();
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600629 for (uint32_t i = 0; i < pAllocateInfo->descriptorSetCount; i++) {
Mark Lobodzinski702c6a42019-09-11 11:52:23 -0600630 AllocateDescriptorSet(pAllocateInfo->descriptorPool, pDescriptorSets[i]);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600631 }
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600632}
633
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600634bool ObjectLifetimes::PreCallValidateFreeCommandBuffers(VkDevice device, VkCommandPool commandPool, uint32_t commandBufferCount,
635 const VkCommandBuffer *pCommandBuffers) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600636 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600637 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkFreeCommandBuffers-device-parameter", kVUIDUndefined);
638 skip |= ValidateObject(commandPool, kVulkanObjectTypeCommandPool, false, "VUID-vkFreeCommandBuffers-commandPool-parameter",
639 "VUID-vkFreeCommandBuffers-commandPool-parent");
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600640 for (uint32_t i = 0; i < commandBufferCount; i++) {
641 if (pCommandBuffers[i] != VK_NULL_HANDLE) {
Mark Lobodzinski702c6a42019-09-11 11:52:23 -0600642 skip |= ValidateCommandBuffer(commandPool, pCommandBuffers[i]);
Mark Lobodzinski3d89a2c2019-09-11 11:41:11 -0600643 skip |=
644 ValidateDestroyObject(pCommandBuffers[i], kVulkanObjectTypeCommandBuffer, nullptr, kVUIDUndefined, kVUIDUndefined);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600645 }
646 }
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600647 return skip;
648}
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600649
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600650void ObjectLifetimes::PreCallRecordFreeCommandBuffers(VkDevice device, VkCommandPool commandPool, uint32_t commandBufferCount,
651 const VkCommandBuffer *pCommandBuffers) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600652 for (uint32_t i = 0; i < commandBufferCount; i++) {
Mark Lobodzinski82742f62019-09-11 11:20:26 -0600653 RecordDestroyObject(pCommandBuffers[i], kVulkanObjectTypeCommandBuffer);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600654 }
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600655}
656
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600657bool ObjectLifetimes::PreCallValidateDestroySwapchainKHR(VkDevice device, VkSwapchainKHR swapchain,
658 const VkAllocationCallbacks *pAllocator) {
Mark Lobodzinski3d89a2c2019-09-11 11:41:11 -0600659 return ValidateDestroyObject(swapchain, kVulkanObjectTypeSwapchainKHR, pAllocator, "VUID-vkDestroySwapchainKHR-swapchain-01283",
660 "VUID-vkDestroySwapchainKHR-swapchain-01284");
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600661}
662
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600663void ObjectLifetimes::PreCallRecordDestroySwapchainKHR(VkDevice device, VkSwapchainKHR swapchain,
664 const VkAllocationCallbacks *pAllocator) {
Mark Lobodzinski82742f62019-09-11 11:20:26 -0600665 RecordDestroyObject(swapchain, kVulkanObjectTypeSwapchainKHR);
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500666
667 auto snapshot = swapchainImageMap.snapshot(
668 [swapchain](std::shared_ptr<ObjTrackState> pNode) { return pNode->parent_object == HandleToUint64(swapchain); });
669 for (const auto &itr : snapshot) {
670 swapchainImageMap.erase(itr.first);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600671 }
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600672}
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600673
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600674bool ObjectLifetimes::PreCallValidateFreeDescriptorSets(VkDevice device, VkDescriptorPool descriptorPool,
675 uint32_t descriptorSetCount, const VkDescriptorSet *pDescriptorSets) {
Jeff Bolzc31aae42019-08-12 20:29:43 -0500676 auto lock = read_shared_lock();
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600677 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600678 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkFreeDescriptorSets-device-parameter", kVUIDUndefined);
679 skip |= ValidateObject(descriptorPool, kVulkanObjectTypeDescriptorPool, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600680 "VUID-vkFreeDescriptorSets-descriptorPool-parameter", "VUID-vkFreeDescriptorSets-descriptorPool-parent");
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600681 for (uint32_t i = 0; i < descriptorSetCount; i++) {
682 if (pDescriptorSets[i] != VK_NULL_HANDLE) {
Mark Lobodzinski702c6a42019-09-11 11:52:23 -0600683 skip |= ValidateDescriptorSet(descriptorPool, pDescriptorSets[i]);
Mark Lobodzinski3d89a2c2019-09-11 11:41:11 -0600684 skip |=
685 ValidateDestroyObject(pDescriptorSets[i], kVulkanObjectTypeDescriptorSet, nullptr, kVUIDUndefined, kVUIDUndefined);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600686 }
687 }
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600688 return skip;
689}
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600690void ObjectLifetimes::PreCallRecordFreeDescriptorSets(VkDevice device, VkDescriptorPool descriptorPool, uint32_t descriptorSetCount,
691 const VkDescriptorSet *pDescriptorSets) {
Jeff Bolzc31aae42019-08-12 20:29:43 -0500692 auto lock = write_shared_lock();
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500693 std::shared_ptr<ObjTrackState> pPoolNode = nullptr;
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600694 auto itr = object_map[kVulkanObjectTypeDescriptorPool].find(HandleToUint64(descriptorPool));
695 if (itr != object_map[kVulkanObjectTypeDescriptorPool].end()) {
696 pPoolNode = itr->second;
697 }
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600698 for (uint32_t i = 0; i < descriptorSetCount; i++) {
Mark Lobodzinski82742f62019-09-11 11:20:26 -0600699 RecordDestroyObject(pDescriptorSets[i], kVulkanObjectTypeDescriptorSet);
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600700 if (pPoolNode) {
701 pPoolNode->child_objects->erase(HandleToUint64(pDescriptorSets[i]));
702 }
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600703 }
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600704}
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600705
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600706bool ObjectLifetimes::PreCallValidateDestroyDescriptorPool(VkDevice device, VkDescriptorPool descriptorPool,
707 const VkAllocationCallbacks *pAllocator) {
Jeff Bolzc31aae42019-08-12 20:29:43 -0500708 auto lock = read_shared_lock();
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600709 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600710 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkDestroyDescriptorPool-device-parameter", kVUIDUndefined);
711 skip |= ValidateObject(descriptorPool, kVulkanObjectTypeDescriptorPool, true,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600712 "VUID-vkDestroyDescriptorPool-descriptorPool-parameter",
713 "VUID-vkDestroyDescriptorPool-descriptorPool-parent");
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600714
715 auto itr = object_map[kVulkanObjectTypeDescriptorPool].find(HandleToUint64(descriptorPool));
716 if (itr != object_map[kVulkanObjectTypeDescriptorPool].end()) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500717 auto pPoolNode = itr->second;
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600718 for (auto set : *pPoolNode->child_objects) {
Mark Lobodzinski3d89a2c2019-09-11 11:41:11 -0600719 skip |= ValidateDestroyObject((VkDescriptorSet)set, kVulkanObjectTypeDescriptorSet, nullptr, kVUIDUndefined,
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600720 kVUIDUndefined);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600721 }
722 }
Mark Lobodzinski3d89a2c2019-09-11 11:41:11 -0600723 skip |= ValidateDestroyObject(descriptorPool, kVulkanObjectTypeDescriptorPool, pAllocator,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600724 "VUID-vkDestroyDescriptorPool-descriptorPool-00304",
725 "VUID-vkDestroyDescriptorPool-descriptorPool-00305");
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600726 return skip;
727}
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600728void ObjectLifetimes::PreCallRecordDestroyDescriptorPool(VkDevice device, VkDescriptorPool descriptorPool,
729 const VkAllocationCallbacks *pAllocator) {
Jeff Bolzc31aae42019-08-12 20:29:43 -0500730 auto lock = write_shared_lock();
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600731 auto itr = object_map[kVulkanObjectTypeDescriptorPool].find(HandleToUint64(descriptorPool));
732 if (itr != object_map[kVulkanObjectTypeDescriptorPool].end()) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500733 auto pPoolNode = itr->second;
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600734 for (auto set : *pPoolNode->child_objects) {
Mark Lobodzinski82742f62019-09-11 11:20:26 -0600735 RecordDestroyObject((VkDescriptorSet)set, kVulkanObjectTypeDescriptorSet);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600736 }
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600737 pPoolNode->child_objects->clear();
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600738 }
Mark Lobodzinski82742f62019-09-11 11:20:26 -0600739 RecordDestroyObject(descriptorPool, kVulkanObjectTypeDescriptorPool);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600740}
741
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600742bool ObjectLifetimes::PreCallValidateDestroyCommandPool(VkDevice device, VkCommandPool commandPool,
743 const VkAllocationCallbacks *pAllocator) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600744 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600745 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkDestroyCommandPool-device-parameter", kVUIDUndefined);
746 skip |= ValidateObject(commandPool, kVulkanObjectTypeCommandPool, true, "VUID-vkDestroyCommandPool-commandPool-parameter",
747 "VUID-vkDestroyCommandPool-commandPool-parent");
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500748
749 auto snapshot = object_map[kVulkanObjectTypeCommandBuffer].snapshot(
750 [commandPool](std::shared_ptr<ObjTrackState> pNode) { return pNode->parent_object == HandleToUint64(commandPool); });
751 for (const auto &itr : snapshot) {
752 auto pNode = itr.second;
Mark Lobodzinski702c6a42019-09-11 11:52:23 -0600753 skip |= ValidateCommandBuffer(commandPool, reinterpret_cast<VkCommandBuffer>(itr.first));
Mark Lobodzinski3d89a2c2019-09-11 11:41:11 -0600754 skip |= ValidateDestroyObject(reinterpret_cast<VkCommandBuffer>(itr.first), kVulkanObjectTypeCommandBuffer, nullptr,
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500755 kVUIDUndefined, kVUIDUndefined);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600756 }
Mark Lobodzinski3d89a2c2019-09-11 11:41:11 -0600757 skip |= ValidateDestroyObject(commandPool, kVulkanObjectTypeCommandPool, pAllocator,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600758 "VUID-vkDestroyCommandPool-commandPool-00042", "VUID-vkDestroyCommandPool-commandPool-00043");
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600759 return skip;
760}
761
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600762void ObjectLifetimes::PreCallRecordDestroyCommandPool(VkDevice device, VkCommandPool commandPool,
763 const VkAllocationCallbacks *pAllocator) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500764 auto snapshot = object_map[kVulkanObjectTypeCommandBuffer].snapshot(
765 [commandPool](std::shared_ptr<ObjTrackState> pNode) { return pNode->parent_object == HandleToUint64(commandPool); });
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600766 // 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 -0500767 for (const auto &itr : snapshot) {
Mark Lobodzinski82742f62019-09-11 11:20:26 -0600768 RecordDestroyObject(reinterpret_cast<VkCommandBuffer>(itr.first), kVulkanObjectTypeCommandBuffer);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600769 }
Mark Lobodzinski82742f62019-09-11 11:20:26 -0600770 RecordDestroyObject(commandPool, kVulkanObjectTypeCommandPool);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600771}
772
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600773bool ObjectLifetimes::PreCallValidateGetPhysicalDeviceQueueFamilyProperties2(VkPhysicalDevice physicalDevice,
774 uint32_t *pQueueFamilyPropertyCount,
775 VkQueueFamilyProperties2KHR *pQueueFamilyProperties) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600776 return ValidateObject(physicalDevice, kVulkanObjectTypePhysicalDevice, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600777 "VUID-vkGetPhysicalDeviceQueueFamilyProperties2-physicalDevice-parameter", kVUIDUndefined);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600778}
779
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600780bool ObjectLifetimes::PreCallValidateGetPhysicalDeviceQueueFamilyProperties2KHR(VkPhysicalDevice physicalDevice,
781 uint32_t *pQueueFamilyPropertyCount,
782 VkQueueFamilyProperties2 *pQueueFamilyProperties) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600783 return ValidateObject(physicalDevice, kVulkanObjectTypePhysicalDevice, false,
Shannon McPherson3ea65132018-12-05 10:37:39 -0700784 "VUID-vkGetPhysicalDeviceQueueFamilyProperties2-physicalDevice-parameter", kVUIDUndefined);
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600785}
786
787void ObjectLifetimes::PostCallRecordGetPhysicalDeviceQueueFamilyProperties2(VkPhysicalDevice physicalDevice,
788 uint32_t *pQueueFamilyPropertyCount,
Jeff Bolz6d243112019-08-21 13:24:11 -0500789 VkQueueFamilyProperties2KHR *pQueueFamilyProperties) {}
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600790
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600791void ObjectLifetimes::PostCallRecordGetPhysicalDeviceQueueFamilyProperties2KHR(
Jeff Bolz6d243112019-08-21 13:24:11 -0500792 VkPhysicalDevice physicalDevice, uint32_t *pQueueFamilyPropertyCount, VkQueueFamilyProperties2KHR *pQueueFamilyProperties) {}
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600793
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600794bool ObjectLifetimes::PreCallValidateGetPhysicalDeviceDisplayPropertiesKHR(VkPhysicalDevice physicalDevice,
795 uint32_t *pPropertyCount,
796 VkDisplayPropertiesKHR *pProperties) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600797 return ValidateObject(physicalDevice, kVulkanObjectTypePhysicalDevice, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600798 "VUID-vkGetPhysicalDeviceDisplayPropertiesKHR-physicalDevice-parameter", kVUIDUndefined);
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600799}
800
801void ObjectLifetimes::PostCallRecordGetPhysicalDeviceDisplayPropertiesKHR(VkPhysicalDevice physicalDevice, uint32_t *pPropertyCount,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700802 VkDisplayPropertiesKHR *pProperties, VkResult result) {
803 if ((result != VK_SUCCESS) && (result != VK_INCOMPLETE)) return;
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600804 if (pProperties) {
805 for (uint32_t i = 0; i < *pPropertyCount; ++i) {
Mark Lobodzinski1e76a7d2019-09-11 11:11:46 -0600806 CreateObject(pProperties[i].display, kVulkanObjectTypeDisplayKHR, nullptr);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600807 }
808 }
809}
810
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600811bool ObjectLifetimes::PreCallValidateGetDisplayModePropertiesKHR(VkPhysicalDevice physicalDevice, VkDisplayKHR display,
812 uint32_t *pPropertyCount,
813 VkDisplayModePropertiesKHR *pProperties) {
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600814 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600815 skip |= ValidateObject(physicalDevice, kVulkanObjectTypePhysicalDevice, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600816 "VUID-vkGetDisplayModePropertiesKHR-physicalDevice-parameter", kVUIDUndefined);
Mark Lobodzinski39965742019-09-11 11:03:51 -0600817 skip |= ValidateObject(display, kVulkanObjectTypeDisplayKHR, false, "VUID-vkGetDisplayModePropertiesKHR-display-parameter",
818 kVUIDUndefined);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600819
820 return skip;
821}
822
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600823void ObjectLifetimes::PostCallRecordGetDisplayModePropertiesKHR(VkPhysicalDevice physicalDevice, VkDisplayKHR display,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700824 uint32_t *pPropertyCount, VkDisplayModePropertiesKHR *pProperties,
825 VkResult result) {
826 if ((result != VK_SUCCESS) && (result != VK_INCOMPLETE)) return;
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600827 if (pProperties) {
Tony-LunarGcd0c6b02018-10-26 14:56:44 -0600828 for (uint32_t i = 0; i < *pPropertyCount; ++i) {
Mark Lobodzinski1e76a7d2019-09-11 11:11:46 -0600829 CreateObject(pProperties[i].displayMode, kVulkanObjectTypeDisplayModeKHR, nullptr);
Shannon McPherson9d5167f2018-05-02 15:24:37 -0600830 }
831 }
Shannon McPherson9d5167f2018-05-02 15:24:37 -0600832}
833
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600834bool ObjectLifetimes::PreCallValidateGetPhysicalDeviceDisplayProperties2KHR(VkPhysicalDevice physicalDevice,
835 uint32_t *pPropertyCount,
836 VkDisplayProperties2KHR *pProperties) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600837 return ValidateObject(physicalDevice, kVulkanObjectTypePhysicalDevice, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600838 "VUID-vkGetPhysicalDeviceDisplayProperties2KHR-physicalDevice-parameter", kVUIDUndefined);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600839}
840
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600841void ObjectLifetimes::PostCallRecordGetPhysicalDeviceDisplayProperties2KHR(VkPhysicalDevice physicalDevice,
842 uint32_t *pPropertyCount,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700843 VkDisplayProperties2KHR *pProperties, VkResult result) {
844 if ((result != VK_SUCCESS) && (result != VK_INCOMPLETE)) return;
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600845 for (uint32_t index = 0; index < *pPropertyCount; ++index) {
Mark Lobodzinski1e76a7d2019-09-11 11:11:46 -0600846 CreateObject(pProperties[index].displayProperties.display, kVulkanObjectTypeDisplayKHR, nullptr);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600847 }
848}
849
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600850bool ObjectLifetimes::PreCallValidateGetDisplayModeProperties2KHR(VkPhysicalDevice physicalDevice, VkDisplayKHR display,
851 uint32_t *pPropertyCount,
852 VkDisplayModeProperties2KHR *pProperties) {
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600853 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600854 skip |= ValidateObject(physicalDevice, kVulkanObjectTypePhysicalDevice, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600855 "VUID-vkGetDisplayModeProperties2KHR-physicalDevice-parameter", kVUIDUndefined);
Mark Lobodzinski39965742019-09-11 11:03:51 -0600856 skip |= ValidateObject(display, kVulkanObjectTypeDisplayKHR, false, "VUID-vkGetDisplayModeProperties2KHR-display-parameter",
857 kVUIDUndefined);
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600858
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600859 return skip;
860}
861
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600862void ObjectLifetimes::PostCallRecordGetDisplayModeProperties2KHR(VkPhysicalDevice physicalDevice, VkDisplayKHR display,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700863 uint32_t *pPropertyCount, VkDisplayModeProperties2KHR *pProperties,
864 VkResult result) {
865 if ((result != VK_SUCCESS) && (result != VK_INCOMPLETE)) return;
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600866 for (uint32_t index = 0; index < *pPropertyCount; ++index) {
Mark Lobodzinski1e76a7d2019-09-11 11:11:46 -0600867 CreateObject(pProperties[index].displayModeProperties.displayMode, kVulkanObjectTypeDisplayModeKHR, nullptr);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600868 }
869}
Shannon McPhersonf7d9cf62019-06-26 09:23:57 -0600870
871bool ObjectLifetimes::PreCallValidateAcquirePerformanceConfigurationINTEL(
872 VkDevice device, const VkPerformanceConfigurationAcquireInfoINTEL *pAcquireInfo,
873 VkPerformanceConfigurationINTEL *pConfiguration) {
874 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600875 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkAcquirePerformanceConfigurationINTEL-device-parameter",
876 kVUIDUndefined);
Shannon McPhersonf7d9cf62019-06-26 09:23:57 -0600877
878 return skip;
879}
880
881bool ObjectLifetimes::PreCallValidateReleasePerformanceConfigurationINTEL(VkDevice device,
882 VkPerformanceConfigurationINTEL configuration) {
883 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600884 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkReleasePerformanceConfigurationINTEL-device-parameter",
885 kVUIDUndefined);
Shannon McPhersonf7d9cf62019-06-26 09:23:57 -0600886
887 return skip;
888}
889
890bool ObjectLifetimes::PreCallValidateQueueSetPerformanceConfigurationINTEL(VkQueue queue,
891 VkPerformanceConfigurationINTEL configuration) {
892 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600893 skip |= ValidateObject(queue, kVulkanObjectTypeQueue, false, "VUID-vkQueueSetPerformanceConfigurationINTEL-queue-parameter",
894 "VUID-vkQueueSetPerformanceConfigurationINTEL-commonparent");
Shannon McPhersonf7d9cf62019-06-26 09:23:57 -0600895
896 return skip;
897}
Tobias Hectorc9057422019-07-23 12:15:52 +0100898
899bool ObjectLifetimes::PreCallValidateCreateFramebuffer(VkDevice device, const VkFramebufferCreateInfo *pCreateInfo,
900 const VkAllocationCallbacks *pAllocator, VkFramebuffer *pFramebuffer) {
901 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600902 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkCreateFramebuffer-device-parameter", kVUIDUndefined);
Tobias Hectorc9057422019-07-23 12:15:52 +0100903 if (pCreateInfo) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600904 skip |= ValidateObject(pCreateInfo->renderPass, kVulkanObjectTypeRenderPass, false,
Tobias Hectorc9057422019-07-23 12:15:52 +0100905 "VUID-VkFramebufferCreateInfo-renderPass-parameter", "VUID-VkFramebufferCreateInfo-commonparent");
906 if ((pCreateInfo->flags & VK_FRAMEBUFFER_CREATE_IMAGELESS_BIT_KHR) == 0) {
907 for (uint32_t index1 = 0; index1 < pCreateInfo->attachmentCount; ++index1) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600908 skip |= ValidateObject(pCreateInfo->pAttachments[index1], kVulkanObjectTypeImageView, true, kVUIDUndefined,
Tobias Hectorc9057422019-07-23 12:15:52 +0100909 "VUID-VkFramebufferCreateInfo-commonparent");
910 }
911 }
912 }
913
914 return skip;
915}
916
917void ObjectLifetimes::PostCallRecordCreateFramebuffer(VkDevice device, const VkFramebufferCreateInfo *pCreateInfo,
918 const VkAllocationCallbacks *pAllocator, VkFramebuffer *pFramebuffer,
919 VkResult result) {
920 if (result != VK_SUCCESS) return;
Mark Lobodzinski1e76a7d2019-09-11 11:11:46 -0600921 CreateObject(*pFramebuffer, kVulkanObjectTypeFramebuffer, pAllocator);
Tobias Hectorc9057422019-07-23 12:15:52 +0100922}
Mark Lobodzinski417b7572019-09-11 15:10:26 -0600923
924bool ObjectLifetimes::PreCallValidateSetDebugUtilsObjectNameEXT(VkDevice device, const VkDebugUtilsObjectNameInfoEXT *pNameInfo) {
925 bool skip = false;
926 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkSetDebugUtilsObjectNameEXT-device-parameter",
927 kVUIDUndefined);
928 skip |= ValidateAnonymousObject(pNameInfo->objectHandle, pNameInfo->objectType, false,
929 "VUID-VkDebugUtilsObjectNameInfoEXT-objectType-02590", kVUIDUndefined);
930
931 return skip;
932}
933
934bool ObjectLifetimes::PreCallValidateSetDebugUtilsObjectTagEXT(VkDevice device, const VkDebugUtilsObjectTagInfoEXT *pTagInfo) {
935 bool skip = false;
936 skip |=
937 ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkSetDebugUtilsObjectTagEXT-device-parameter", kVUIDUndefined);
938 skip |= ValidateAnonymousObject(pTagInfo->objectHandle, pTagInfo->objectType, false,
939 "VUID-VkDebugUtilsObjectTagInfoEXT-objectHandle-01910", kVUIDUndefined);
940
941 return skip;
942}