From def726e7ea3e72d6ae2c30d1247db557d768cacd Mon Sep 17 00:00:00 2001 From: enge Date: Wed, 27 Jun 2012 18:25:50 +0000 Subject: log.dat, log.c: analyse infinite loop for test added in r1192 as a preliminary workaround, add assertion and disable test git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@1198 211d60ee-9f03-0410-a15a-8952a2c7a4e4 --- tests/div.dat | 2 +- tests/log.dat | 11 ++++++----- 2 files changed, 7 insertions(+), 6 deletions(-) (limited to 'tests') diff --git a/tests/div.dat b/tests/div.dat index 2cffc7e..dbdc2b1 100644 --- a/tests/div.dat +++ b/tests/div.dat @@ -1,6 +1,6 @@ # Data file for mpc_div. # -# Copyright (C) 2008, 2009, 2010, 2011 INRIA +# Copyright (C) 2008, 2009, 2010, 2011, 2012 INRIA # # This file is part of GNU MPC. # diff --git a/tests/log.dat b/tests/log.dat index 57e3b35..0f590d0 100644 --- a/tests/log.dat +++ b/tests/log.dat @@ -1,13 +1,13 @@ # Data test file for mpc_log. # -# Copyright (C) 2008, 2009, 2010 INRIA +# Copyright (C) 2008, 2009, 2010, 2012 INRIA # # This file is part of GNU MPC. # # GNU MPC is free software; you can redistribute it and/or modify it under # the terms of the GNU Lesser General Public License as published by the # Free Software Foundation; either version 3 of the License, or (at your -#o ption) any later version. +# option) any later version. # # GNU MPC is distributed in the hope that it will be useful, but WITHOUT ANY # WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS @@ -170,6 +170,7 @@ # instead of the correct result. Since this may happen in other parts of the # library as well, we do not consider it a bug for the moment. # + + 53 0x58B90BFD4BCBFp-22 2 0x1p0 2 0x1p536870912 2 0x1p536870912 U U - -# log(-1 + i*eps) : infinite loop ? -# 0 0 2 0 2 0b11 2 -1 2 0x1p-1073741813 N N +# Due to intermediate "underflow" (see FIXME in log.c), the following example +# loops. +# log(-1 + i*eps) +# - - 2 0 2 3 2 -1 2 0x1p-1073741813 N N -- cgit v1.2.1