diff options
| author | enge <enge@211d60ee-9f03-0410-a15a-8952a2c7a4e4> | 2011-09-02 18:48:08 +0000 |
|---|---|---|
| committer | enge <enge@211d60ee-9f03-0410-a15a-8952a2c7a4e4> | 2011-09-02 18:48:08 +0000 |
| commit | 62e34d750708e9121ac790841cbd715630fb111f (patch) | |
| tree | 81d39cb1e719d853d981bcf0dbe0c0a5ac932d52 /tests/div.dat | |
| parent | 80d7ee0c37146ab7acfb22766d3d4770a76ced8c (diff) | |
| download | mpc-62e34d750708e9121ac790841cbd715630fb111f.tar.gz | |
div.c: fixed bad application of mpfr_can_round trick - do not put in the same
directed rounding mode twice
div.dat: added example exposing the bug
git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@1078 211d60ee-9f03-0410-a15a-8952a2c7a4e4
Diffstat (limited to 'tests/div.dat')
| -rw-r--r-- | tests/div.dat | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/div.dat b/tests/div.dat index 2459b59..8bbebf7 100644 --- a/tests/div.dat +++ b/tests/div.dat @@ -2440,6 +2440,9 @@ # overflow (reported by Emmanuel Thome) - + 250 -inf 250 +inf 250 1 250 0 250 -1e-164895850 250 -1e-164895850 N N +# bug found by tgeneric of ui_div ++ + 2 0b1.1@256 2 0b1.1@-2758 34 52349199244 2 0 2 0b1.1@-221 2 -0b1@-3234 U N + # cases that should yield 1, but cannot be handled due to intermediate # over- or underflows # current result: (@NaN@ 0) |