diff options
| author | Paul Zimmermann <Paul.Zimmermann@inria.fr> | 2020-07-18 07:46:38 +0200 |
|---|---|---|
| committer | Paul Zimmermann <Paul.Zimmermann@inria.fr> | 2020-07-18 07:46:38 +0200 |
| commit | bb1ffeb129af9deef97949d077872769d78cb9ef (patch) | |
| tree | 2c3fdac2a9995dffeaebf6bd9b601471c3272552 /tests/tdot.c | |
| parent | 407aeb28dbf44e8eb31141fc2627939e6edddbe0 (diff) | |
| download | mpc-git-bb1ffeb129af9deef97949d077872769d78cb9ef.tar.gz | |
fixed bug reported by Trevor Spiteri
Diffstat (limited to 'tests/tdot.c')
| -rw-r--r-- | tests/tdot.c | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/tests/tdot.c b/tests/tdot.c index c6d1f39..ce31482 100644 --- a/tests/tdot.c +++ b/tests/tdot.c @@ -68,11 +68,27 @@ check_special (void) mpc_clear (res); } +/* bug reported by Trevor Spiteri */ +static void +bug20200717 (void) +{ + mpc_t a; + mpc_ptr p[1]; + mpc_init2 (a, 53); + mpc_set_ui_ui (a, 1, 2, MPC_RNDNN); + p[0] = a; + mpc_dot (a, p, p, 1, MPC_RNDNN); + MPC_ASSERT (mpfr_cmp_si (mpc_realref (a), -3) == 0); + MPC_ASSERT (mpfr_cmp_ui (mpc_imagref (a), 4) == 0); + mpc_clear (a); +} + int main (void) { test_start (); + bug20200717 (); check_special (); test_end (); |