From c8df9ddf1e278957281ef1418f439e78072b3ce9 Mon Sep 17 00:00:00 2001
From: Anton Oreskin <antono2@web.de>
Date: Wed, 23 Sep 2026 20:23:16 +0200
Subject: [PATCH] Map Vulkan C int to fixed-width i32

---
 src/vgenerator.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/vgenerator.py b/src/vgenerator.py
index 72dcb0a..36e3df9 100644
--- a/src/vgenerator.py
+++ b/src/vgenerator.py
@@ -211,6 +211,7 @@ class VOutputGenerator(OutputGenerator):
         'u16',
         'u16',
         'int',
+        'i32',
         'u32',
         'i64',
         'u64',
@@ -263,6 +264,8 @@ class VOutputGenerator(OutputGenerator):
 
     TYPE_MAP = {
         'size_t': 'usize',
+        # C int has a fixed 32-bit ABI here; V3's int is 64-bit on 64-bit hosts.
+        'int': 'i32',
         'void*': 'voidptr',
         '&void': 'voidptr',
         'void**': '&voidptr',