From 0a02288f9dc035d9331aa93a12504a166540cd16 Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Mon, 22 Aug 2016 17:04:36 +0200
Subject: [PATCH] Modify portable distribution of the GMP library (mini-gmp) to
 support E-ACSL API

---
 .../e-acsl/contrib/libgmp/mini-gmp/mini-gmp.c |  67 +++-
 .../e-acsl/contrib/libgmp/mini-gmp/mini-gmp.h | 344 +++++++++---------
 2 files changed, 235 insertions(+), 176 deletions(-)

diff --git a/src/plugins/e-acsl/contrib/libgmp/mini-gmp/mini-gmp.c b/src/plugins/e-acsl/contrib/libgmp/mini-gmp/mini-gmp.c
index 7300614dd17..af441dbc2f7 100644
--- a/src/plugins/e-acsl/contrib/libgmp/mini-gmp/mini-gmp.c
+++ b/src/plugins/e-acsl/contrib/libgmp/mini-gmp/mini-gmp.c
@@ -236,7 +236,7 @@ see https://www.gnu.org/licenses/.  */
     (y) = __mpz_srcptr_swap__tmp;					\
   } while (0)
 
-const int mp_bits_per_limb = GMP_LIMB_BITS;
+static const int mp_bits_per_limb = GMP_LIMB_BITS;
 
 
 /* Memory allocation and other helper functions. */
@@ -247,6 +247,9 @@ gmp_die (const char *msg)
   abort();
 }
 
