SDL: Merge commit '439c0b023680a1cf18661336471ff405131de661' into main

From 439c0b023680a1cf18661336471ff405131de661 Mon Sep 17 00:00:00 2001
From: Sylvain <[EMAIL REDACTED]>
Date: Thu, 12 Jan 2023 09:44:20 +0100
Subject: [PATCH] Add vulkan migration

---
 build-scripts/SDL_migration.cocci | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/build-scripts/SDL_migration.cocci b/build-scripts/SDL_migration.cocci
index f6e0582889b8..08fa1e886d87 100644
--- a/build-scripts/SDL_migration.cocci
+++ b/build-scripts/SDL_migration.cocci
@@ -31,6 +31,23 @@
 // So this file is a set of many semantic patches, mostly independant.
 
 
+// SDL_Vulkan_GetInstanceExtensions() no longer takes a window parameter.
+@@
+expression e1, e2, e3;
+@@
+  SDL_Vulkan_GetInstanceExtensions(
+- e1,
+  e2, e3)
+
+// SDL_Vulkan_GetVkGetInstanceProcAddr() now returns `SDL_FunctionPointer` instead of `void *`, and should be cast to PFN_vkGetInstanceProcAddr.
+@@
+typedef PFN_vkGetInstanceProcAddr;
+expression e1, e2, e3;
+@@
++ (PFN_vkGetInstanceProcAddr)
+  SDL_Vulkan_GetVkGetInstanceProcAddr()
+
+
 // SDL_PauseAudioDevice / SDL_PlayAudioDevice
 @@
 expression e;