1 files changed, 93 insertions, 0 deletions
diff --git a/tests/047.sh b/tests/047.sh
new file mode 100644
index 0000000..f50ee69
--- /dev/null
+++ b/tests/047.sh
@@ -0,0 +1,93 @@
+set -e
+
+cat <<'EOF' > expected
+body 0
+foo 1
+body 1
+foo 2
+body 2
+foo 3
+body 3
+foo 4
+body 4
+foo 5
+EOF
+bash ../../test_diff.sh <<'EOF'
+int printf();
+
+int foo(int i) {
+    printf("foo %d\n", i);
+    return i;
+}
+
+int main() {
+    int i = 0;
+    do {
+        printf("body %d\n", i);
+        ++i;
+    } while (foo(i) < 5);
+
+    return 0;
+}
+EOF
+
+cat <<'EOF' > expected
+body 0
+foo 1
+body 1
+foo 2
+body 2
+EOF
+bash ../../test_diff.sh <<'EOF'
+int printf();
+
+int foo(int i) {
+    printf("foo %d\n", i);
+    return i;
+}
+
+int main() {
+    int i = 0;
+    do {
+        printf("body %d\n", i);
+        ++i;
+        if (i == 3) {
+            break;
+        }
+    } while (foo(i) < 5);
+
+    return 0;
+}
+EOF
+
+cat <<'EOF' > expected
+body 1
+foo 1
+foo 2
+body 3
+foo 3
+foo 4
+body 5
+foo 5
+EOF
+bash ../../test_diff.sh <<'EOF'
+int printf();
+
+int foo(int i) {
+    printf("foo %d\n", i);
+    return i;
+}
+
+int main() {
+    int i = 0;
+    do {
+        ++i;
+        if (i % 2 == 0) {
+            continue;
+        }
+        printf("body %d\n", i);
+    } while (foo(i) < 5);
+
+    return 0;
+}
+EOF