xref: /llvm-project/polly/lib/External/isl/imath/tests/bug-swap.c (revision 658eb9e14264d48888ade0e3daf0b648f76c3f0e)
1 /* Regression test for mp_int_swap() bug on self-stored values. */
2 #include <stdio.h>
3 #include "imath.h"
4 
main(int argc,char * argv[])5 int main(int argc, char* argv[]) {
6   mpz_t a, b;
7   int result;
8 
9   mp_int_init_value(&a, 1);
10   mp_int_init_value(&b, 16);
11 
12   mp_int_swap(&a, &b);
13   result = (a.digits == &(a.single) && b.digits == &(b.single) &&
14             a.digits[0] == 16 && b.digits[0] == 1);
15 
16   printf("REGRESSION: mp_int_swap() on self-stored values: %s\n",
17          result ? "OK" : "FAILED");
18 
19   mp_int_clear(&b);
20   mp_int_clear(&a);
21   return !result;
22 }
23