1 files changed, 0 insertions, 25 deletions
diff --git a/polly/lib/External/isl/imath/bug-swap.c b/polly/lib/External/isl/imath/bug-swap.c
deleted file mode 100644
index c9adca9f928..00000000000
--- a/polly/lib/External/isl/imath/bug-swap.c
+++ /dev/null
@@ -1,25 +0,0 @@
-/* Regression test for mp_int_swap() bug on self-stored values. */
-#include <stdio.h>
-#include "imath.h"
-
-int main(int argc, char* argv[]) {
-  mpz_t a, b;
-  int result;
-
-  mp_int_init_value(&a, 1);
-  mp_int_init_value(&b, 16);
-
-  mp_int_swap(&a, &b);
-  result = (a.digits == &(a.single) &&
-	    b.digits == &(b.single) &&
-	    a.digits[0] == 16 &&
-	    b.digits[0] == 1);
-
-  printf("REGRESSION: mp_int_swap() on self-stored values: %s\n",
-	 result ? "OK" : "FAILED");
-
-  mp_int_clear(&b);
-  mp_int_clear(&a);
-  return !result;
-}
-