diff --git a/testdata/eval/positive/4.pdl b/testdata/eval/positive/4.pdl
new file mode 100644
index 0000000000000000000000000000000000000000..b085c1e190fc0b5055c3f83c27036321c2adc923
--- /dev/null
+++ b/testdata/eval/positive/4.pdl
@@ -0,0 +1,12 @@
+#version 100
+
+composite main() {}
+
+int test() {
+	int x = 5;
+	while (x < 10) {
+	    x += 2;
+	    if (x == 10) return x; // never taken
+	}
+	return x;
+}
\ No newline at end of file