Is this overflowed-literals warning in vulkan needs to be fixed?

[ukari]

problem

I noticed a warning in github ci log

src/Vulkan/Extensions/VK_KHR_synchronization2.hs:5294:78: warning: [-Woverflowed-literals]
    Literal 4294967296 is out of the Word32 range 0..4294967295
     |
5294 | pattern ACCESS_2_SHADER_SAMPLED_READ_BIT_KHR            = AccessFlagBits2KHR 0x100000000
     |                                                                              ^^^^^^^^^^^

src/Vulkan/Extensions/VK_KHR_synchronization2.hs:5302:78: warning: [-Woverflowed-literals]
    Literal 8589934592 is out of the Word32 range 0..4294967295
     |
5302 | pattern ACCESS_2_SHADER_STORAGE_READ_BIT_KHR            = AccessFlagBits2KHR 0x200000000
     |                                                                              ^^^^^^^^^^^

I check vulkan doc, and found that VkPipelineStageFlagBits2KHR has a ULL(unsigned long long) type which means Word64 instead of Word32 in haskell.

static const VkPipelineStageFlags2KHR VK_PIPELINE_STAGE_2_CLEAR_BIT_KHR = 0x800000000ULL;

related code

PipelineStageFlagBits2KHR

newtype PipelineStageFlagBits2KHR = PipelineStageFlagBits2KHR Flags
  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)

PIPELINE_STAGE_2_CLEAR_BIT_KHR

pattern PIPELINE_STAGE_2_CLEAR_BIT_KHR                          = PipelineStageFlagBits2KHR 0x800000000

Flags

type Flags = Word32

[expipiplus1]

Yeah, this certainly should be fixed! I'll get to it asap I hope.

Basically these should use Flags64 instead.

[expipiplus1]

This is fixed and released on Hackage