Bug #2686: QT3 test case filter-limits-003 fails with bytecode feature - Saxon - Saxonica Developer Community

Actions

Send by e-mail Copy link

Bug #2686

closed

QT3 test case filter-limits-003 fails with bytecode feature

Added by O'Neil Delpratt about 8 years ago. Updated almost 8 years ago.

Status:

Closed

Priority:

Normal

Assignee:

Michael Kay

Category:

Byte code generation

Sprint/Milestone:

9.7.0.5

Start date:

2016-03-24

Due date:

% Done:

100%

Estimated time:

Legacy ID:

Applies to branch:

9.7

Fix Committed on Branch:

9.7

Fixed in Maintenance Release:

9.7.0.5

Platforms:

Description

The following test case filter-limits-003 fails when the bytecode feature switched on.

the expected results is achieved in the interpreted mode.

Test case:

<test-case name="filter-limits-002">
      <description>Test numeric predicates at integer limits</description>
      <created by="Christian Gruen" on="2016-02-04"/>
      <dependency type="spec" value="XQ10+"/>     
      <test>'a'[4294967296]</test>
      <result>
         <assert-empty/>
      </result>
   </test-case>

Test suite driver setup:

. catalog.xml -o:results/saxon -lang:XQ31 -bytecode:on -s:prod-Predicate -t:filter-limits-003

Actual result:

Assertion assert-empty ()  failed
*** TEST-FAILURE. Result:
a<=======

Actions

Copy link

Updated by Michael Kay about 8 years ago

Status changed from New to Resolved
Assignee set to Michael Kay
Fix Committed on Branch 9.7 added

I have fixed this particular case by checking the literal value of the filter expression at compile time (before bytecode generation). This won't fix the case where a large subscript value is computed dynamically, however, this is sufficient of an edge case that I don't feel compelled to investigate it until some user reports that they are affected by the problem.

Actions

Copy link