1 files changed, 6 insertions, 8 deletions
diff --git a/polly/lib/External/isl/test_inputs/codegen/isolate2.c b/polly/lib/External/isl/test_inputs/codegen/isolate2.c
index fda80332719..2c9e15d0dd5 100644
--- a/polly/lib/External/isl/test_inputs/codegen/isolate2.c
+++ b/polly/lib/External/isl/test_inputs/codegen/isolate2.c
@@ -2,12 +2,10 @@ for (int c0 = 0; c0 <= 99; c0 += 1) {
   if (c0 >= 4 && c0 <= 6) {
     for (int c1 = 0; c1 <= 99; c1 += 1)
       A(c0, c1);
-  } else if (c0 >= 7 || c0 <= 3) {
-    if (c0 >= 7) {
-      for (int c1 = 0; c1 <= 99; c1 += 1)
-        A(c0, c1);
-    } else
-      for (int c1 = 0; c1 <= 99; c1 += 1)
-        A(c0, c1);
-  }
+  } else if (c0 >= 7) {
+    for (int c1 = 0; c1 <= 99; c1 += 1)
+      A(c0, c1);
+  } else
+    for (int c1 = 0; c1 <= 99; c1 += 1)
+      A(c0, c1);
 }