+void * __e_acsl_native_malloc(size_t);
+void* __e_acsl_native_realloc(void*, size_t);
+
 static void *
 gmp_default_alloc (size_t size)
 {
@@ -254,7 +257,7 @@ gmp_default_alloc (size_t size)
 
   assert (size > 0);
 
-  p = malloc (size);
+  p = __e_acsl_native_malloc(size);
   if (!p)
     gmp_die("gmp_default_alloc: Virtual memory exhausted.");
 
@@ -266,7 +269,7 @@ gmp_default_realloc (void *old, size_t old_size, size_t new_size)
 {
   void * p;
 
-  p = realloc (old, new_size);
+  p = __e_acsl_native_realloc (old, new_size);
 
   if (!p)
     gmp_die("gmp_default_realloc: Virtual memory exhausted.");
@@ -277,7 +280,7 @@ gmp_default_realloc (void *old, size_t old_size, size_t new_size)
 static void
 gmp_default_free (void *p, size_t size)
 {
-  free (p);
+  __e_acsl_native_free (p);
 }
 
 static void * (*gmp_allocate_func) (size_t) = gmp_default_alloc;
@@ -4372,3 +4375,59 @@ mpz_export (void *r, size_t *countp, int order, size_t size, int endian,
 
   return r;
 }
+
+/************/
+/* ALIASING */
+/************/
+/** Define `aliasname` as a strong alias for `name`. */
+# define strong_alias(name, aliasname) _strong_alias(name, aliasname)
+# define _strong_alias(name, aliasname) \
+  extern __typeof (name) aliasname __attribute__ ((alias (#name)));
+
+/****************/
+/* Initializers */
+/****************/
+strong_alias(mpz_init,__gmpz_init)
+strong_alias(mpz_init_set,__gmpz_init_set)
+strong_alias(mpz_init_set_ui,__gmpz_init_set_ui)
+strong_alias(mpz_init_set_si,__gmpz_init_set_si)
+strong_alias(mpz_init_set_str,__gmpz_init_set_str)
+strong_alias(mpz_import,__gmpz_import)
+
+/***************/
+/* Assignments */
+/***************/
+strong_alias(mpz_set,__gmpz_set)
+strong_alias(mpz_set_ui,__gmpz_set_ui)
+strong_alias(mpz_set_si,__gmpz_set_si)
+
+/*************/
+/* Finalizer */
+/*************/
+strong_alias(mpz_clear,__gmpz_clear)
+
+/********************/
+/* Logical operator */
+/********************/
+strong_alias(mpz_cmp,__gmpz_cmp)
+
+/************************/
+/* Arithmetic operators */
+/************************/
+strong_alias(mpz_neg,__gmpz_neg)
+strong_alias(mpz_add,__gmpz_add)
+strong_alias(mpz_sub,__gmpz_sub)
+strong_alias(mpz_mul,__gmpz_mul)
+strong_alias(mpz_tdiv_q,__gmpz_tdiv_q)
+strong_alias(mpz_tdiv_r,__gmpz_tdiv_r)
+
+/*********************/
+/* Bitwise operators */
+/*********************/
+strong_alias(mpz_com,__gmpz_com)
+
+/************************/
+/* Coercions to C types */
+/************************/
+strong_alias(mpz_get_si,__gmpz_get_si)
+strong_alias(mpz_get_ui,__gmpz_get_ui)
diff --git a/src/plugins/e-acsl/contrib/libgmp/mini-gmp/mini-gmp.h b/src/plugins/e-acsl/contrib/libgmp/mini-gmp/mini-gmp.h
index 450c3e561b0..1ee4bd8fb2a 100644
--- a/src/plugins/e-acsl/contrib/libgmp/mini-gmp/mini-gmp.h
+++ b/src/plugins/e-acsl/contrib/libgmp/mini-gmp/mini-gmp.h
@@ -45,11 +45,11 @@ see https://www.gnu.org/licenses/.  */
 extern "C" {
 #endif
 
-void mp_set_memory_functions (void *(*) (size_t),
+static void mp_set_memory_functions (void *(*) (size_t),
 			      void *(*) (void *, size_t, size_t),
 			      void (*) (void *, size_t));
 
-void mp_get_memory_functions (void *(**) (size_t),
+static void mp_get_memory_functions (void *(**) (size_t),
 			      void *(**) (void *, size_t, size_t),
 			      void (**) (void *, size_t));
 
@@ -75,195 +75,195 @@ typedef __mpz_struct mpz_t[1];
 typedef __mpz_struct *mpz_ptr;
 typedef const __mpz_struct *mpz_srcptr;
 
-extern const int mp_bits_per_limb;
+static const int mp_bits_per_limb;
 
-void mpn_copyi (mp_ptr, mp_srcptr, mp_size_t);
-void mpn_copyd (mp_ptr, mp_srcptr, mp_size_t);
-void mpn_zero (mp_ptr, mp_size_t);
+static void mpn_copyi (mp_ptr, mp_srcptr, mp_size_t);
+static void mpn_copyd (mp_ptr, mp_srcptr, mp_size_t);
+static void mpn_zero (mp_ptr, mp_size_t);
 
-int mpn_cmp (mp_srcptr, mp_srcptr, mp_size_t);
-int mpn_zero_p (mp_srcptr, mp_size_t);
+static int mpn_cmp (mp_srcptr, mp_srcptr, mp_size_t);
+static int mpn_zero_p (mp_srcptr, mp_size_t);
 
-mp_limb_t mpn_add_1 (mp_ptr, mp_srcptr, mp_size_t, mp_limb_t);
-mp_limb_t mpn_add_n (mp_ptr, mp_srcptr, mp_srcptr, mp_size_t);
-mp_limb_t mpn_add (mp_ptr, mp_srcptr, mp_size_t, mp_srcptr, mp_size_t);
+static mp_limb_t mpn_add_1 (mp_ptr, mp_srcptr, mp_size_t, mp_limb_t);
+static mp_limb_t mpn_add_n (mp_ptr, mp_srcptr, mp_srcptr, mp_size_t);
+static mp_limb_t mpn_add (mp_ptr, mp_srcptr, mp_size_t, mp_srcptr, mp_size_t);
 
-mp_limb_t mpn_sub_1 (mp_ptr, mp_srcptr, mp_size_t, mp_limb_t);
-mp_limb_t mpn_sub_n (mp_ptr, mp_srcptr, mp_srcptr, mp_size_t);
-mp_limb_t mpn_sub (mp_ptr, mp_srcptr, mp_size_t, mp_srcptr, mp_size_t);
+static mp_limb_t mpn_sub_1 (mp_ptr, mp_srcptr, mp_size_t, mp_limb_t);
+static mp_limb_t mpn_sub_n (mp_ptr, mp_srcptr, mp_srcptr, mp_size_t);
+static mp_limb_t mpn_sub (mp_ptr, mp_srcptr, mp_size_t, mp_srcptr, mp_size_t);
 
-mp_limb_t mpn_mul_1 (mp_ptr, mp_srcptr, mp_size_t, mp_limb_t);
-mp_limb_t mpn_addmul_1 (mp_ptr, mp_srcptr, mp_size_t, mp_limb_t);
-mp_limb_t mpn_submul_1 (mp_ptr, mp_srcptr, mp_size_t, mp_limb_t);
+static mp_limb_t mpn_mul_1 (mp_ptr, mp_srcptr, mp_size_t, mp_limb_t);
+static mp_limb_t mpn_addmul_1 (mp_ptr, mp_srcptr, mp_size_t, mp_limb_t);
+static mp_limb_t mpn_submul_1 (mp_ptr, mp_srcptr, mp_size_t, mp_limb_t);
 
-mp_limb_t mpn_mul (mp_ptr, mp_srcptr, mp_size_t, mp_srcptr, mp_size_t);
-void mpn_mul_n (mp_ptr, mp_srcptr, mp_srcptr, mp_size_t);
-void mpn_sqr (mp_ptr, mp_srcptr, mp_size_t);
-int mpn_perfect_square_p (mp_srcptr, mp_size_t);
-mp_size_t mpn_sqrtrem (mp_ptr, mp_ptr, mp_srcptr, mp_size_t);
+static mp_limb_t mpn_mul (mp_ptr, mp_srcptr, mp_size_t, mp_srcptr, mp_size_t);
+static void mpn_mul_n (mp_ptr, mp_srcptr, mp_srcptr, mp_size_t);
+static void mpn_sqr (mp_ptr, mp_srcptr, mp_size_t);
+static int mpn_perfect_square_p (mp_srcptr, mp_size_t);
+static mp_size_t mpn_sqrtrem (mp_ptr, mp_ptr, mp_srcptr, mp_size_t);
 
-mp_limb_t mpn_lshift (mp_ptr, mp_srcptr, mp_size_t, unsigned int);
-mp_limb_t mpn_rshift (mp_ptr, mp_srcptr, mp_size_t, unsigned int);
+static mp_limb_t mpn_lshift (mp_ptr, mp_srcptr, mp_size_t, unsigned int);
+static mp_limb_t mpn_rshift (mp_ptr, mp_srcptr, mp_size_t, unsigned int);
 
-mp_bitcnt_t mpn_scan0 (mp_srcptr, mp_bitcnt_t);
-mp_bitcnt_t mpn_scan1 (mp_srcptr, mp_bitcnt_t);
+static mp_bitcnt_t mpn_scan0 (mp_srcptr, mp_bitcnt_t);
+static mp_bitcnt_t mpn_scan1 (mp_srcptr, mp_bitcnt_t);
 
-mp_bitcnt_t mpn_popcount (mp_srcptr, mp_size_t);
+static mp_bitcnt_t mpn_popcount (mp_srcptr, mp_size_t);
 
-mp_limb_t mpn_invert_3by2 (mp_limb_t, mp_limb_t);
+static mp_limb_t mpn_invert_3by2 (mp_limb_t, mp_limb_t);
 #define mpn_invert_limb(x) mpn_invert_3by2 ((x), 0)
 
-size_t mpn_get_str (unsigned char *, int, mp_ptr, mp_size_t);
-mp_size_t mpn_set_str (mp_ptr, const unsigned char *, size_t, int);
+static size_t mpn_get_str (unsigned char *, int, mp_ptr, mp_size_t);
+static mp_size_t mpn_set_str (mp_ptr, const unsigned char *, size_t, int);
 
-void mpz_init (mpz_t);
-void mpz_init2 (mpz_t, mp_bitcnt_t);
-void mpz_clear (mpz_t);
+static void mpz_init (mpz_t);
+static void mpz_init2 (mpz_t, mp_bitcnt_t);
+static void mpz_clear (mpz_t);
 
 #define mpz_odd_p(z)   (((z)->_mp_size != 0) & (int) (z)->_mp_d[0])
 #define mpz_even_p(z)  (! mpz_odd_p (z))
 
-int mpz_sgn (const mpz_t);
-int mpz_cmp_si (const mpz_t, long);
-int mpz_cmp_ui (const mpz_t, unsigned long);
-int mpz_cmp (const mpz_t, const mpz_t);
-int mpz_cmpabs_ui (const mpz_t, unsigned long);
-int mpz_cmpabs (const mpz_t, const mpz_t);
-int mpz_cmp_d (const mpz_t, double);
-int mpz_cmpabs_d (const mpz_t, double);
-
-void mpz_abs (mpz_t, const mpz_t);
-void mpz_neg (mpz_t, const mpz_t);
-void mpz_swap (mpz_t, mpz_t);
-
-void mpz_add_ui (mpz_t, const mpz_t, unsigned long);
-void mpz_add (mpz_t, const mpz_t, const mpz_t);
-void mpz_sub_ui (mpz_t, const mpz_t, unsigned long);
-void mpz_ui_sub (mpz_t, unsigned long, const mpz_t);
-void mpz_sub (mpz_t, const mpz_t, const mpz_t);
-
-void mpz_mul_si (mpz_t, const mpz_t, long int);
-void mpz_mul_ui (mpz_t, const mpz_t, unsigned long int);
-void mpz_mul (mpz_t, const mpz_t, const mpz_t);
-void mpz_mul_2exp (mpz_t, const mpz_t, mp_bitcnt_t);
-void mpz_addmul_ui (mpz_t, const mpz_t, unsigned long int);
-void mpz_addmul (mpz_t, const mpz_t, const mpz_t);
-void mpz_submul_ui (mpz_t, const mpz_t, unsigned long int);
-void mpz_submul (mpz_t, const mpz_t, const mpz_t);
-
-void mpz_cdiv_qr (mpz_t, mpz_t, const mpz_t, const mpz_t);
-void mpz_fdiv_qr (mpz_t, mpz_t, const mpz_t, const mpz_t);
-void mpz_tdiv_qr (mpz_t, mpz_t, const mpz_t, const mpz_t);
-void mpz_cdiv_q (mpz_t, const mpz_t, const mpz_t);
-void mpz_fdiv_q (mpz_t, const mpz_t, const mpz_t);
-void mpz_tdiv_q (mpz_t, const mpz_t, const mpz_t);
-void mpz_cdiv_r (mpz_t, const mpz_t, const mpz_t);
-void mpz_fdiv_r (mpz_t, const mpz_t, const mpz_t);
-void mpz_tdiv_r (mpz_t, const mpz_t, const mpz_t);
-
-void mpz_cdiv_q_2exp (mpz_t, const mpz_t, mp_bitcnt_t);
-void mpz_fdiv_q_2exp (mpz_t, const mpz_t, mp_bitcnt_t);
-void mpz_tdiv_q_2exp (mpz_t, const mpz_t, mp_bitcnt_t);
-void mpz_cdiv_r_2exp (mpz_t, const mpz_t, mp_bitcnt_t);
-void mpz_fdiv_r_2exp (mpz_t, const mpz_t, mp_bitcnt_t);
-void mpz_tdiv_r_2exp (mpz_t, const mpz_t, mp_bitcnt_t);
-
-void mpz_mod (mpz_t, const mpz_t, const mpz_t);
-
-void mpz_divexact (mpz_t, const mpz_t, const mpz_t);
-
-int mpz_divisible_p (const mpz_t, const mpz_t);
-int mpz_congruent_p (const mpz_t, const mpz_t, const mpz_t);
-
-unsigned long mpz_cdiv_qr_ui (mpz_t, mpz_t, const mpz_t, unsigned long);
-unsigned long mpz_fdiv_qr_ui (mpz_t, mpz_t, const mpz_t, unsigned long);
-unsigned long mpz_tdiv_qr_ui (mpz_t, mpz_t, const mpz_t, unsigned long);
-unsigned long mpz_cdiv_q_ui (mpz_t, const mpz_t, unsigned long);
-unsigned long mpz_fdiv_q_ui (mpz_t, const mpz_t, unsigned long);
-unsigned long mpz_tdiv_q_ui (mpz_t, const mpz_t, unsigned long);
-unsigned long mpz_cdiv_r_ui (mpz_t, const mpz_t, unsigned long);
-unsigned long mpz_fdiv_r_ui (mpz_t, const mpz_t, unsigned long);
-unsigned long mpz_tdiv_r_ui (mpz_t, const mpz_t, unsigned long);
-unsigned long mpz_cdiv_ui (const mpz_t, unsigned long);
-unsigned long mpz_fdiv_ui (const mpz_t, unsigned long);
-unsigned long mpz_tdiv_ui (const mpz_t, unsigned long);
-
-unsigned long mpz_mod_ui (mpz_t, const mpz_t, unsigned long);
-
-void mpz_divexact_ui (mpz_t, const mpz_t, unsigned long);
-
-int mpz_divisible_ui_p (const mpz_t, unsigned long);
-
-unsigned long mpz_gcd_ui (mpz_t, const mpz_t, unsigned long);
-void mpz_gcd (mpz_t, const mpz_t, const mpz_t);
-void mpz_gcdext (mpz_t, mpz_t, mpz_t, const mpz_t, const mpz_t);
-void mpz_lcm_ui (mpz_t, const mpz_t, unsigned long);
-void mpz_lcm (mpz_t, const mpz_t, const mpz_t);
-int mpz_invert (mpz_t, const mpz_t, const mpz_t);
-
-void mpz_sqrtrem (mpz_t, mpz_t, const mpz_t);
-void mpz_sqrt (mpz_t, const mpz_t);
-int mpz_perfect_square_p (const mpz_t);
-
-void mpz_pow_ui (mpz_t, const mpz_t, unsigned long);
-void mpz_ui_pow_ui (mpz_t, unsigned long, unsigned long);
-void mpz_powm (mpz_t, const mpz_t, const mpz_t, const mpz_t);
-void mpz_powm_ui (mpz_t, const mpz_t, unsigned long, const mpz_t);
-
-void mpz_rootrem (mpz_t, mpz_t, const mpz_t, unsigned long);
-int mpz_root (mpz_t, const mpz_t, unsigned long);
-
-void mpz_fac_ui (mpz_t, unsigned long);
-void mpz_bin_uiui (mpz_t, unsigned long, unsigned long);
-
-int mpz_probab_prime_p (const mpz_t, int);
-
-int mpz_tstbit (const mpz_t, mp_bitcnt_t);
-void mpz_setbit (mpz_t, mp_bitcnt_t);
-void mpz_clrbit (mpz_t, mp_bitcnt_t);
-void mpz_combit (mpz_t, mp_bitcnt_t);
-
-void mpz_com (mpz_t, const mpz_t);
-void mpz_and (mpz_t, const mpz_t, const mpz_t);
-void mpz_ior (mpz_t, const mpz_t, const mpz_t);
-void mpz_xor (mpz_t, const mpz_t, const mpz_t);
-
-mp_bitcnt_t mpz_popcount (const mpz_t);
-mp_bitcnt_t mpz_hamdist (const mpz_t, const mpz_t);
-mp_bitcnt_t mpz_scan0 (const mpz_t, mp_bitcnt_t);
-mp_bitcnt_t mpz_scan1 (const mpz_t, mp_bitcnt_t);
-
-int mpz_fits_slong_p (const mpz_t);
-int mpz_fits_ulong_p (const mpz_t);
-long int mpz_get_si (const mpz_t);
-unsigned long int mpz_get_ui (const mpz_t);
-double mpz_get_d (const mpz_t);
-size_t mpz_size (const mpz_t);
-mp_limb_t mpz_getlimbn (const mpz_t, mp_size_t);
-
-void mpz_realloc2 (mpz_t, mp_bitcnt_t);
-mp_srcptr mpz_limbs_read (mpz_srcptr);
-mp_ptr mpz_limbs_modify (mpz_t, mp_size_t);
-mp_ptr mpz_limbs_write (mpz_t, mp_size_t);
-void mpz_limbs_finish (mpz_t, mp_size_t);
-mpz_srcptr mpz_roinit_n (mpz_t, mp_srcptr, mp_size_t);
+static int mpz_sgn (const mpz_t);
+static int mpz_cmp_si (const mpz_t, long);
+static int mpz_cmp_ui (const mpz_t, unsigned long);
+static int mpz_cmp (const mpz_t, const mpz_t);
+static int mpz_cmpabs_ui (const mpz_t, unsigned long);
+static int mpz_cmpabs (const mpz_t, const mpz_t);
+static int mpz_cmp_d (const mpz_t, double);
+static int mpz_cmpabs_d (const mpz_t, double);
+
+static void mpz_abs (mpz_t, const mpz_t);
+static void mpz_neg (mpz_t, const mpz_t);
+static void mpz_swap (mpz_t, mpz_t);
+
+static void mpz_add_ui (mpz_t, const mpz_t, unsigned long);
+static void mpz_add (mpz_t, const mpz_t, const mpz_t);
+static void mpz_sub_ui (mpz_t, const mpz_t, unsigned long);
+static void mpz_ui_sub (mpz_t, unsigned long, const mpz_t);
+static void mpz_sub (mpz_t, const mpz_t, const mpz_t);
+
+static void mpz_mul_si (mpz_t, const mpz_t, long int);
+static void mpz_mul_ui (mpz_t, const mpz_t, unsigned long int);
+static void mpz_mul (mpz_t, const mpz_t, const mpz_t);
+static void mpz_mul_2exp (mpz_t, const mpz_t, mp_bitcnt_t);
+static void mpz_addmul_ui (mpz_t, const mpz_t, unsigned long int);
+static void mpz_addmul (mpz_t, const mpz_t, const mpz_t);
+static void mpz_submul_ui (mpz_t, const mpz_t, unsigned long int);
+static void mpz_submul (mpz_t, const mpz_t, const mpz_t);
+
+static void mpz_cdiv_qr (mpz_t, mpz_t, const mpz_t, const mpz_t);
+static void mpz_fdiv_qr (mpz_t, mpz_t, const mpz_t, const mpz_t);
+static void mpz_tdiv_qr (mpz_t, mpz_t, const mpz_t, const mpz_t);
+static void mpz_cdiv_q (mpz_t, const mpz_t, const mpz_t);
+static void mpz_fdiv_q (mpz_t, const mpz_t, const mpz_t);
+static void mpz_tdiv_q (mpz_t, const mpz_t, const mpz_t);
+static void mpz_cdiv_r (mpz_t, const mpz_t, const mpz_t);
+static void mpz_fdiv_r (mpz_t, const mpz_t, const mpz_t);
+static void mpz_tdiv_r (mpz_t, const mpz_t, const mpz_t);
+
+static void mpz_cdiv_q_2exp (mpz_t, const mpz_t, mp_bitcnt_t);
+static void mpz_fdiv_q_2exp (mpz_t, const mpz_t, mp_bitcnt_t);
+static void mpz_tdiv_q_2exp (mpz_t, const mpz_t, mp_bitcnt_t);
+static void mpz_cdiv_r_2exp (mpz_t, const mpz_t, mp_bitcnt_t);
+static void mpz_fdiv_r_2exp (mpz_t, const mpz_t, mp_bitcnt_t);
+static void mpz_tdiv_r_2exp (mpz_t, const mpz_t, mp_bitcnt_t);
+
+static void mpz_mod (mpz_t, const mpz_t, const mpz_t);
+
+static void mpz_divexact (mpz_t, const mpz_t, const mpz_t);
+
+static int mpz_divisible_p (const mpz_t, const mpz_t);
+static int mpz_congruent_p (const mpz_t, const mpz_t, const mpz_t);
+
+static unsigned long mpz_cdiv_qr_ui (mpz_t, mpz_t, const mpz_t, unsigned long);
+static unsigned long mpz_fdiv_qr_ui (mpz_t, mpz_t, const mpz_t, unsigned long);
+static unsigned long mpz_tdiv_qr_ui (mpz_t, mpz_t, const mpz_t, unsigned long);
+static unsigned long mpz_cdiv_q_ui (mpz_t, const mpz_t, unsigned long);
+static unsigned long mpz_fdiv_q_ui (mpz_t, const mpz_t, unsigned long);
+static unsigned long mpz_tdiv_q_ui (mpz_t, const mpz_t, unsigned long);
+static unsigned long mpz_cdiv_r_ui (mpz_t, const mpz_t, unsigned long);
+static unsigned long mpz_fdiv_r_ui (mpz_t, const mpz_t, unsigned long);
+static unsigned long mpz_tdiv_r_ui (mpz_t, const mpz_t, unsigned long);
+static unsigned long mpz_cdiv_ui (const mpz_t, unsigned long);
+static unsigned long mpz_fdiv_ui (const mpz_t, unsigned long);
+static unsigned long mpz_tdiv_ui (const mpz_t, unsigned long);
+
+static unsigned long mpz_mod_ui (mpz_t, const mpz_t, unsigned long);
+
+static void mpz_divexact_ui (mpz_t, const mpz_t, unsigned long);
+
+static int mpz_divisible_ui_p (const mpz_t, unsigned long);
+
+static unsigned long mpz_gcd_ui (mpz_t, const mpz_t, unsigned long);
+static void mpz_gcd (mpz_t, const mpz_t, const mpz_t);
+static void mpz_gcdext (mpz_t, mpz_t, mpz_t, const mpz_t, const mpz_t);
+static void mpz_lcm_ui (mpz_t, const mpz_t, unsigned long);
+static void mpz_lcm (mpz_t, const mpz_t, const mpz_t);
+static int mpz_invert (mpz_t, const mpz_t, const mpz_t);
+
+static void mpz_sqrtrem (mpz_t, mpz_t, const mpz_t);
+static void mpz_sqrt (mpz_t, const mpz_t);
+static int mpz_perfect_square_p (const mpz_t);
+
+static void mpz_pow_ui (mpz_t, const mpz_t, unsigned long);
+static void mpz_ui_pow_ui (mpz_t, unsigned long, unsigned long);
+static void mpz_powm (mpz_t, const mpz_t, const mpz_t, const mpz_t);
+static void mpz_powm_ui (mpz_t, const mpz_t, unsigned long, const mpz_t);
+
+static void mpz_rootrem (mpz_t, mpz_t, const mpz_t, unsigned long);
+static int mpz_root (mpz_t, const mpz_t, unsigned long);
+
+static void mpz_fac_ui (mpz_t, unsigned long);
+static void mpz_bin_uiui (mpz_t, unsigned long, unsigned long);
+
+static int mpz_probab_prime_p (const mpz_t, int);
+
+static int mpz_tstbit (const mpz_t, mp_bitcnt_t);
+static void mpz_setbit (mpz_t, mp_bitcnt_t);
+static void mpz_clrbit (mpz_t, mp_bitcnt_t);
+static void mpz_combit (mpz_t, mp_bitcnt_t);
+
+static void mpz_com (mpz_t, const mpz_t);
+static void mpz_and (mpz_t, const mpz_t, const mpz_t);
+static void mpz_ior (mpz_t, const mpz_t, const mpz_t);
+static void mpz_xor (mpz_t, const mpz_t, const mpz_t);
+
+static mp_bitcnt_t mpz_popcount (const mpz_t);
+static mp_bitcnt_t mpz_hamdist (const mpz_t, const mpz_t);
+static mp_bitcnt_t mpz_scan0 (const mpz_t, mp_bitcnt_t);
+static mp_bitcnt_t mpz_scan1 (const mpz_t, mp_bitcnt_t);
+
+static int mpz_fits_slong_p (const mpz_t);
+static int mpz_fits_ulong_p (const mpz_t);
+static long int mpz_get_si (const mpz_t);
+static unsigned long int mpz_get_ui (const mpz_t);
+static double mpz_get_d (const mpz_t);
+static size_t mpz_size (const mpz_t);
+static mp_limb_t mpz_getlimbn (const mpz_t, mp_size_t);
+
+static void mpz_realloc2 (mpz_t, mp_bitcnt_t);
+static mp_srcptr mpz_limbs_read (mpz_srcptr);
+static mp_ptr mpz_limbs_modify (mpz_t, mp_size_t);
+static mp_ptr mpz_limbs_write (mpz_t, mp_size_t);
+static void mpz_limbs_finish (mpz_t, mp_size_t);
+static mpz_srcptr mpz_roinit_n (mpz_t, mp_srcptr, mp_size_t);
 
 #define MPZ_ROINIT_N(xp, xs) {{0, (xs),(xp) }}
 
-void mpz_set_si (mpz_t, signed long int);
-void mpz_set_ui (mpz_t, unsigned long int);
-void mpz_set (mpz_t, const mpz_t);
-void mpz_set_d (mpz_t, double);
+static void mpz_set_si (mpz_t, signed long int);
+static void mpz_set_ui (mpz_t, unsigned long int);
+static void mpz_set (mpz_t, const mpz_t);
+static void mpz_set_d (mpz_t, double);
 
-void mpz_init_set_si (mpz_t, signed long int);
-void mpz_init_set_ui (mpz_t, unsigned long int);
-void mpz_init_set (mpz_t, const mpz_t);
-void mpz_init_set_d (mpz_t, double);
+static void mpz_init_set_si (mpz_t, signed long int);
+static void mpz_init_set_ui (mpz_t, unsigned long int);
+static void mpz_init_set (mpz_t, const mpz_t);
+static void mpz_init_set_d (mpz_t, double);
 
-size_t mpz_sizeinbase (const mpz_t, int);
-char *mpz_get_str (char *, int, const mpz_t);
-int mpz_set_str (mpz_t, const char *, int);
-int mpz_init_set_str (mpz_t, const char *, int);
+static size_t mpz_sizeinbase (const mpz_t, int);
+static char *mpz_get_str (char *, int, const mpz_t);
+static int mpz_set_str (mpz_t, const char *, int);
+static int mpz_init_set_str (mpz_t, const char *, int);
 
 /* This long list taken from gmp.h. */
 /* For reference, "defined(EOF)" cannot be used here.  In g++ 2.95.4,
@@ -283,11 +283,11 @@ int mpz_init_set_str (mpz_t, const char *, int);
   || defined (_STDIO_H_INCLUDED)      /* QNX4 */		\
   || defined (_ISO_STDIO_ISO_H)       /* Sun C++ */		\
   || defined (__STDIO_LOADED)         /* VMS */
-size_t mpz_out_str (FILE *, int, const mpz_t);
+static size_t mpz_out_str (FILE *, int, const mpz_t);
 #endif
 
-void mpz_import (mpz_t, size_t, int, size_t, int, size_t, const void *);
-void *mpz_export (void *, size_t *, int, size_t, int, size_t, const mpz_t);
+static void mpz_import (mpz_t, size_t, int, size_t, int, size_t, const void *);
+static void *mpz_export (void *, size_t *, int, size_t, int, size_t, const mpz_t);
 
 #if defined (__cplusplus)
 }
-- 
GitLab