3 u_int32_t isl_gmp_hash(mpz_t v, u_int32_t hash)
5 int sa = v[0]._mp_size;
6 int abs_sa = sa < 0 ? -sa : sa;
7 unsigned char *data = (unsigned char *)v[0]._mp_d;
8 unsigned char *end = data + abs_sa * sizeof(v[0]._mp_d[0]);
14 for (; data < end; ++data) {