Index: src/examples/strings/bug-repro/while_zero.c
===================================================================
--- src/examples/strings/bug-repro/while_zero.c	(revision a772d8abfc1b1fd6a2de73fd9a6bc889033a4e62)
+++ src/examples/strings/bug-repro/while_zero.c	(revision a772d8abfc1b1fd6a2de73fd9a6bc889033a4e62)
@@ -0,0 +1,7 @@
+int test()
+{
+	int i = 0;
+	do {
+		i++;
+	} while(0);
+}