blob: 5fe6c8013e84c42153316570ee06f037c7d07087 [file] [log] [blame]
Tony-LunarG73719992020-01-15 10:20:28 -07001/* Copyright (c) 2015-2020 The Khronos Group Inc.
2 * Copyright (c) 2015-2020 Valve Corporation
3 * Copyright (c) 2015-2020 LunarG, Inc.
4 * Copyright (C) 2015-2020 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,
Jeff Bolz46c0ea02019-10-09 13:06:29 -050063 const char *wrong_device_code) const {
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 }
Mark Lobodzinskicb4784a2020-01-29 15:34:59 -070069 return LogError(instance, invalid_handle_code, "Invalid %s.", report_data->FormatHandle(device_typed).c_str());
Mark Lobodzinski9bd81192017-11-13 09:38:23 -070070}
71
Mark Lobodzinski8af6bb42019-09-11 14:37:29 -060072bool ObjectLifetimes::ValidateAnonymousObject(uint64_t object_handle, VkObjectType core_object_type, bool null_allowed,
Jeff Bolz46c0ea02019-10-09 13:06:29 -050073 const char *invalid_handle_code, const char *wrong_device_code) const {
Mark Lobodzinski8af6bb42019-09-11 14:37:29 -060074 if (null_allowed && (object_handle == VK_NULL_HANDLE)) return false;
75 auto object_type = ConvertCoreObjectToVulkanObject(core_object_type);
76
77 if (object_type == kVulkanObjectTypeDevice) {
78 return ValidateDeviceObject(VulkanTypedHandle(reinterpret_cast<VkDevice>(object_handle), object_type), invalid_handle_code,
79 wrong_device_code);
80 }
Mark Lobodzinskicb4784a2020-01-29 15:34:59 -070081
Mark Lobodzinski8af6bb42019-09-11 14:37:29 -060082 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 }
Mark Lobodzinskicb4784a2020-01-29 15:34:59 -070096 InsertObject(object_map[kVulkanObjectTypeCommandBuffer], command_buffer, kVulkanObjectTypeCommandBuffer, pNewObjNode);
Mark Lobodzinskiadd93232018-10-09 11:49:42 -060097 num_objects[kVulkanObjectTypeCommandBuffer]++;
98 num_total_objects++;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -060099}
100
Jeff Bolz46c0ea02019-10-09 13:06:29 -0500101bool ObjectLifetimes::ValidateCommandBuffer(VkCommandPool command_pool, VkCommandBuffer command_buffer) const {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600102 bool skip = false;
103 uint64_t object_handle = HandleToUint64(command_buffer);
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500104 auto iter = object_map[kVulkanObjectTypeCommandBuffer].find(object_handle);
105 if (iter != object_map[kVulkanObjectTypeCommandBuffer].end()) {
106 auto pNode = iter->second;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600107
108 if (pNode->parent_object != HandleToUint64(command_pool)) {
John Zulauf1c3844a2019-04-01 17:39:48 -0600109 // We know that the parent *must* be a command pool
110 const auto parent_pool = CastFromUint64<VkCommandPool>(pNode->parent_object);
Mark Lobodzinskicb4784a2020-01-29 15:34:59 -0700111 skip |= LogError(command_buffer, "VUID-vkFreeCommandBuffers-pCommandBuffers-parent",
112 "FreeCommandBuffers is attempting to free %s belonging to %s from %s).",
113 report_data->FormatHandle(command_buffer).c_str(), report_data->FormatHandle(parent_pool).c_str(),
114 report_data->FormatHandle(command_pool).c_str());
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600115 }
116 } else {
Mark Lobodzinskicb4784a2020-01-29 15:34:59 -0700117 skip |= LogError(command_buffer, "VUID-vkFreeCommandBuffers-pCommandBuffers-00048", "Invalid %s.",
118 report_data->FormatHandle(command_buffer).c_str());
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600119 }
120 return skip;
121}
122
Mark Lobodzinski702c6a42019-09-11 11:52:23 -0600123void ObjectLifetimes::AllocateDescriptorSet(VkDescriptorPool descriptor_pool, VkDescriptorSet descriptor_set) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500124 auto pNewObjNode = std::make_shared<ObjTrackState>();
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600125 pNewObjNode->object_type = kVulkanObjectTypeDescriptorSet;
126 pNewObjNode->status = OBJSTATUS_NONE;
127 pNewObjNode->handle = HandleToUint64(descriptor_set);
128 pNewObjNode->parent_object = HandleToUint64(descriptor_pool);
Mark Lobodzinskicb4784a2020-01-29 15:34:59 -0700129 InsertObject(object_map[kVulkanObjectTypeDescriptorSet], descriptor_set, kVulkanObjectTypeDescriptorSet, pNewObjNode);
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600130 num_objects[kVulkanObjectTypeDescriptorSet]++;
131 num_total_objects++;
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600132
133 auto itr = object_map[kVulkanObjectTypeDescriptorPool].find(HandleToUint64(descriptor_pool));
134 if (itr != object_map[kVulkanObjectTypeDescriptorPool].end()) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500135 itr->second->child_objects->insert(HandleToUint64(descriptor_set));
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600136 }
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600137}
138
Jeff Bolz46c0ea02019-10-09 13:06:29 -0500139bool ObjectLifetimes::ValidateDescriptorSet(VkDescriptorPool descriptor_pool, VkDescriptorSet descriptor_set) const {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600140 bool skip = false;
141 uint64_t object_handle = HandleToUint64(descriptor_set);
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600142 auto dsItem = object_map[kVulkanObjectTypeDescriptorSet].find(object_handle);
143 if (dsItem != object_map[kVulkanObjectTypeDescriptorSet].end()) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500144 if (dsItem->second->parent_object != HandleToUint64(descriptor_pool)) {
John Zulauf1c3844a2019-04-01 17:39:48 -0600145 // We know that the parent *must* be a descriptor pool
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500146 const auto parent_pool = CastFromUint64<VkDescriptorPool>(dsItem->second->parent_object);
Mark Lobodzinskicb4784a2020-01-29 15:34:59 -0700147 skip |= LogError(descriptor_set, "VUID-vkFreeDescriptorSets-pDescriptorSets-parent",
148 "FreeDescriptorSets is attempting to free %s"
149 " belonging to %s from %s).",
150 report_data->FormatHandle(descriptor_set).c_str(), report_data->FormatHandle(parent_pool).c_str(),
151 report_data->FormatHandle(descriptor_pool).c_str());
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600152 }
153 } else {
Mark Lobodzinskicb4784a2020-01-29 15:34:59 -0700154 skip |= LogError(descriptor_set, "VUID-vkFreeDescriptorSets-pDescriptorSets-00310", "Invalid %s.",
155 report_data->FormatHandle(descriptor_set).c_str());
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600156 }
157 return skip;
158}
159
Jeff Bolz46c0ea02019-10-09 13:06:29 -0500160bool ObjectLifetimes::ValidateDescriptorWrite(VkWriteDescriptorSet const *desc, bool isPush) const {
Chris Forbes2c600e92017-10-20 11:13:20 -0700161 bool skip = false;
162
163 if (!isPush && desc->dstSet) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600164 skip |= ValidateObject(desc->dstSet, kVulkanObjectTypeDescriptorSet, false, "VUID-VkWriteDescriptorSet-dstSet-00320",
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600165 "VUID-VkWriteDescriptorSet-commonparent");
Chris Forbes2c600e92017-10-20 11:13:20 -0700166 }
167
168 if ((desc->descriptorType == VK_DESCRIPTOR_TYPE_UNIFORM_TEXEL_BUFFER) ||
169 (desc->descriptorType == VK_DESCRIPTOR_TYPE_STORAGE_TEXEL_BUFFER)) {
170 for (uint32_t idx2 = 0; idx2 < desc->descriptorCount; ++idx2) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600171 skip |= ValidateObject(desc->pTexelBufferView[idx2], kVulkanObjectTypeBufferView, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600172 "VUID-VkWriteDescriptorSet-descriptorType-00323", "VUID-VkWriteDescriptorSet-commonparent");
Chris Forbes2c600e92017-10-20 11:13:20 -0700173 }
174 }
175
176 if ((desc->descriptorType == VK_DESCRIPTOR_TYPE_COMBINED_IMAGE_SAMPLER) ||
Dave Houltona9df0ce2018-02-07 10:51:23 -0700177 (desc->descriptorType == VK_DESCRIPTOR_TYPE_SAMPLED_IMAGE) || (desc->descriptorType == VK_DESCRIPTOR_TYPE_STORAGE_IMAGE) ||
Chris Forbes2c600e92017-10-20 11:13:20 -0700178 (desc->descriptorType == VK_DESCRIPTOR_TYPE_INPUT_ATTACHMENT)) {
179 for (uint32_t idx3 = 0; idx3 < desc->descriptorCount; ++idx3) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600180 skip |= ValidateObject(desc->pImageInfo[idx3].imageView, kVulkanObjectTypeImageView, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600181 "VUID-VkWriteDescriptorSet-descriptorType-00326", "VUID-VkDescriptorImageInfo-commonparent");
Chris Forbes2c600e92017-10-20 11:13:20 -0700182 }
183 }
184
185 if ((desc->descriptorType == VK_DESCRIPTOR_TYPE_UNIFORM_BUFFER) ||
186 (desc->descriptorType == VK_DESCRIPTOR_TYPE_STORAGE_BUFFER) ||
187 (desc->descriptorType == VK_DESCRIPTOR_TYPE_UNIFORM_BUFFER_DYNAMIC) ||
188 (desc->descriptorType == VK_DESCRIPTOR_TYPE_STORAGE_BUFFER_DYNAMIC)) {
189 for (uint32_t idx4 = 0; idx4 < desc->descriptorCount; ++idx4) {
190 if (desc->pBufferInfo[idx4].buffer) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600191 skip |= ValidateObject(desc->pBufferInfo[idx4].buffer, kVulkanObjectTypeBuffer, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600192 "VUID-VkDescriptorBufferInfo-buffer-parameter", kVUIDUndefined);
Chris Forbes2c600e92017-10-20 11:13:20 -0700193 }
194 }
195 }
196
197 return skip;
198}
199
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600200bool ObjectLifetimes::PreCallValidateCmdPushDescriptorSetKHR(VkCommandBuffer commandBuffer, VkPipelineBindPoint pipelineBindPoint,
201 VkPipelineLayout layout, uint32_t set, uint32_t descriptorWriteCount,
Jeff Bolz5c801d12019-10-09 10:38:45 -0500202 const VkWriteDescriptorSet *pDescriptorWrites) const {
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600203 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600204 skip |= ValidateObject(commandBuffer, kVulkanObjectTypeCommandBuffer, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600205 "VUID-vkCmdPushDescriptorSetKHR-commandBuffer-parameter", "VUID-vkCmdPushDescriptorSetKHR-commonparent");
Mark Lobodzinski39965742019-09-11 11:03:51 -0600206 skip |= ValidateObject(layout, kVulkanObjectTypePipelineLayout, false, "VUID-vkCmdPushDescriptorSetKHR-layout-parameter",
207 "VUID-vkCmdPushDescriptorSetKHR-commonparent");
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600208 if (pDescriptorWrites) {
209 for (uint32_t index0 = 0; index0 < descriptorWriteCount; ++index0) {
Mark Lobodzinski702c6a42019-09-11 11:52:23 -0600210 skip |= ValidateDescriptorWrite(&pDescriptorWrites[index0], true);
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600211 }
212 }
213 return skip;
214}
215
Mark Lobodzinski702c6a42019-09-11 11:52:23 -0600216void ObjectLifetimes::CreateQueue(VkQueue vkObj) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500217 std::shared_ptr<ObjTrackState> p_obj_node = NULL;
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600218 auto queue_item = object_map[kVulkanObjectTypeQueue].find(HandleToUint64(vkObj));
219 if (queue_item == object_map[kVulkanObjectTypeQueue].end()) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500220 p_obj_node = std::make_shared<ObjTrackState>();
Mark Lobodzinskicb4784a2020-01-29 15:34:59 -0700221 InsertObject(object_map[kVulkanObjectTypeQueue], vkObj, kVulkanObjectTypeQueue, p_obj_node);
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600222 num_objects[kVulkanObjectTypeQueue]++;
223 num_total_objects++;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600224 } else {
225 p_obj_node = queue_item->second;
226 }
227 p_obj_node->object_type = kVulkanObjectTypeQueue;
228 p_obj_node->status = OBJSTATUS_NONE;
229 p_obj_node->handle = HandleToUint64(vkObj);
230}
231
Mark Lobodzinski702c6a42019-09-11 11:52:23 -0600232void ObjectLifetimes::CreateSwapchainImageObject(VkImage swapchain_image, VkSwapchainKHR swapchain) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500233 if (!swapchainImageMap.contains(HandleToUint64(swapchain_image))) {
234 auto pNewObjNode = std::make_shared<ObjTrackState>();
235 pNewObjNode->object_type = kVulkanObjectTypeImage;
236 pNewObjNode->status = OBJSTATUS_NONE;
237 pNewObjNode->handle = HandleToUint64(swapchain_image);
238 pNewObjNode->parent_object = HandleToUint64(swapchain);
Mark Lobodzinskicb4784a2020-01-29 15:34:59 -0700239 InsertObject(swapchainImageMap, swapchain_image, kVulkanObjectTypeImage, pNewObjNode);
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500240 }
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600241}
242
Mark Lobodzinskibe102ad2019-09-04 12:03:07 -0600243bool ObjectLifetimes::ReportLeakedInstanceObjects(VkInstance instance, VulkanObjectType object_type,
Jeff Bolz46c0ea02019-10-09 13:06:29 -0500244 const std::string &error_code) const {
Mark Lobodzinski7cef2632019-08-28 15:50:13 -0600245 bool skip = false;
246
247 auto snapshot = object_map[object_type].snapshot();
248 for (const auto &item : snapshot) {
249 const auto object_info = item.second;
Mark Lobodzinskicb4784a2020-01-29 15:34:59 -0700250 skip |= LogError(instance, error_code, "OBJ ERROR : For %s, %s has not been destroyed.",
251 report_data->FormatHandle(instance).c_str(),
252 report_data->FormatHandle(ObjTrackStateTypedHandle(*object_info)).c_str());
Mark Lobodzinski7cef2632019-08-28 15:50:13 -0600253 }
254 return skip;
255}
256
Jeff Bolz46c0ea02019-10-09 13:06:29 -0500257bool ObjectLifetimes::ReportLeakedDeviceObjects(VkDevice device, VulkanObjectType object_type,
258 const std::string &error_code) const {
Mark Lobodzinski5183a032018-09-13 14:44:28 -0600259 bool skip = false;
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500260
261 auto snapshot = object_map[object_type].snapshot();
262 for (const auto &item : snapshot) {
263 const auto object_info = item.second;
Mark Lobodzinskicb4784a2020-01-29 15:34:59 -0700264 skip |= LogError(device, error_code, "OBJ ERROR : For %s, %s has not been destroyed.",
265 report_data->FormatHandle(device).c_str(),
266 report_data->FormatHandle(ObjTrackStateTypedHandle(*object_info)).c_str());
Gabríel Arthúr Péturssonfdcb5402018-03-20 21:52:06 +0000267 }
Mark Lobodzinski5183a032018-09-13 14:44:28 -0600268 return skip;
Gabríel Arthúr Péturssonfdcb5402018-03-20 21:52:06 +0000269}
270
Jeff Bolz5c801d12019-10-09 10:38:45 -0500271bool ObjectLifetimes::PreCallValidateDestroyInstance(VkInstance instance, const VkAllocationCallbacks *pAllocator) const {
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600272 bool skip = false;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600273
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600274 // 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 -0600275 skip |= ValidateObject(instance, kVulkanObjectTypeInstance, true, "VUID-vkDestroyInstance-instance-parameter", kVUIDUndefined);
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600276
277 // Validate that child devices have been destroyed
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500278 auto snapshot = object_map[kVulkanObjectTypeDevice].snapshot();
279 for (const auto &iit : snapshot) {
280 auto pNode = iit.second;
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600281
282 VkDevice device = reinterpret_cast<VkDevice>(pNode->handle);
283 VkDebugReportObjectTypeEXT debug_object_type = get_debug_report_enum[pNode->object_type];
284
Mark Lobodzinskicb4784a2020-01-29 15:34:59 -0700285 skip |= LogError(device, kVUID_ObjectTracker_ObjectLeak, "OBJ ERROR : %s object %s has not been destroyed.",
286 string_VkDebugReportObjectTypeEXT(debug_object_type),
287 report_data->FormatHandle(ObjTrackStateTypedHandle(*pNode)).c_str());
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600288
Mark Lobodzinski7cef2632019-08-28 15:50:13 -0600289 // Throw errors if any device objects belonging to this instance have not been destroyed
Mark Lobodzinski07548092019-12-17 12:17:12 -0700290 auto device_layer_data = GetLayerDataPtr(get_dispatch_key(device), layer_data_map);
291 auto obj_lifetimes_data = reinterpret_cast<ObjectLifetimes *>(
292 device_layer_data->GetValidationObject(device_layer_data->object_dispatch, LayerObjectTypeObjectTracker));
293 skip |= obj_lifetimes_data->ReportUndestroyedDeviceObjects(device, "VUID-vkDestroyDevice-device-00378");
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600294
Mark Lobodzinski3d89a2c2019-09-11 11:41:11 -0600295 skip |= ValidateDestroyObject(device, kVulkanObjectTypeDevice, pAllocator, "VUID-vkDestroyInstance-instance-00630",
296 "VUID-vkDestroyInstance-instance-00631");
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600297 }
298
Mark Lobodzinski7cef2632019-08-28 15:50:13 -0600299 // Throw errors if any instance objects created on this instance have not been destroyed
Mark Lobodzinski3d89a2c2019-09-11 11:41:11 -0600300 ValidateDestroyObject(instance, kVulkanObjectTypeInstance, pAllocator, "VUID-vkDestroyInstance-instance-00630",
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600301 "VUID-vkDestroyInstance-instance-00631");
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600302
Mark Lobodzinski7cef2632019-08-28 15:50:13 -0600303 // Report any remaining instance objects
304 skip |= ReportUndestroyedInstanceObjects(instance, "VUID-vkDestroyInstance-instance-00629");
Mark Lobodzinski7cef2632019-08-28 15:50:13 -0600305
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600306 return skip;
307}
308
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600309bool ObjectLifetimes::PreCallValidateEnumeratePhysicalDevices(VkInstance instance, uint32_t *pPhysicalDeviceCount,
Jeff Bolz5c801d12019-10-09 10:38:45 -0500310 VkPhysicalDevice *pPhysicalDevices) const {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600311 bool skip = ValidateObject(instance, kVulkanObjectTypeInstance, false, "VUID-vkEnumeratePhysicalDevices-instance-parameter",
312 kVUIDUndefined);
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600313 return skip;
314}
315
316void ObjectLifetimes::PostCallRecordEnumeratePhysicalDevices(VkInstance instance, uint32_t *pPhysicalDeviceCount,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700317 VkPhysicalDevice *pPhysicalDevices, VkResult result) {
318 if ((result != VK_SUCCESS) && (result != VK_INCOMPLETE)) return;
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600319 if (pPhysicalDevices) {
320 for (uint32_t i = 0; i < *pPhysicalDeviceCount; i++) {
Mark Lobodzinski1e76a7d2019-09-11 11:11:46 -0600321 CreateObject(pPhysicalDevices[i], kVulkanObjectTypePhysicalDevice, nullptr);
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600322 }
323 }
324}
325
326void ObjectLifetimes::PreCallRecordDestroyInstance(VkInstance instance, const VkAllocationCallbacks *pAllocator) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600327 // Destroy physical devices
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500328 auto snapshot = object_map[kVulkanObjectTypePhysicalDevice].snapshot();
329 for (const auto &iit : snapshot) {
330 auto pNode = iit.second;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600331 VkPhysicalDevice physical_device = reinterpret_cast<VkPhysicalDevice>(pNode->handle);
Mark Lobodzinski82742f62019-09-11 11:20:26 -0600332 RecordDestroyObject(physical_device, kVulkanObjectTypePhysicalDevice);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600333 }
334
Mark Lobodzinski9bd81192017-11-13 09:38:23 -0700335 // Destroy child devices
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500336 auto snapshot2 = object_map[kVulkanObjectTypeDevice].snapshot();
337 for (const auto &iit : snapshot2) {
338 auto pNode = iit.second;
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600339 VkDevice device = reinterpret_cast<VkDevice>(pNode->handle);
Mark Lobodzinskie65acca2019-09-11 12:06:17 -0600340 DestroyLeakedInstanceObjects();
Mark Lobodzinski9bd81192017-11-13 09:38:23 -0700341
Mark Lobodzinski82742f62019-09-11 11:20:26 -0600342 RecordDestroyObject(device, kVulkanObjectTypeDevice);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600343 }
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600344}
345
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600346void ObjectLifetimes::PostCallRecordDestroyInstance(VkInstance instance, const VkAllocationCallbacks *pAllocator) {
Mark Lobodzinski82742f62019-09-11 11:20:26 -0600347 RecordDestroyObject(instance, kVulkanObjectTypeInstance);
Mark Lobodzinski34f5ea62018-09-14 09:51:43 -0600348}
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600349
Jeff Bolz5c801d12019-10-09 10:38:45 -0500350bool ObjectLifetimes::PreCallValidateDestroyDevice(VkDevice device, const VkAllocationCallbacks *pAllocator) const {
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600351 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600352 skip |= ValidateObject(device, kVulkanObjectTypeDevice, true, "VUID-vkDestroyDevice-device-parameter", kVUIDUndefined);
Mark Lobodzinski3d89a2c2019-09-11 11:41:11 -0600353 skip |= ValidateDestroyObject(device, kVulkanObjectTypeDevice, pAllocator, "VUID-vkDestroyDevice-device-00379",
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600354 "VUID-vkDestroyDevice-device-00380");
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600355 // Report any remaining objects associated with this VkDevice object in LL
Mark Lobodzinski7cef2632019-08-28 15:50:13 -0600356 skip |= ReportUndestroyedDeviceObjects(device, "VUID-vkDestroyDevice-device-00378");
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600357
358 return skip;
359}
360
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600361void ObjectLifetimes::PreCallRecordDestroyDevice(VkDevice device, const VkAllocationCallbacks *pAllocator) {
Mark Lobodzinski52db2352018-12-28 09:41:15 -0700362 auto instance_data = GetLayerDataPtr(get_dispatch_key(physical_device), layer_data_map);
363 ValidationObject *validation_data = GetValidationObject(instance_data->object_dispatch, LayerObjectTypeObjectTracker);
364 ObjectLifetimes *object_lifetimes = static_cast<ObjectLifetimes *>(validation_data);
Mark Lobodzinski82742f62019-09-11 11:20:26 -0600365 object_lifetimes->RecordDestroyObject(device, kVulkanObjectTypeDevice);
Mark Lobodzinskie65acca2019-09-11 12:06:17 -0600366 DestroyLeakedDeviceObjects();
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600367
368 // Clean up Queue's MemRef Linked Lists
Mark Lobodzinski702c6a42019-09-11 11:52:23 -0600369 DestroyQueueDataStructures();
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600370}
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600371
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600372bool ObjectLifetimes::PreCallValidateGetDeviceQueue(VkDevice device, uint32_t queueFamilyIndex, uint32_t queueIndex,
Jeff Bolz5c801d12019-10-09 10:38:45 -0500373 VkQueue *pQueue) const {
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600374 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600375 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkGetDeviceQueue-device-parameter", kVUIDUndefined);
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600376 return skip;
377}
Mark Lobodzinski439645a2017-07-19 15:18:15 -0600378
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600379void ObjectLifetimes::PostCallRecordGetDeviceQueue(VkDevice device, uint32_t queueFamilyIndex, uint32_t queueIndex,
380 VkQueue *pQueue) {
Jeff Bolzc31aae42019-08-12 20:29:43 -0500381 auto lock = write_shared_lock();
Mark Lobodzinski702c6a42019-09-11 11:52:23 -0600382 CreateQueue(*pQueue);
Mark Lobodzinski439645a2017-07-19 15:18:15 -0600383}
384
Jeff Bolz5c801d12019-10-09 10:38:45 -0500385bool ObjectLifetimes::PreCallValidateGetDeviceQueue2(VkDevice device, const VkDeviceQueueInfo2 *pQueueInfo, VkQueue *pQueue) const {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600386 return ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkGetDeviceQueue2-device-parameter", kVUIDUndefined);
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600387}
388
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600389void ObjectLifetimes::PostCallRecordGetDeviceQueue2(VkDevice device, const VkDeviceQueueInfo2 *pQueueInfo, VkQueue *pQueue) {
Jeff Bolzc31aae42019-08-12 20:29:43 -0500390 auto lock = write_shared_lock();
Mark Lobodzinski702c6a42019-09-11 11:52:23 -0600391 CreateQueue(*pQueue);
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600392}
393
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600394bool ObjectLifetimes::PreCallValidateUpdateDescriptorSets(VkDevice device, uint32_t descriptorWriteCount,
395 const VkWriteDescriptorSet *pDescriptorWrites,
396 uint32_t descriptorCopyCount,
Jeff Bolz5c801d12019-10-09 10:38:45 -0500397 const VkCopyDescriptorSet *pDescriptorCopies) const {
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600398 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600399 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkUpdateDescriptorSets-device-parameter", kVUIDUndefined);
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600400 if (pDescriptorCopies) {
401 for (uint32_t idx0 = 0; idx0 < descriptorCopyCount; ++idx0) {
402 if (pDescriptorCopies[idx0].dstSet) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600403 skip |= ValidateObject(pDescriptorCopies[idx0].dstSet, kVulkanObjectTypeDescriptorSet, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600404 "VUID-VkCopyDescriptorSet-dstSet-parameter", "VUID-VkCopyDescriptorSet-commonparent");
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600405 }
406 if (pDescriptorCopies[idx0].srcSet) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600407 skip |= ValidateObject(pDescriptorCopies[idx0].srcSet, kVulkanObjectTypeDescriptorSet, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600408 "VUID-VkCopyDescriptorSet-srcSet-parameter", "VUID-VkCopyDescriptorSet-commonparent");
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600409 }
410 }
411 }
412 if (pDescriptorWrites) {
413 for (uint32_t idx1 = 0; idx1 < descriptorWriteCount; ++idx1) {
Mark Lobodzinski702c6a42019-09-11 11:52:23 -0600414 skip |= ValidateDescriptorWrite(&pDescriptorWrites[idx1], false);
Mark Lobodzinskib58fe782018-09-14 11:50:27 -0600415 }
416 }
417 return skip;
418}
419
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600420bool ObjectLifetimes::PreCallValidateResetDescriptorPool(VkDevice device, VkDescriptorPool descriptorPool,
Jeff Bolz5c801d12019-10-09 10:38:45 -0500421 VkDescriptorPoolResetFlags flags) const {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600422 bool skip = false;
Jeff Bolzc31aae42019-08-12 20:29:43 -0500423 auto lock = read_shared_lock();
Mark Lobodzinski0de500d2018-09-14 15:14:01 -0600424
Mark Lobodzinski39965742019-09-11 11:03:51 -0600425 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkResetDescriptorPool-device-parameter", kVUIDUndefined);
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600426 skip |=
Mark Lobodzinski39965742019-09-11 11:03:51 -0600427 ValidateObject(descriptorPool, kVulkanObjectTypeDescriptorPool, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600428 "VUID-vkResetDescriptorPool-descriptorPool-parameter", "VUID-vkResetDescriptorPool-descriptorPool-parent");
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600429
430 auto itr = object_map[kVulkanObjectTypeDescriptorPool].find(HandleToUint64(descriptorPool));
431 if (itr != object_map[kVulkanObjectTypeDescriptorPool].end()) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500432 auto pPoolNode = itr->second;
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600433 for (auto set : *pPoolNode->child_objects) {
Mark Lobodzinski3d89a2c2019-09-11 11:41:11 -0600434 skip |= ValidateDestroyObject((VkDescriptorSet)set, kVulkanObjectTypeDescriptorSet, nullptr, kVUIDUndefined,
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600435 kVUIDUndefined);
Mark Lobodzinski0de500d2018-09-14 15:14:01 -0600436 }
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600437 }
Mark Lobodzinski0de500d2018-09-14 15:14:01 -0600438 return skip;
439}
440
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600441void ObjectLifetimes::PreCallRecordResetDescriptorPool(VkDevice device, VkDescriptorPool descriptorPool,
442 VkDescriptorPoolResetFlags flags) {
Jeff Bolzc31aae42019-08-12 20:29:43 -0500443 auto lock = write_shared_lock();
Mark Lobodzinski0de500d2018-09-14 15:14:01 -0600444 // A DescriptorPool's descriptor sets are implicitly deleted when the pool is reset. Remove this pool's descriptor sets from
445 // our descriptorSet map.
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600446 auto itr = object_map[kVulkanObjectTypeDescriptorPool].find(HandleToUint64(descriptorPool));
447 if (itr != object_map[kVulkanObjectTypeDescriptorPool].end()) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500448 auto pPoolNode = itr->second;
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600449 for (auto set : *pPoolNode->child_objects) {
Mark Lobodzinski82742f62019-09-11 11:20:26 -0600450 RecordDestroyObject((VkDescriptorSet)set, kVulkanObjectTypeDescriptorSet);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600451 }
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600452 pPoolNode->child_objects->clear();
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600453 }
Mark Lobodzinski0de500d2018-09-14 15:14:01 -0600454}
455
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600456bool ObjectLifetimes::PreCallValidateBeginCommandBuffer(VkCommandBuffer command_buffer,
Jeff Bolz5c801d12019-10-09 10:38:45 -0500457 const VkCommandBufferBeginInfo *begin_info) const {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600458 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600459 skip |= ValidateObject(command_buffer, kVulkanObjectTypeCommandBuffer, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600460 "VUID-vkBeginCommandBuffer-commandBuffer-parameter", kVUIDUndefined);
Mark Lobodzinski0de500d2018-09-14 15:14:01 -0600461 if (begin_info) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500462 auto iter = object_map[kVulkanObjectTypeCommandBuffer].find(HandleToUint64(command_buffer));
463 if (iter != object_map[kVulkanObjectTypeCommandBuffer].end()) {
464 auto pNode = iter->second;
465 if ((begin_info->pInheritanceInfo) && (pNode->status & OBJSTATUS_COMMAND_BUFFER_SECONDARY) &&
466 (begin_info->flags & VK_COMMAND_BUFFER_USAGE_RENDER_PASS_CONTINUE_BIT)) {
467 skip |=
Mark Lobodzinski39965742019-09-11 11:03:51 -0600468 ValidateObject(begin_info->pInheritanceInfo->framebuffer, kVulkanObjectTypeFramebuffer, true,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600469 "VUID-VkCommandBufferBeginInfo-flags-00055", "VUID-VkCommandBufferInheritanceInfo-commonparent");
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500470 skip |=
Mark Lobodzinski39965742019-09-11 11:03:51 -0600471 ValidateObject(begin_info->pInheritanceInfo->renderPass, kVulkanObjectTypeRenderPass, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600472 "VUID-VkCommandBufferBeginInfo-flags-00053", "VUID-VkCommandBufferInheritanceInfo-commonparent");
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500473 }
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600474 }
475 }
Mark Lobodzinski0de500d2018-09-14 15:14:01 -0600476 return skip;
477}
478
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600479bool ObjectLifetimes::PreCallValidateGetSwapchainImagesKHR(VkDevice device, VkSwapchainKHR swapchain,
Jeff Bolz5c801d12019-10-09 10:38:45 -0500480 uint32_t *pSwapchainImageCount, VkImage *pSwapchainImages) const {
Mark Lobodzinskibe4b3452018-09-14 16:14:33 -0600481 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600482 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkGetSwapchainImagesKHR-device-parameter",
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600483 "VUID-vkGetSwapchainImagesKHR-commonparent");
Mark Lobodzinski39965742019-09-11 11:03:51 -0600484 skip |= ValidateObject(swapchain, kVulkanObjectTypeSwapchainKHR, false, "VUID-vkGetSwapchainImagesKHR-swapchain-parameter",
485 "VUID-vkGetSwapchainImagesKHR-commonparent");
Mark Lobodzinskibe4b3452018-09-14 16:14:33 -0600486 return skip;
487}
488
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600489void ObjectLifetimes::PostCallRecordGetSwapchainImagesKHR(VkDevice device, VkSwapchainKHR swapchain, uint32_t *pSwapchainImageCount,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700490 VkImage *pSwapchainImages, VkResult result) {
491 if ((result != VK_SUCCESS) && (result != VK_INCOMPLETE)) return;
Jeff Bolzc31aae42019-08-12 20:29:43 -0500492 auto lock = write_shared_lock();
Mark Lobodzinskibe4b3452018-09-14 16:14:33 -0600493 if (pSwapchainImages != NULL) {
494 for (uint32_t i = 0; i < *pSwapchainImageCount; i++) {
Mark Lobodzinski702c6a42019-09-11 11:52:23 -0600495 CreateSwapchainImageObject(pSwapchainImages[i], swapchain);
Mark Lobodzinskibe4b3452018-09-14 16:14:33 -0600496 }
497 }
498}
499
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600500bool ObjectLifetimes::PreCallValidateCreateDescriptorSetLayout(VkDevice device, const VkDescriptorSetLayoutCreateInfo *pCreateInfo,
501 const VkAllocationCallbacks *pAllocator,
Jeff Bolz5c801d12019-10-09 10:38:45 -0500502 VkDescriptorSetLayout *pSetLayout) const {
Petr Kraus42f6f8d2017-12-17 17:37:33 +0100503 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600504 skip |=
505 ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkCreateDescriptorSetLayout-device-parameter", kVUIDUndefined);
Mark Lobodzinskibe4b3452018-09-14 16:14:33 -0600506 if (pCreateInfo) {
507 if (pCreateInfo->pBindings) {
508 for (uint32_t binding_index = 0; binding_index < pCreateInfo->bindingCount; ++binding_index) {
509 const VkDescriptorSetLayoutBinding &binding = pCreateInfo->pBindings[binding_index];
510 const bool is_sampler_type = binding.descriptorType == VK_DESCRIPTOR_TYPE_SAMPLER ||
511 binding.descriptorType == VK_DESCRIPTOR_TYPE_COMBINED_IMAGE_SAMPLER;
512 if (binding.pImmutableSamplers && is_sampler_type) {
513 for (uint32_t index2 = 0; index2 < binding.descriptorCount; ++index2) {
514 const VkSampler sampler = binding.pImmutableSamplers[index2];
Mark Lobodzinski39965742019-09-11 11:03:51 -0600515 skip |= ValidateObject(sampler, kVulkanObjectTypeSampler, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600516 "VUID-VkDescriptorSetLayoutBinding-descriptorType-00282", kVUIDUndefined);
Petr Kraus42f6f8d2017-12-17 17:37:33 +0100517 }
518 }
519 }
520 }
521 }
Mark Lobodzinskibe4b3452018-09-14 16:14:33 -0600522 return skip;
523}
524
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600525void ObjectLifetimes::PostCallRecordCreateDescriptorSetLayout(VkDevice device, const VkDescriptorSetLayoutCreateInfo *pCreateInfo,
526 const VkAllocationCallbacks *pAllocator,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700527 VkDescriptorSetLayout *pSetLayout, VkResult result) {
528 if (result != VK_SUCCESS) return;
Mark Lobodzinski1e76a7d2019-09-11 11:11:46 -0600529 CreateObject(*pSetLayout, kVulkanObjectTypeDescriptorSetLayout, pAllocator);
Mark Lobodzinskibe4b3452018-09-14 16:14:33 -0600530}
531
Jeff Bolz46c0ea02019-10-09 13:06:29 -0500532bool ObjectLifetimes::ValidateSamplerObjects(const VkDescriptorSetLayoutCreateInfo *pCreateInfo) const {
Mark Lobodzinski88a1a662018-07-02 14:09:39 -0600533 bool skip = false;
534 if (pCreateInfo->pBindings) {
535 for (uint32_t index1 = 0; index1 < pCreateInfo->bindingCount; ++index1) {
536 for (uint32_t index2 = 0; index2 < pCreateInfo->pBindings[index1].descriptorCount; ++index2) {
537 if (pCreateInfo->pBindings[index1].pImmutableSamplers) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600538 skip |= ValidateObject(pCreateInfo->pBindings[index1].pImmutableSamplers[index2], kVulkanObjectTypeSampler,
539 true, "VUID-VkDescriptorSetLayoutBinding-descriptorType-00282", kVUIDUndefined);
Mark Lobodzinski88a1a662018-07-02 14:09:39 -0600540 }
541 }
542 }
543 }
544 return skip;
545}
546
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600547bool ObjectLifetimes::PreCallValidateGetDescriptorSetLayoutSupport(VkDevice device,
548 const VkDescriptorSetLayoutCreateInfo *pCreateInfo,
Jeff Bolz5c801d12019-10-09 10:38:45 -0500549 VkDescriptorSetLayoutSupport *pSupport) const {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600550 bool skip = ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkGetDescriptorSetLayoutSupport-device-parameter",
551 kVUIDUndefined);
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600552 if (pCreateInfo) {
Mark Lobodzinski702c6a42019-09-11 11:52:23 -0600553 skip |= ValidateSamplerObjects(pCreateInfo);
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600554 }
555 return skip;
556}
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600557bool ObjectLifetimes::PreCallValidateGetDescriptorSetLayoutSupportKHR(VkDevice device,
558 const VkDescriptorSetLayoutCreateInfo *pCreateInfo,
Jeff Bolz5c801d12019-10-09 10:38:45 -0500559 VkDescriptorSetLayoutSupport *pSupport) const {
Mike Schuchardt65847d92019-12-20 13:50:47 -0800560 bool skip = ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkGetDescriptorSetLayoutSupport-device-parameter",
Mark Lobodzinski39965742019-09-11 11:03:51 -0600561 kVUIDUndefined);
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600562 if (pCreateInfo) {
Mark Lobodzinski702c6a42019-09-11 11:52:23 -0600563 skip |= ValidateSamplerObjects(pCreateInfo);
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600564 }
565 return skip;
566}
567
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600568bool ObjectLifetimes::PreCallValidateGetPhysicalDeviceQueueFamilyProperties(VkPhysicalDevice physicalDevice,
569 uint32_t *pQueueFamilyPropertyCount,
Jeff Bolz5c801d12019-10-09 10:38:45 -0500570 VkQueueFamilyProperties *pQueueFamilyProperties) const {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600571 return ValidateObject(physicalDevice, kVulkanObjectTypePhysicalDevice, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600572 "VUID-vkGetPhysicalDeviceQueueFamilyProperties-physicalDevice-parameter", kVUIDUndefined);
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600573}
Mark Lobodzinski63902f02018-09-21 10:36:44 -0600574
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600575void ObjectLifetimes::PostCallRecordGetPhysicalDeviceQueueFamilyProperties(VkPhysicalDevice physicalDevice,
576 uint32_t *pQueueFamilyPropertyCount,
Jeff Bolz6d243112019-08-21 13:24:11 -0500577 VkQueueFamilyProperties *pQueueFamilyProperties) {}
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600578
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600579void ObjectLifetimes::PostCallRecordCreateInstance(const VkInstanceCreateInfo *pCreateInfo, const VkAllocationCallbacks *pAllocator,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700580 VkInstance *pInstance, VkResult result) {
581 if (result != VK_SUCCESS) return;
Mark Lobodzinski1e76a7d2019-09-11 11:11:46 -0600582 CreateObject(*pInstance, kVulkanObjectTypeInstance, pAllocator);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600583}
584
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600585bool ObjectLifetimes::PreCallValidateAllocateCommandBuffers(VkDevice device, const VkCommandBufferAllocateInfo *pAllocateInfo,
Jeff Bolz5c801d12019-10-09 10:38:45 -0500586 VkCommandBuffer *pCommandBuffers) const {
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600587 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600588 skip |=
589 ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkAllocateCommandBuffers-device-parameter", kVUIDUndefined);
590 skip |= ValidateObject(pAllocateInfo->commandPool, kVulkanObjectTypeCommandPool, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600591 "VUID-VkCommandBufferAllocateInfo-commandPool-parameter", kVUIDUndefined);
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600592 return skip;
593}
594
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600595void ObjectLifetimes::PostCallRecordAllocateCommandBuffers(VkDevice device, const VkCommandBufferAllocateInfo *pAllocateInfo,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700596 VkCommandBuffer *pCommandBuffers, VkResult result) {
597 if (result != VK_SUCCESS) return;
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600598 for (uint32_t i = 0; i < pAllocateInfo->commandBufferCount; i++) {
Mark Lobodzinski702c6a42019-09-11 11:52:23 -0600599 AllocateCommandBuffer(pAllocateInfo->commandPool, pCommandBuffers[i], pAllocateInfo->level);
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600600 }
601}
602
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600603bool ObjectLifetimes::PreCallValidateAllocateDescriptorSets(VkDevice device, const VkDescriptorSetAllocateInfo *pAllocateInfo,
Jeff Bolz5c801d12019-10-09 10:38:45 -0500604 VkDescriptorSet *pDescriptorSets) const {
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600605 bool skip = false;
Jeff Bolzc31aae42019-08-12 20:29:43 -0500606 auto lock = read_shared_lock();
Mark Lobodzinski39965742019-09-11 11:03:51 -0600607 skip |=
608 ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkAllocateDescriptorSets-device-parameter", kVUIDUndefined);
609 skip |= ValidateObject(pAllocateInfo->descriptorPool, kVulkanObjectTypeDescriptorPool, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600610 "VUID-VkDescriptorSetAllocateInfo-descriptorPool-parameter",
611 "VUID-VkDescriptorSetAllocateInfo-commonparent");
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600612 for (uint32_t i = 0; i < pAllocateInfo->descriptorSetCount; i++) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600613 skip |= ValidateObject(pAllocateInfo->pSetLayouts[i], kVulkanObjectTypeDescriptorSetLayout, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600614 "VUID-VkDescriptorSetAllocateInfo-pSetLayouts-parameter",
615 "VUID-VkDescriptorSetAllocateInfo-commonparent");
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600616 }
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600617 return skip;
618}
619
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600620void ObjectLifetimes::PostCallRecordAllocateDescriptorSets(VkDevice device, const VkDescriptorSetAllocateInfo *pAllocateInfo,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700621 VkDescriptorSet *pDescriptorSets, VkResult result) {
622 if (result != VK_SUCCESS) return;
Jeff Bolzc31aae42019-08-12 20:29:43 -0500623 auto lock = write_shared_lock();
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600624 for (uint32_t i = 0; i < pAllocateInfo->descriptorSetCount; i++) {
Mark Lobodzinski702c6a42019-09-11 11:52:23 -0600625 AllocateDescriptorSet(pAllocateInfo->descriptorPool, pDescriptorSets[i]);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600626 }
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600627}
628
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600629bool ObjectLifetimes::PreCallValidateFreeCommandBuffers(VkDevice device, VkCommandPool commandPool, uint32_t commandBufferCount,
Jeff Bolz5c801d12019-10-09 10:38:45 -0500630 const VkCommandBuffer *pCommandBuffers) const {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600631 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600632 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkFreeCommandBuffers-device-parameter", kVUIDUndefined);
633 skip |= ValidateObject(commandPool, kVulkanObjectTypeCommandPool, false, "VUID-vkFreeCommandBuffers-commandPool-parameter",
634 "VUID-vkFreeCommandBuffers-commandPool-parent");
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600635 for (uint32_t i = 0; i < commandBufferCount; i++) {
636 if (pCommandBuffers[i] != VK_NULL_HANDLE) {
Mark Lobodzinski702c6a42019-09-11 11:52:23 -0600637 skip |= ValidateCommandBuffer(commandPool, pCommandBuffers[i]);
Mark Lobodzinski3d89a2c2019-09-11 11:41:11 -0600638 skip |=
639 ValidateDestroyObject(pCommandBuffers[i], kVulkanObjectTypeCommandBuffer, nullptr, kVUIDUndefined, kVUIDUndefined);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600640 }
641 }
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600642 return skip;
643}
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600644
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600645void ObjectLifetimes::PreCallRecordFreeCommandBuffers(VkDevice device, VkCommandPool commandPool, uint32_t commandBufferCount,
646 const VkCommandBuffer *pCommandBuffers) {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600647 for (uint32_t i = 0; i < commandBufferCount; i++) {
Mark Lobodzinski82742f62019-09-11 11:20:26 -0600648 RecordDestroyObject(pCommandBuffers[i], kVulkanObjectTypeCommandBuffer);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600649 }
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600650}
651
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600652bool ObjectLifetimes::PreCallValidateDestroySwapchainKHR(VkDevice device, VkSwapchainKHR swapchain,
Jeff Bolz5c801d12019-10-09 10:38:45 -0500653 const VkAllocationCallbacks *pAllocator) const {
Mark Lobodzinski3d89a2c2019-09-11 11:41:11 -0600654 return ValidateDestroyObject(swapchain, kVulkanObjectTypeSwapchainKHR, pAllocator, "VUID-vkDestroySwapchainKHR-swapchain-01283",
655 "VUID-vkDestroySwapchainKHR-swapchain-01284");
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600656}
657
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600658void ObjectLifetimes::PreCallRecordDestroySwapchainKHR(VkDevice device, VkSwapchainKHR swapchain,
659 const VkAllocationCallbacks *pAllocator) {
Mark Lobodzinski82742f62019-09-11 11:20:26 -0600660 RecordDestroyObject(swapchain, kVulkanObjectTypeSwapchainKHR);
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500661
662 auto snapshot = swapchainImageMap.snapshot(
663 [swapchain](std::shared_ptr<ObjTrackState> pNode) { return pNode->parent_object == HandleToUint64(swapchain); });
664 for (const auto &itr : snapshot) {
665 swapchainImageMap.erase(itr.first);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600666 }
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600667}
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600668
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600669bool ObjectLifetimes::PreCallValidateFreeDescriptorSets(VkDevice device, VkDescriptorPool descriptorPool,
Jeff Bolz5c801d12019-10-09 10:38:45 -0500670 uint32_t descriptorSetCount, const VkDescriptorSet *pDescriptorSets) const {
Jeff Bolzc31aae42019-08-12 20:29:43 -0500671 auto lock = read_shared_lock();
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600672 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600673 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkFreeDescriptorSets-device-parameter", kVUIDUndefined);
674 skip |= ValidateObject(descriptorPool, kVulkanObjectTypeDescriptorPool, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600675 "VUID-vkFreeDescriptorSets-descriptorPool-parameter", "VUID-vkFreeDescriptorSets-descriptorPool-parent");
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600676 for (uint32_t i = 0; i < descriptorSetCount; i++) {
677 if (pDescriptorSets[i] != VK_NULL_HANDLE) {
Mark Lobodzinski702c6a42019-09-11 11:52:23 -0600678 skip |= ValidateDescriptorSet(descriptorPool, pDescriptorSets[i]);
Mark Lobodzinski3d89a2c2019-09-11 11:41:11 -0600679 skip |=
680 ValidateDestroyObject(pDescriptorSets[i], kVulkanObjectTypeDescriptorSet, nullptr, kVUIDUndefined, kVUIDUndefined);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600681 }
682 }
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600683 return skip;
684}
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600685void ObjectLifetimes::PreCallRecordFreeDescriptorSets(VkDevice device, VkDescriptorPool descriptorPool, uint32_t descriptorSetCount,
686 const VkDescriptorSet *pDescriptorSets) {
Jeff Bolzc31aae42019-08-12 20:29:43 -0500687 auto lock = write_shared_lock();
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500688 std::shared_ptr<ObjTrackState> pPoolNode = nullptr;
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600689 auto itr = object_map[kVulkanObjectTypeDescriptorPool].find(HandleToUint64(descriptorPool));
690 if (itr != object_map[kVulkanObjectTypeDescriptorPool].end()) {
691 pPoolNode = itr->second;
692 }
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600693 for (uint32_t i = 0; i < descriptorSetCount; i++) {
Mark Lobodzinski82742f62019-09-11 11:20:26 -0600694 RecordDestroyObject(pDescriptorSets[i], kVulkanObjectTypeDescriptorSet);
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600695 if (pPoolNode) {
696 pPoolNode->child_objects->erase(HandleToUint64(pDescriptorSets[i]));
697 }
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600698 }
Mark Lobodzinski1c7fa372018-09-17 11:35:00 -0600699}
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600700
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600701bool ObjectLifetimes::PreCallValidateDestroyDescriptorPool(VkDevice device, VkDescriptorPool descriptorPool,
Jeff Bolz5c801d12019-10-09 10:38:45 -0500702 const VkAllocationCallbacks *pAllocator) const {
Jeff Bolzc31aae42019-08-12 20:29:43 -0500703 auto lock = read_shared_lock();
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600704 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600705 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkDestroyDescriptorPool-device-parameter", kVUIDUndefined);
706 skip |= ValidateObject(descriptorPool, kVulkanObjectTypeDescriptorPool, true,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600707 "VUID-vkDestroyDescriptorPool-descriptorPool-parameter",
708 "VUID-vkDestroyDescriptorPool-descriptorPool-parent");
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600709
710 auto itr = object_map[kVulkanObjectTypeDescriptorPool].find(HandleToUint64(descriptorPool));
711 if (itr != object_map[kVulkanObjectTypeDescriptorPool].end()) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500712 auto pPoolNode = itr->second;
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600713 for (auto set : *pPoolNode->child_objects) {
Mark Lobodzinski3d89a2c2019-09-11 11:41:11 -0600714 skip |= ValidateDestroyObject((VkDescriptorSet)set, kVulkanObjectTypeDescriptorSet, nullptr, kVUIDUndefined,
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600715 kVUIDUndefined);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600716 }
717 }
Mark Lobodzinski3d89a2c2019-09-11 11:41:11 -0600718 skip |= ValidateDestroyObject(descriptorPool, kVulkanObjectTypeDescriptorPool, pAllocator,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600719 "VUID-vkDestroyDescriptorPool-descriptorPool-00304",
720 "VUID-vkDestroyDescriptorPool-descriptorPool-00305");
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600721 return skip;
722}
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600723void ObjectLifetimes::PreCallRecordDestroyDescriptorPool(VkDevice device, VkDescriptorPool descriptorPool,
724 const VkAllocationCallbacks *pAllocator) {
Jeff Bolzc31aae42019-08-12 20:29:43 -0500725 auto lock = write_shared_lock();
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600726 auto itr = object_map[kVulkanObjectTypeDescriptorPool].find(HandleToUint64(descriptorPool));
727 if (itr != object_map[kVulkanObjectTypeDescriptorPool].end()) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500728 auto pPoolNode = itr->second;
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600729 for (auto set : *pPoolNode->child_objects) {
Mark Lobodzinski82742f62019-09-11 11:20:26 -0600730 RecordDestroyObject((VkDescriptorSet)set, kVulkanObjectTypeDescriptorSet);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600731 }
Jeff Bolzcf802bc2019-02-10 00:18:00 -0600732 pPoolNode->child_objects->clear();
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600733 }
Mark Lobodzinski82742f62019-09-11 11:20:26 -0600734 RecordDestroyObject(descriptorPool, kVulkanObjectTypeDescriptorPool);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600735}
736
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600737bool ObjectLifetimes::PreCallValidateDestroyCommandPool(VkDevice device, VkCommandPool commandPool,
Jeff Bolz5c801d12019-10-09 10:38:45 -0500738 const VkAllocationCallbacks *pAllocator) const {
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600739 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600740 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkDestroyCommandPool-device-parameter", kVUIDUndefined);
741 skip |= ValidateObject(commandPool, kVulkanObjectTypeCommandPool, true, "VUID-vkDestroyCommandPool-commandPool-parameter",
742 "VUID-vkDestroyCommandPool-commandPool-parent");
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500743
744 auto snapshot = object_map[kVulkanObjectTypeCommandBuffer].snapshot(
745 [commandPool](std::shared_ptr<ObjTrackState> pNode) { return pNode->parent_object == HandleToUint64(commandPool); });
746 for (const auto &itr : snapshot) {
747 auto pNode = itr.second;
Mark Lobodzinski702c6a42019-09-11 11:52:23 -0600748 skip |= ValidateCommandBuffer(commandPool, reinterpret_cast<VkCommandBuffer>(itr.first));
Mark Lobodzinski3d89a2c2019-09-11 11:41:11 -0600749 skip |= ValidateDestroyObject(reinterpret_cast<VkCommandBuffer>(itr.first), kVulkanObjectTypeCommandBuffer, nullptr,
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500750 kVUIDUndefined, kVUIDUndefined);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600751 }
Mark Lobodzinski3d89a2c2019-09-11 11:41:11 -0600752 skip |= ValidateDestroyObject(commandPool, kVulkanObjectTypeCommandPool, pAllocator,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600753 "VUID-vkDestroyCommandPool-commandPool-00042", "VUID-vkDestroyCommandPool-commandPool-00043");
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600754 return skip;
755}
756
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600757void ObjectLifetimes::PreCallRecordDestroyCommandPool(VkDevice device, VkCommandPool commandPool,
758 const VkAllocationCallbacks *pAllocator) {
Jeff Bolzfd3bb242019-08-22 06:10:49 -0500759 auto snapshot = object_map[kVulkanObjectTypeCommandBuffer].snapshot(
760 [commandPool](std::shared_ptr<ObjTrackState> pNode) { return pNode->parent_object == HandleToUint64(commandPool); });
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600761 // 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 -0500762 for (const auto &itr : snapshot) {
Mark Lobodzinski82742f62019-09-11 11:20:26 -0600763 RecordDestroyObject(reinterpret_cast<VkCommandBuffer>(itr.first), kVulkanObjectTypeCommandBuffer);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600764 }
Mark Lobodzinski82742f62019-09-11 11:20:26 -0600765 RecordDestroyObject(commandPool, kVulkanObjectTypeCommandPool);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600766}
767
Jeff Bolz5c801d12019-10-09 10:38:45 -0500768bool ObjectLifetimes::PreCallValidateGetPhysicalDeviceQueueFamilyProperties2(
769 VkPhysicalDevice physicalDevice, uint32_t *pQueueFamilyPropertyCount,
770 VkQueueFamilyProperties2KHR *pQueueFamilyProperties) const {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600771 return ValidateObject(physicalDevice, kVulkanObjectTypePhysicalDevice, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600772 "VUID-vkGetPhysicalDeviceQueueFamilyProperties2-physicalDevice-parameter", kVUIDUndefined);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600773}
774
Jeff Bolz5c801d12019-10-09 10:38:45 -0500775bool ObjectLifetimes::PreCallValidateGetPhysicalDeviceQueueFamilyProperties2KHR(
776 VkPhysicalDevice physicalDevice, uint32_t *pQueueFamilyPropertyCount, VkQueueFamilyProperties2 *pQueueFamilyProperties) const {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600777 return ValidateObject(physicalDevice, kVulkanObjectTypePhysicalDevice, false,
Shannon McPherson3ea65132018-12-05 10:37:39 -0700778 "VUID-vkGetPhysicalDeviceQueueFamilyProperties2-physicalDevice-parameter", kVUIDUndefined);
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600779}
780
781void ObjectLifetimes::PostCallRecordGetPhysicalDeviceQueueFamilyProperties2(VkPhysicalDevice physicalDevice,
782 uint32_t *pQueueFamilyPropertyCount,
Jeff Bolz6d243112019-08-21 13:24:11 -0500783 VkQueueFamilyProperties2KHR *pQueueFamilyProperties) {}
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600784
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600785void ObjectLifetimes::PostCallRecordGetPhysicalDeviceQueueFamilyProperties2KHR(
Jeff Bolz6d243112019-08-21 13:24:11 -0500786 VkPhysicalDevice physicalDevice, uint32_t *pQueueFamilyPropertyCount, VkQueueFamilyProperties2KHR *pQueueFamilyProperties) {}
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600787
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600788bool ObjectLifetimes::PreCallValidateGetPhysicalDeviceDisplayPropertiesKHR(VkPhysicalDevice physicalDevice,
789 uint32_t *pPropertyCount,
Jeff Bolz5c801d12019-10-09 10:38:45 -0500790 VkDisplayPropertiesKHR *pProperties) const {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600791 return ValidateObject(physicalDevice, kVulkanObjectTypePhysicalDevice, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600792 "VUID-vkGetPhysicalDeviceDisplayPropertiesKHR-physicalDevice-parameter", kVUIDUndefined);
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600793}
794
795void ObjectLifetimes::PostCallRecordGetPhysicalDeviceDisplayPropertiesKHR(VkPhysicalDevice physicalDevice, uint32_t *pPropertyCount,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700796 VkDisplayPropertiesKHR *pProperties, VkResult result) {
797 if ((result != VK_SUCCESS) && (result != VK_INCOMPLETE)) return;
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600798 if (pProperties) {
799 for (uint32_t i = 0; i < *pPropertyCount; ++i) {
Mark Lobodzinski1e76a7d2019-09-11 11:11:46 -0600800 CreateObject(pProperties[i].display, kVulkanObjectTypeDisplayKHR, nullptr);
Mark Lobodzinskib2de97f2017-07-06 15:28:11 -0600801 }
802 }
803}
804
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600805bool ObjectLifetimes::PreCallValidateGetDisplayModePropertiesKHR(VkPhysicalDevice physicalDevice, VkDisplayKHR display,
806 uint32_t *pPropertyCount,
Jeff Bolz5c801d12019-10-09 10:38:45 -0500807 VkDisplayModePropertiesKHR *pProperties) const {
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600808 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600809 skip |= ValidateObject(physicalDevice, kVulkanObjectTypePhysicalDevice, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600810 "VUID-vkGetDisplayModePropertiesKHR-physicalDevice-parameter", kVUIDUndefined);
Mark Lobodzinski39965742019-09-11 11:03:51 -0600811 skip |= ValidateObject(display, kVulkanObjectTypeDisplayKHR, false, "VUID-vkGetDisplayModePropertiesKHR-display-parameter",
812 kVUIDUndefined);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600813
814 return skip;
815}
816
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600817void ObjectLifetimes::PostCallRecordGetDisplayModePropertiesKHR(VkPhysicalDevice physicalDevice, VkDisplayKHR display,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700818 uint32_t *pPropertyCount, VkDisplayModePropertiesKHR *pProperties,
819 VkResult result) {
820 if ((result != VK_SUCCESS) && (result != VK_INCOMPLETE)) return;
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600821 if (pProperties) {
Tony-LunarGcd0c6b02018-10-26 14:56:44 -0600822 for (uint32_t i = 0; i < *pPropertyCount; ++i) {
Mark Lobodzinski1e76a7d2019-09-11 11:11:46 -0600823 CreateObject(pProperties[i].displayMode, kVulkanObjectTypeDisplayModeKHR, nullptr);
Shannon McPherson9d5167f2018-05-02 15:24:37 -0600824 }
825 }
Shannon McPherson9d5167f2018-05-02 15:24:37 -0600826}
827
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600828bool ObjectLifetimes::PreCallValidateGetPhysicalDeviceDisplayProperties2KHR(VkPhysicalDevice physicalDevice,
829 uint32_t *pPropertyCount,
Jeff Bolz5c801d12019-10-09 10:38:45 -0500830 VkDisplayProperties2KHR *pProperties) const {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600831 return ValidateObject(physicalDevice, kVulkanObjectTypePhysicalDevice, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600832 "VUID-vkGetPhysicalDeviceDisplayProperties2KHR-physicalDevice-parameter", kVUIDUndefined);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600833}
834
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600835void ObjectLifetimes::PostCallRecordGetPhysicalDeviceDisplayProperties2KHR(VkPhysicalDevice physicalDevice,
836 uint32_t *pPropertyCount,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700837 VkDisplayProperties2KHR *pProperties, VkResult result) {
838 if ((result != VK_SUCCESS) && (result != VK_INCOMPLETE)) return;
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600839 for (uint32_t index = 0; index < *pPropertyCount; ++index) {
Mark Lobodzinski1e76a7d2019-09-11 11:11:46 -0600840 CreateObject(pProperties[index].displayProperties.display, kVulkanObjectTypeDisplayKHR, nullptr);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600841 }
842}
843
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600844bool ObjectLifetimes::PreCallValidateGetDisplayModeProperties2KHR(VkPhysicalDevice physicalDevice, VkDisplayKHR display,
845 uint32_t *pPropertyCount,
Jeff Bolz5c801d12019-10-09 10:38:45 -0500846 VkDisplayModeProperties2KHR *pProperties) const {
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600847 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600848 skip |= ValidateObject(physicalDevice, kVulkanObjectTypePhysicalDevice, false,
Mark Lobodzinskiadd93232018-10-09 11:49:42 -0600849 "VUID-vkGetDisplayModeProperties2KHR-physicalDevice-parameter", kVUIDUndefined);
Mark Lobodzinski39965742019-09-11 11:03:51 -0600850 skip |= ValidateObject(display, kVulkanObjectTypeDisplayKHR, false, "VUID-vkGetDisplayModeProperties2KHR-display-parameter",
851 kVUIDUndefined);
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600852
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600853 return skip;
854}
855
Mark Lobodzinski0c668462018-09-27 10:13:19 -0600856void ObjectLifetimes::PostCallRecordGetDisplayModeProperties2KHR(VkPhysicalDevice physicalDevice, VkDisplayKHR display,
Mark Lobodzinskicd05c1e2019-01-17 15:33:46 -0700857 uint32_t *pPropertyCount, VkDisplayModeProperties2KHR *pProperties,
858 VkResult result) {
859 if ((result != VK_SUCCESS) && (result != VK_INCOMPLETE)) return;
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600860 for (uint32_t index = 0; index < *pPropertyCount; ++index) {
Mark Lobodzinski1e76a7d2019-09-11 11:11:46 -0600861 CreateObject(pProperties[index].displayModeProperties.displayMode, kVulkanObjectTypeDisplayModeKHR, nullptr);
Mark Lobodzinskia2e97362018-09-17 13:58:32 -0600862 }
863}
Shannon McPhersonf7d9cf62019-06-26 09:23:57 -0600864
865bool ObjectLifetimes::PreCallValidateAcquirePerformanceConfigurationINTEL(
866 VkDevice device, const VkPerformanceConfigurationAcquireInfoINTEL *pAcquireInfo,
Jeff Bolz5c801d12019-10-09 10:38:45 -0500867 VkPerformanceConfigurationINTEL *pConfiguration) const {
Shannon McPhersonf7d9cf62019-06-26 09:23:57 -0600868 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600869 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkAcquirePerformanceConfigurationINTEL-device-parameter",
870 kVUIDUndefined);
Shannon McPhersonf7d9cf62019-06-26 09:23:57 -0600871
872 return skip;
873}
874
875bool ObjectLifetimes::PreCallValidateReleasePerformanceConfigurationINTEL(VkDevice device,
Jeff Bolz5c801d12019-10-09 10:38:45 -0500876 VkPerformanceConfigurationINTEL configuration) const {
Shannon McPhersonf7d9cf62019-06-26 09:23:57 -0600877 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600878 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkReleasePerformanceConfigurationINTEL-device-parameter",
879 kVUIDUndefined);
Shannon McPhersonf7d9cf62019-06-26 09:23:57 -0600880
881 return skip;
882}
883
884bool ObjectLifetimes::PreCallValidateQueueSetPerformanceConfigurationINTEL(VkQueue queue,
Jeff Bolz5c801d12019-10-09 10:38:45 -0500885 VkPerformanceConfigurationINTEL configuration) const {
Shannon McPhersonf7d9cf62019-06-26 09:23:57 -0600886 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600887 skip |= ValidateObject(queue, kVulkanObjectTypeQueue, false, "VUID-vkQueueSetPerformanceConfigurationINTEL-queue-parameter",
888 "VUID-vkQueueSetPerformanceConfigurationINTEL-commonparent");
Shannon McPhersonf7d9cf62019-06-26 09:23:57 -0600889
890 return skip;
891}
Tobias Hectorc9057422019-07-23 12:15:52 +0100892
893bool ObjectLifetimes::PreCallValidateCreateFramebuffer(VkDevice device, const VkFramebufferCreateInfo *pCreateInfo,
Jeff Bolz5c801d12019-10-09 10:38:45 -0500894 const VkAllocationCallbacks *pAllocator, VkFramebuffer *pFramebuffer) const {
Tobias Hectorc9057422019-07-23 12:15:52 +0100895 bool skip = false;
Mark Lobodzinski39965742019-09-11 11:03:51 -0600896 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkCreateFramebuffer-device-parameter", kVUIDUndefined);
Tobias Hectorc9057422019-07-23 12:15:52 +0100897 if (pCreateInfo) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600898 skip |= ValidateObject(pCreateInfo->renderPass, kVulkanObjectTypeRenderPass, false,
Tobias Hectorc9057422019-07-23 12:15:52 +0100899 "VUID-VkFramebufferCreateInfo-renderPass-parameter", "VUID-VkFramebufferCreateInfo-commonparent");
900 if ((pCreateInfo->flags & VK_FRAMEBUFFER_CREATE_IMAGELESS_BIT_KHR) == 0) {
901 for (uint32_t index1 = 0; index1 < pCreateInfo->attachmentCount; ++index1) {
Mark Lobodzinski39965742019-09-11 11:03:51 -0600902 skip |= ValidateObject(pCreateInfo->pAttachments[index1], kVulkanObjectTypeImageView, true, kVUIDUndefined,
Tobias Hectorc9057422019-07-23 12:15:52 +0100903 "VUID-VkFramebufferCreateInfo-commonparent");
904 }
905 }
906 }
907
908 return skip;
909}
910
911void ObjectLifetimes::PostCallRecordCreateFramebuffer(VkDevice device, const VkFramebufferCreateInfo *pCreateInfo,
912 const VkAllocationCallbacks *pAllocator, VkFramebuffer *pFramebuffer,
913 VkResult result) {
914 if (result != VK_SUCCESS) return;
Mark Lobodzinski1e76a7d2019-09-11 11:11:46 -0600915 CreateObject(*pFramebuffer, kVulkanObjectTypeFramebuffer, pAllocator);
Tobias Hectorc9057422019-07-23 12:15:52 +0100916}
Mark Lobodzinski417b7572019-09-11 15:10:26 -0600917
Jeff Bolz5c801d12019-10-09 10:38:45 -0500918bool ObjectLifetimes::PreCallValidateSetDebugUtilsObjectNameEXT(VkDevice device,
919 const VkDebugUtilsObjectNameInfoEXT *pNameInfo) const {
Mark Lobodzinski417b7572019-09-11 15:10:26 -0600920 bool skip = false;
921 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkSetDebugUtilsObjectNameEXT-device-parameter",
922 kVUIDUndefined);
923 skip |= ValidateAnonymousObject(pNameInfo->objectHandle, pNameInfo->objectType, false,
924 "VUID-VkDebugUtilsObjectNameInfoEXT-objectType-02590", kVUIDUndefined);
925
926 return skip;
927}
928
Jeff Bolz5c801d12019-10-09 10:38:45 -0500929bool ObjectLifetimes::PreCallValidateSetDebugUtilsObjectTagEXT(VkDevice device,
930 const VkDebugUtilsObjectTagInfoEXT *pTagInfo) const {
Mark Lobodzinski417b7572019-09-11 15:10:26 -0600931 bool skip = false;
932 skip |=
933 ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkSetDebugUtilsObjectTagEXT-device-parameter", kVUIDUndefined);
934 skip |= ValidateAnonymousObject(pTagInfo->objectHandle, pTagInfo->objectType, false,
935 "VUID-VkDebugUtilsObjectTagInfoEXT-objectHandle-01910", kVUIDUndefined);
936
937 return skip;
938}
Mark Lobodzinski67f86382019-12-12 12:28:54 -0700939
940bool ObjectLifetimes::PreCallValidateCreateDescriptorUpdateTemplate(VkDevice device,
941 const VkDescriptorUpdateTemplateCreateInfo *pCreateInfo,
942 const VkAllocationCallbacks *pAllocator,
943 VkDescriptorUpdateTemplate *pDescriptorUpdateTemplate) const {
944 bool skip = false;
945 skip |= ValidateObject(device, kVulkanObjectTypeDevice, false, "VUID-vkCreateDescriptorUpdateTemplate-device-parameter",
946 kVUIDUndefined);
947 if (pCreateInfo) {
948 if (pCreateInfo->templateType == VK_DESCRIPTOR_UPDATE_TEMPLATE_TYPE_DESCRIPTOR_SET) {
949 skip |= ValidateObject(pCreateInfo->descriptorSetLayout, kVulkanObjectTypeDescriptorSetLayout, false,
950 "VUID-VkDescriptorUpdateTemplateCreateInfo-templateType-00350",
951 "VUID-VkDescriptorUpdateTemplateCreateInfo-commonparent");
952 }
953 if (pCreateInfo->templateType == VK_DESCRIPTOR_UPDATE_TEMPLATE_TYPE_PUSH_DESCRIPTORS_KHR) {
954 skip |= ValidateObject(pCreateInfo->pipelineLayout, kVulkanObjectTypePipelineLayout, false,
955 "VUID-VkDescriptorUpdateTemplateCreateInfo-templateType-00352",
956 "VUID-VkDescriptorUpdateTemplateCreateInfo-commonparent");
957 }
958 }
959
960 return skip;
961}
962
963bool ObjectLifetimes::PreCallValidateCreateDescriptorUpdateTemplateKHR(
964 VkDevice device, const VkDescriptorUpdateTemplateCreateInfo *pCreateInfo, const VkAllocationCallbacks *pAllocator,
965 VkDescriptorUpdateTemplate *pDescriptorUpdateTemplate) const {
966 return PreCallValidateCreateDescriptorUpdateTemplate(device, pCreateInfo, pAllocator, pDescriptorUpdateTemplate);
967}
968
969void ObjectLifetimes::PostCallRecordCreateDescriptorUpdateTemplate(VkDevice device,
970 const VkDescriptorUpdateTemplateCreateInfo *pCreateInfo,
971 const VkAllocationCallbacks *pAllocator,
972 VkDescriptorUpdateTemplate *pDescriptorUpdateTemplate,
973 VkResult result) {
974 if (result != VK_SUCCESS) return;
975 CreateObject(*pDescriptorUpdateTemplate, kVulkanObjectTypeDescriptorUpdateTemplate, pAllocator);
976}
977
978void ObjectLifetimes::PostCallRecordCreateDescriptorUpdateTemplateKHR(VkDevice device,
979 const VkDescriptorUpdateTemplateCreateInfo *pCreateInfo,
980 const VkAllocationCallbacks *pAllocator,
981 VkDescriptorUpdateTemplate *pDescriptorUpdateTemplate,
982 VkResult result) {
983 return PostCallRecordCreateDescriptorUpdateTemplate(device, pCreateInfo, pAllocator, pDescriptorUpdateTemplate, result);
984}