Bug #3152: XQ: Collection filtering is wrong inside a loop if GENERATE_BYTE_CODE=off - Saxon - Saxonica Developer Community

Actions

Send by e-mail Copy link

Bug #3152

closed

XQ: Collection filtering is wrong inside a loop if GENERATE_BYTE_CODE=off

Added by Petr K about 7 years ago. Updated almost 7 years ago.

Status:

Closed

Priority:

Normal

Assignee:

Michael Kay

Category:

Internals

Sprint/Milestone:

Start date:

2017-03-02

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.18

Platforms:

Description

if GENERATE_BYTE_CODE=off

following xq loses all but one element - very basic functionality is compromised

let $collection := (,,)

let $ids := ('a','b')

return

{

for $id in $ids

return

	<x id='{$id}'>{ $collection[@attr=$id] }</x>

}

please fix it asap because Bug #3127 needs GENERATE_BYTE_CODE=off as workaround

Actions

Copy link

Updated by Michael Kay about 7 years ago

Category set to Internals
Status changed from New to In Progress
Assignee set to Michael Kay

Thanks. There's an optimisation not working correctly. The filter expression is implemented using indexing, specifically an IndexedFilterExpression. This is evaluated in push mode using the process() method, which is invoking evaluateItem() rather than iterate because getEvaluationMethod() returns EVALUATE_ITEM. This is incorrect, because evaluateItem only returns the first selected value - it is intended for use only when the static cardinality is limited to one.

Currently examining why getEvaluationMethod() is incorrect.

Actions

Copy link