1 files changed, 5 insertions, 0 deletions
diff --git a/test/inftest.awk b/test/inftest.awk
new file mode 100644
index 00000000..ec0eda13
--- /dev/null
+++ b/test/inftest.awk
@@ -0,0 +1,5 @@
+BEGIN {
+  x = 100
+  do { y = x ; x *= 1000; print x,y } while ( y != x )
+  print "loop terminated"
+}