# Known - and irrelevant - bug:
# https://groups.google.com/forum/?hl=en#!topic/cloog-development/6I0SAXhIr8s
# No need to send upstream, they already know about it.
# Internal patch.
--- test/reservoir/QR.c	2014-12-08 05:05:37.000000000 -0500
+++ test/reservoir/QR.c	2015-07-23 14:34:54.994624981 -0400
@@ -1,12 +1,6 @@
 /* Generated from ./reservoir/QR.cloog by CLooG 0.18.1-2-g43fc508 gmp bits in 0.07s. */
 if (N >= 1) {
   S1(0);
-  if ((M <= 0) && (N >= 2)) {
-    S3(0);
-    S10(0);
-    S1(1);
-    S5(0);
-  }
   if ((M >= 1) && (N == 1)) {
     for (c4=0;c4<=M-1;c4++) {
       S2(0,c4);
@@ -34,6 +28,12 @@
     S10(0);
     S1(1);
     S5(0);
+  }
+  if ((M <= 0) && (N >= 2)) {
+    S3(0);
+    S10(0);
+    S1(1);
+    S5(0);
   }
   for (c2=2;c2<=min(M,N-1);c2++) {
     for (c4=c2-1;c4<=N-1;c4++) {