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