1 files changed, 6 insertions, 0 deletions
diff --git a/test/min-4-1.c b/test/min-4-1.c
new file mode 100644
index 0000000..91e5e65
--- /dev/null
+++ b/test/min-4-1.c
@@ -0,0 +1,6 @@
+/* Generated from ../../../git/cloog/test/min-4-1.cloog by CLooG 0.14.0-136-gb91ef26 gmp bits in 0.01s. */
+if ((M >= -N) && (M >= -O) && (N >= 0) && (N >= -O)) {
+  for (i=max(-M,-N);i<=min(N,O);i++) {
+    S1(i) ;
+  }
+}