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