--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/components/cloog/patches/008-test-reservoir-QR.c.patch	Thu Jan 28 10:36:09 2016 -0800
@@ -0,0 +1,32 @@
+# 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++) {