[xslt] [vincent@vinc17.org: Bug#206549: xsltproc: Incorrect result due to computations in extended precision]

[Ardo van Rangelrooij <ardo debian org>]

Hi,

Also the bug report below has been filed against the Debian package of
libxslt.  Although the bug report is against 1.0.30, I ran the provided
sample code through 1.0.32 and the problem still exists.  And I also used
libxml2 2.5.10.

Is this also a bug and do I need to file it with bugzilla, or is this a
not-yet supported feature?

Thanks,
Ardo

----- Forwarded message from Vincent Lefevre <vincent@vinc17.org> -----

From: Vincent Lefevre <vincent@vinc17.org>
Subject: Bug#206549: xsltproc: Incorrect result due to computations in extended precision
To: Debian Bug Tracking System <submit@bugs.debian.org>
Date: Thu, 21 Aug 2003 14:58:30 +0200
User-Agent: Mutt/1.5.4i

Package: xsltproc
Version: 1.0.30-3
Severity: normal

Consider the following files:

---- test.xml ----------------------------------------------------
<?xml version="1.0" standalone="yes"?>
<root/>
------------------------------------------------------------------

---- test.xsl ----------------------------------------------------
<?xml version="1.0"?>

<xsl:stylesheet version="1.0"
  xmlns:xsl="http://www.w3.org/1999/XSL/Transform";>

<xsl:output method="text" indent="no"/>

<xsl:template match="/">
  <xsl:choose>
    <xsl:when test="9007199254740992 + 1.00001 = 9007199254740992">
      <xsl:text>equal</xsl:text>
    </xsl:when>
    <xsl:otherwise>
      <xsl:text>different</xsl:text>
    </xsl:otherwise>
  </xsl:choose>
  <xsl:text>&#10;</xsl:text>
</xsl:template>

</xsl:stylesheet>
------------------------------------------------------------------

On my machine, this gives:

$ xsltproc test.xsl test.xml
equal

But it seems that the XPath recommendation requires the computations
to be performed in double precision only; in this case, "different"
should have been output (i.e. when double rounding is avoided).

As another user gets "different" on an x86 machine, I'm filling the
bug now. This may be a Debian/unstable-only bug. You can have a look
at the thread:

  From: Vincent Lefevre <vincent+news@vinc17.org>
  Newsgroups: comp.text.xml
  Subject: XPath/XSLT and extended precision
  Date: Thu, 21 Aug 2003 09:55:53 +0000 (UTC)
  Message-ID: <20030821094525$508c@vinc17.org>

-- System Information:
Debian Release: testing/unstable
Architecture: i386
Kernel: Linux greux.loria.fr 2.4.20 #2 Mon Mar 31 18:37:25 CEST 2003 i686
Locale: LANG=C, LC_CTYPE=en_US.ISO8859-1

Versions of packages xsltproc depends on:
ii  libc6                         2.3.1-17   GNU C Library: Shared libraries an
ii  libxml2                       2.5.8-1    GNOME XML library
ii  libxslt1                      1.0.30-3   XSLT processing library - runtime 
ii  zlib1g                        1:1.1.4-14 compression library - runtime

-- no debconf information

----- End forwarded message -----

-- 
Ardo van Rangelrooij
home email: ardo@debian.org
home page:  http://people.debian.org/~ardo
GnuPG fp:   3B 1F 21 72 00 5C 3A 73  7F 72 DF D9 90 78 47 F9