Bug #2812: Incorrect type analysis of non-executed xsl:for-each-group body - Saxon - Saxonica Developer Community

Actions

Send by e-mail Copy link

Bug #2812

closed

Incorrect type analysis of non-executed xsl:for-each-group body

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

Status:

Closed

Priority:

Normal

Assignee:

Michael Kay

Category:

Diagnostics

Sprint/Milestone:

Start date:

2016-06-24

Due date:

% Done:

100%

Estimated time:

Legacy ID:

Applies to branch:

9.6, 9.7, trunk

Fix Committed on Branch:

9.6, 9.7, trunk

Fixed in Maintenance Release:

9.7.0.7, 9.6.0.10

Platforms:

Description

See https://saxonica.plan.io/boards/3/topics/6458?pn=1

The static analysis determines that the value of the select expression is an empty sequence. It should then conclude that the body will never be executed, rather than concluding that it will be executed with no context item.

Actions

Copy link

Updated by Michael Kay over 8 years ago

Status changed from New to In Progress

ForEach.typeCheck() gets this right, with the code:

        ItemType selectType = getSelect().getItemType();
        if (selectType == ErrorType.getInstance()) {
            return Literal.makeEmptySequence();
        }

We should use the same code in ForEachGroup.typeCheck().

Actions

Copy link

Updated by Michael Kay over 8 years ago

Subject changed from Incorrect type analysis of non-executed loop to Incorrect type analysis of non-executed xsl:for-each-group body
Category set to Diagnostics
Status changed from In Progress to Resolved
Assignee set to Michael Kay
Applies to branch 9.6, 9.7, 9.8 added
Fix Committed on Branch 9.6, 9.7, 9.8 added