Project

Profile

Help

Support #5173

Certain XQuery update operations seem to be failing with Saxon 10

Added by Radu Coravu 4 days ago. Updated 4 days ago.

Status:
New
Priority:
Low
Assignee:
-
Category:
-
Sprint/Milestone:
-
Start date:
2021-11-24
Due date:
% Done:

0%

Estimated time:
Legacy ID:
Applies to branch:
Fix Committed on Branch:
Fixed in Maintenance Release:
Platforms:

Description

We have an auto test which takes these operations: https://dev.w3.org/2007/xquery-update-10-test-suite/

and runs them with Saxon.

The following scripts:


xqTestSuite\Queries\XQuery\InsertExpressions\id-insert-expr-086.xq
xqTestSuite\Queries\XQuery\ReplaceExpressions\id-replace-expr-045.xq
xqTestSuite\Queries\XQuery\ReplaceExpressions\id-replace-expr-045-no-inherit.xq
xqTestSuite\Queries\XQuery\RenameExpressions\id-rename-expr-033.xq
xqTestSuite\Queries\XQuery\RenameExpressions\id-rename-expr-034.xq
xqTestSuite\Queries\XQuery\RenameExpressions\id-rename-expr-033-no-inherit.xq
xqTestSuite\Queries\XQuery\RenameExpressions\id-rename-expr-034-no-inherit.xq

when run over an empty XML document used to produce in the output file with Saxon 9 the string:

http://www.example.com/hisco

but now produce an empty string.

History

#1 Updated by Michael Kay 4 days ago

We do routinely run the XQuery Update tests, and they're all passing, so there must be some difference in the way that you run them from the way that we do. We'll need to find some way of reproducing the failure conditions.

#2 Updated by Michael Kay 4 days ago

I think I may have found the problem. The test is returning an empty sequence, which leads to the test driver not writing any result file, which means that the comparison is done with the saved results from a previous run, that is, the results from the last time the test succeeded writing an empty results file; we get an ArrayIndexOutOfBoundsException looking at the empty file to see if it starts with a BOM, and we ignore this exception taking us down the success path.

More recently we have integrated the XQuery Update tests into the main qt3 test suite, using assertions rather than file comparison to test the results. I'm not sure if the new version gets run on the Saxon 10 branch, I will need to check.

#3 Updated by Michael Kay 4 days ago

This is a duplicate of bug #4974, which I had previously decided not to fix on the 10.x branch. I'll reopen it and review that decision.

#4 Updated by Radu Coravu 4 days ago

Great thank you Michael. I will keep adding all my observations as support requests as I do not know exactly what is bug and what is intended change decision. This problem does not influence us much, it's just an observation based on that failed auto test.

Please register to edit this issue

Also available in: Atom PDF