Skip to content

library: Fix duplicated VkFormatProperties3 in format chain - #1055

Merged
christophe-lunarg merged 2 commits into
mainfrom
fix-format-properties3-duplicate
Oct 21, 2026
Merged

christophe-lunarg merged 2 commits into
mainfrom
fix-format-properties3-duplicate

Conversation

@christophe-lunarg

Copy link
Copy Markdown
Collaborator

eliminateAliases appended each struct aliases list into the collected names, so a struct name was compared against lists and alias duplicates were never removed. Profiles using both 'VkFormatProperties3' and 'VkFormatProperties3KHR' chained the two aliases into VkFormatProperties2, breaking VUID-VkFormatProperties2-sType-unique.

  • Collect alias names with extend so alias duplicates are removed
  • Handle VkFormatProperties2 and VkFormatProperties3 in the format special case alongside their KHR aliases
  • Fill and compare a struct using data defined under any of its alias names, so the remaining struct keeps the profile data

eliminateAliases appended each struct aliases list into the collected
names, so a struct name was compared against lists and alias duplicates
were never removed. Profiles using both 'VkFormatProperties3' and
'VkFormatProperties3KHR' chained the two aliases into VkFormatProperties2,
breaking VUID-VkFormatProperties2-sType-unique.

- Collect alias names with extend so alias duplicates are removed
- Handle VkFormatProperties2 and VkFormatProperties3 in the format
  special case alongside their KHR aliases
- Fill and compare a struct using data defined under any of its alias
  names, so the remaining struct keeps the profile data
@christophe-lunarg christophe-lunarg self-assigned this Oct 20, 2026
@ci-tester-lunarg

Copy link
Copy Markdown
Collaborator

CI VulkanProfiles build # 4655 running.

@ci-tester-lunarg

Copy link
Copy Markdown
Collaborator

CI VulkanProfiles build # 4655 passed.

@christophe-lunarg
christophe-lunarg force-pushed the fix-format-properties3-duplicate branch from c80ab62 to 148f41b Compare October 21, 2026 11:04
@ci-tester-lunarg

Copy link
Copy Markdown
Collaborator

CI VulkanProfiles build queued with queue ID 165314.

1 similar comment
@ci-tester-lunarg

Copy link
Copy Markdown
Collaborator

CI VulkanProfiles build queued with queue ID 165314.

@ci-tester-lunarg

Copy link
Copy Markdown
Collaborator

CI VulkanProfiles build # 4657 running.

@ci-tester-lunarg

Copy link
Copy Markdown
Collaborator

CI VulkanProfiles build # 4657 passed.

@christophe-lunarg
christophe-lunarg merged commit ba9e628 into main Oct 21, 2026
11 checks passed
@christophe-lunarg
christophe-lunarg deleted the fix-format-properties3-duplicate branch October 21, 2026 11:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

library: Generated library chains VkFormatProperties3 and VkFormatProperties3KHR together

2 participants