Bug #3212: NullPointerException evaluating if (A = B to C) - Saxon - Saxonica Developer Community

Actions

Send by e-mail Copy link

Bug #3212

closed

NullPointerException evaluating if (A = B to C)

Added by Michael Kay over 7 years ago. Updated over 7 years ago.

Status:

Closed

Priority:

Normal

Assignee:

Michael Kay

Category:

XPath conformance

Sprint/Milestone:

Start date:

2017-04-28

Due date:

% Done:

100%

Estimated time:

Legacy ID:

Applies to branch:

9.7

Fix Committed on Branch:

9.7, trunk

Fixed in Maintenance Release:

9.7.0.19

Platforms:

Description

A stylesheet contains the logic

<xsl:variable name="range" select="f:eval(@a) to f:eval(@b)"/>
<xsl:if test="f:eval(X) = $range">...</xsl:if>

Saxon successfully identifies the opportunity to turn this into an IntegerRangeTest (A = B to C) which is evaluated essentially as (A>=B and A<=C).

However, it seems that the optimized code fails to take account of the fact that f:eval() is capable of returning an empty sequence, in which case the boolean expression should evaluate to false.

This code has been in the product for a long time!

Actions

Copy link

Updated by Michael Kay over 7 years ago

Reproduced by this simple test case (added to W3C as math-0107)

<xsl:stylesheet version="2.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
  xmlns:f="http://local.functions/" 
  xmlns:xs="http://www.w3.org/2001/XMLSchema"
  exclude-result-prefixes="#all">

  <!-- Simulate Saxon bug 3212 -->

  <xsl:function name="f:parseInt" as="xs:integer?">
    <xsl:param name="in" as="xs:string?"/>
    <xsl:sequence select="xs:integer($in)"/>
  </xsl:function>

  <xsl:template match="/">
    <out>
      <xsl:variable name="range" select="f:parseInt(()) to f:parseInt('123')"/>
      <xsl:if test="42 = $range">
        <matched/>
      </xsl:if>
    </out>
  </xsl:template>
</xsl:stylesheet>

Actions

Copy link