num_ptr          1318 maint/gnulib/lib/vasnprintf.c           mp_limb_t *num_ptr;
num_ptr          1319 maint/gnulib/lib/vasnprintf.c           num_ptr = (mp_limb_t *) malloc ((m.nlimbs + s_limbs + 1)
num_ptr          1321 maint/gnulib/lib/vasnprintf.c           if (num_ptr == NULL)
num_ptr          1328 maint/gnulib/lib/vasnprintf.c             mp_limb_t *destptr = num_ptr;
num_ptr          1355 maint/gnulib/lib/vasnprintf.c             numerator.limbs = num_ptr;
num_ptr          1356 maint/gnulib/lib/vasnprintf.c             numerator.nlimbs = destptr - num_ptr;
num_ptr          1359 maint/gnulib/lib/vasnprintf.c           free (num_ptr);