1 files changed, 13 insertions, 0 deletions
diff --git a/examples/double_for_loop.c b/examples/double_for_loop.c
new file mode 100644
index 0000000..c58301d
--- /dev/null
+++ b/examples/double_for_loop.c
@@ -0,0 +1,13 @@
+int f (int A[1000], int B[1000]) {
+    for (int i = 0; i < 1000; i++) {
+        if (i % 2) {
+            A[i] = B[i];
+        }
+    }
+    for (int i = 0; i < 1000; i++) {
+        if (! (i % 2)) {
+            A[i] = B[i];
+        }
+    }
+    return A[100];
+}