Use __typeof__() instead of void*

Preserve the real type of a pointer instead of casting to `void*`. Closes #1703.
2025-10-03 13:20:58 +00:00 · 2020-05-25 18:27:50 +02:00 · 2020-05-25 18:27:50 +02:00 · 63c96643b2
commit 63c96643b2
parent d4f5074535
1 changed files with 1 additions and 1 deletions
--- a/src/internal.h
+++ b/src/internal.h
@ -218,7 +218,7 @@ typedef void (APIENTRY * PFN_vkVoidFunction)(void);
 // Swaps the provided pointers
 #define _GLFW_SWAP_POINTERS(x, y) \
    {                             \
-        void* t;                  \
+        __typeof__(x) t;          \
        t = x;                    \
        x = y;                    \
        y = t;                    \