Bug #2812
closed
Incorrect type analysis of non-executed xsl:for-each-group body
Applies to branch:
9.6, 9.7, trunk
Fix Committed on Branch:
9.6, 9.7, trunk
Fixed in Maintenance Release:
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.
- 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().
- 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
Patch committed on the 9.6, 9.7, and 9.8 branches.
- % Done changed from 0 to 100
- Fixed in Maintenance Release 9.7.0.7 added
Bug fix applied in the Saxon 9.7.0.7 maintenance release.
- Status changed from Resolved to Closed
- Fixed in Maintenance Release 9.6.0.10 added
Bug fix applied on the Saxon 9.6.0.10 maintenance release.
- Applies to branch trunk added
- Applies to branch deleted (
9.8)
- Fix Committed on Branch trunk added
- Fix Committed on Branch deleted (
9.8)
Please register to edit this issue
Also available in: Atom
PDF
.