coredump

[张金政]

#include <stdio.h>
#include <gmp.h>

int main() {
    mpf_t f1, f2, f3;

    mpf_init(f1);
    mpf_init(f2);
    mpf_init(f3);

    mpf_set_str(f1,
"07ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff", 16);
    mpf_set_str(f2,
"0000000000000000000607652bed4d04ba12daa54acc4b7352c83c6154169852", 16);

    mpf_out_str(NULL, 16, 1, f2); // XXX: coredump

    __gmpf_div(f3, f1, f2);
    mpf_out_str(NULL, 10, 1, f3);

    mpf_clear(f1);
    mpf_clear(f2);
    mpf_clear(f3);
}