Index: src/examples/gc_no_raii/bug-repro/void_pointer.c
===================================================================
--- src/examples/gc_no_raii/bug-repro/void_pointer.c	(revision 29ad0aca9f324870dae03dc08594b28747857c11)
+++ src/examples/gc_no_raii/bug-repro/void_pointer.c	(revision 29ad0aca9f324870dae03dc08594b28747857c11)
@@ -0,0 +1,18 @@
+#include <stddef.h>
+#include <stdint.h>
+
+//inline intptr_t test(void* address)
+//{
+//	return (intptr_t)address;
+//}
+
+//inline void* test2(void* address)
+//{
+//	return address & 0xFF;
+//}
+
+inline int test()
+{
+	void* d = 0;
+	return (int)d;
+}