1 files changed, 25 insertions, 0 deletions
diff --git a/test/goto.c b/test/goto.c
new file mode 100644
index 0000000..0ecbf28
--- /dev/null
+++ b/test/goto.c
@@ -0,0 +1,25 @@
+int crz(int x) {
+/* x <<= 1; while (x < 0) ++x; return x; */
+  goto e;
+a:
+  return x;
+j:
+  ++x;
+  goto q;
+b:
+  if (x < 0)
+    goto j;
+  goto a;
+q:
+  goto b;
+e:
+  x <<= 1;
+  goto b;
+}
+
+int printf(const char *, ...);
+int main() {
+   printf("should print 14: %d\n", crz(7));
+   printf("should print 0: %d\n", crz(-3));
+   printf("should print 0: %d\n", crz(0));
+}