Re: [PATCH vkd3d 1/6] vkd3d: Avoid division by zero in GetResourceAllocationInfo() (Coverity).