TODO: added a note about the change 4049 in div.c.

git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@4075 280ebfd0-de03-0410-8827-d642c229c3f4

1 files changed, 5 insertions, 0 deletions

diff --git a/TODO b/TODO
index 7a4e8e0d3..394483bfc 100644
--- a/TODO
+++ b/TODO
@@ -313,6 +313,11 @@ Miscellaneous:
     division by zero exception shall be signaled if the divisor is
     zero and the dividend is a finite nonzero number."
 
+- in div.c, try to find a case for which cy != 0 after the line
+        cy = mpn_sub_1 (sp + k, sp + k, qsize, cy);
+  (which should be added to the tests) or prove that this cannot
+  happen.
+
 ##############################################################################
 Portability:
 ##############################################################################