Index: src/examples/gc_no_raii/bug-repro/crash.c
===================================================================
--- src/examples/gc_no_raii/bug-repro/crash.c	(revision d67a9a18d6d1684db38cd3027bb168bb8bd75201)
+++ src/examples/gc_no_raii/bug-repro/crash.c	(revision d67a9a18d6d1684db38cd3027bb168bb8bd75201)
@@ -0,0 +1,6 @@
+
+void f()
+{
+ void* obj;
+ (void)obj;
+}
