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