Bug #6249: Internal error reported: xsl:evaluate/@context-item expression is present, but evaluates to empty sequence - Saxon - Saxonica Developer Community

Actions

Send by e-mail Copy link

Bug #6249

closed

Internal error reported: xsl:evaluate/@context-item expression is present, but evaluates to empty sequence

Added by Michael Kay 6 months ago. Updated 5 months ago.

Status:

Closed

Priority:

Normal

Assignee:

Michael Kay

Category:

XSLT conformance

Sprint/Milestone:

Start date:

2023-11-10

Due date:

% Done:

100%

Estimated time:

Legacy ID:

Applies to branch:

12, trunk

Fix Committed on Branch:

12, trunk

Fixed in Maintenance Release:

12.4

Platforms:

.NET, Java

Description

Reported by email on support@s...

I am not able to pinpoint the cause of an error I am getting running a transform (Internal error evaluating template rule at line 320 in module file:/C:/temp/saxon/preprocess.xsl)

I've attached a zip file that contains the source file and the XSLT. The source file is 1138869155744808.xml and the main stylesheet is formulary_preprocess.xsl. When I run the transform in Oxygen I get the same error as when it runs in our application.

If I set a breakpoint at line 1639 in file 1138869155744808.xml, it will run to that point. From there I can click step-into until I get to line 60 in preprocess.xsl. I click two more times and I get the error message (Internal error evaluating template rule at line 45 in module file:/C:/temp/saxon/preprocess.xsl).

The English version of this document works just fine, so I am wondering if the error has something to do with the Chinese characters in this document.

Actions

Copy link

Updated by Michael Kay 6 months ago

Reproduced on 12.x development branch. Stack trace is:

error evaluating function fn:match at line 812 in module file:/Users/mike/bugs/2023/6249-Boughton/saxon/preprocess.xsl at net.sf.saxon.expr.instruct.UserFunction.call(UserFunction.java:714) at net.sf.saxon.expr.UserFunctionCall$UserFunctionCallElaborator.lambda$elaborateForPull$0(UserFunctionCall.java:746) at net.sf.saxon.expr.elab.PullElaborator.lambda$elaborateForBoolean$2(PullElaborator.java:65) at net.sf.saxon.functions.NotFn$NotFnElaborator.lambda$elaborateForBoolean$0(NotFn.java:129) at net.sf.saxon.expr.instruct.Choose$ChooseExprElaborator.lambda$elaborateForPush$10(Choose.java:1168) at net.sf.saxon.expr.instruct.Choose$ChooseExprElaborator.lambda$elaborateForPush$12(Choose.java:1179) at net.sf.saxon.expr.instruct.NamedTemplate.expand(NamedTemplate.java:247) at net.sf.saxon.expr.instruct.CallTemplate$CallTemplatePackage.processLeavingTail(CallTemplate.java:515) at net.sf.saxon.trans.Mode.applyTemplates(Mode.java:476) at net.sf.saxon.expr.instruct.ApplyTemplates$ApplyTemplatesElaborator.lambda$elaborateForPush$1(ApplyTemplates.java:650) at net.sf.saxon.expr.instruct.Block$BlockElaborator.lambda$elaborateForPush$4(Block.java:895) at net.sf.saxon.expr.instruct.Copy$CopyElaborator.lambda$elaborateForPush$0(Copy.java:589) at net.sf.saxon.expr.instruct.Block$BlockElaborator.lambda$elaborateForPush$1(Block.java:853) at net.sf.saxon.expr.instruct.TemplateRule.applyLeavingTail(TemplateRule.java:376) at net.sf.saxon.trans.Mode.handleRuleNotNull(Mode.java:587) at net.sf.saxon.trans.Mode.applyTemplates(Mode.java:521) at net.sf.saxon.expr.instruct.ApplyTemplates$ApplyTemplatesElaborator.lambda$elaborateForPush$1(ApplyTemplates.java:650) at net.sf.saxon.expr.instruct.Copy$CopyElaborator.lambda$elaborateForPush$0(Copy.java:589) at net.sf.saxon.expr.instruct.TemplateRule.applyLeavingTail(TemplateRule.java:376) at net.sf.saxon.trans.Mode.handleRuleNotNull(Mode.java:587) at net.sf.saxon.trans.Mode.applyTemplates(Mode.java:521) at net.sf.saxon.expr.instruct.ApplyTemplates$ApplyTemplatesPackage.processLeavingTail(ApplyTemplates.java:548) at net.sf.saxon.trans.Mode.applyTemplates(Mode.java:476) at net.sf.saxon.expr.instruct.ApplyTemplates$ApplyTemplatesPackage.processLeavingTail(ApplyTemplates.java:548) at net.sf.saxon.trans.Mode.applyTemplates(Mode.java:476) at net.sf.saxon.expr.instruct.ApplyTemplates$ApplyTemplatesPackage.processLeavingTail(ApplyTemplates.java:548) at net.sf.saxon.trans.Mode.applyTemplates(Mode.java:476) at net.sf.saxon.expr.instruct.ApplyTemplates$ApplyTemplatesElaborator.lambda$elaborateForPush$1(ApplyTemplates.java:650) at net.sf.saxon.expr.instruct.Choose$ChooseExprElaborator.lambda$elaborateForPush$11(Choose.java:1174) at net.sf.saxon.expr.instruct.Block$BlockElaborator.lambda$elaborateForPush$1(Block.java:853) at net.sf.saxon.expr.LetExpression$LetExprElaborator.lambda$elaborateForPush$6(LetExpression.java:942) at net.sf.saxon.expr.instruct.Block$BlockElaborator.lambda$elaborateForPush$4(Block.java:895) at net.sf.saxon.expr.instruct.FixedElement$FixedElementElaborator.lambda$elaborateForPush$0(FixedElement.java:640) at net.sf.saxon.expr.instruct.Choose$ChooseExprElaborator.lambda$elaborateForPush$11(Choose.java:1173) at net.sf.saxon.expr.instruct.Block$BlockElaborator.lambda$elaborateForPush$3(Block.java:885) at net.sf.saxon.expr.instruct.NamedTemplate.expand(NamedTemplate.java:247) at net.sf.saxon.expr.instruct.CallTemplate$CallTemplatePackage.processLeavingTail(CallTemplate.java:515) at net.sf.saxon.trans.Mode.applyTemplates(Mode.java:476) at net.sf.saxon.expr.instruct.ApplyTemplates$ApplyTemplatesPackage.processLeavingTail(ApplyTemplates.java:548) at net.sf.saxon.trans.Mode.applyTemplates(Mode.java:476) at net.sf.saxon.expr.instruct.ApplyTemplates$ApplyTemplatesPackage.processLeavingTail(ApplyTemplates.java:548) at net.sf.saxon.trans.Mode.applyTemplates(Mode.java:476) at net.sf.saxon.expr.instruct.ApplyTemplates$ApplyTemplatesPackage.processLeavingTail(ApplyTemplates.java:548) at net.sf.saxon.trans.Mode.applyTemplates(Mode.java:476) at net.sf.saxon.expr.instruct.ApplyTemplates$ApplyTemplatesElaborator.lambda$elaborateForPush$1(ApplyTemplates.java:650) at net.sf.saxon.expr.instruct.Block$BlockElaborator.lambda$elaborateForPush$3(Block.java:885) at net.sf.saxon.expr.instruct.Copy$CopyElaborator.lambda$elaborateForPush$0(Copy.java:589) at net.sf.saxon.expr.instruct.Choose$ChooseExprElaborator.lambda$elaborateForPush$11(Choose.java:1173) at net.sf.saxon.expr.instruct.TemplateRule.applyLeavingTail(TemplateRule.java:376) at net.sf.saxon.trans.Mode.handleRuleNotNull(Mode.java:587) at net.sf.saxon.trans.Mode.applyTemplates(Mode.java:521) at net.sf.saxon.expr.instruct.ApplyTemplates$ApplyTemplatesPackage.processLeavingTail(ApplyTemplates.java:548) at net.sf.saxon.trans.Mode.applyTemplates(Mode.java:476) at net.sf.saxon.trans.XsltController.applyTemplates(XsltController.java:688) at net.sf.saxon.s9api.AbstractXsltTransformer.applyTemplatesToSource(AbstractXsltTransformer.java:440) at net.sf.saxon.s9api.Xslt30Transformer.applyTemplates(Xslt30Transformer.java:306) at net.sf.saxon.Transform.processFile(Transform.java:1431) at net.sf.saxon.Transform.doTransform(Transform.java:917) at net.sf.saxon.Transform.main(Transform.java:83) Caused by: java.lang.RuntimeException: Internal error evaluating function fn:get at line 137 in module file:/Users/mike/bugs/2023/6249-Boughton/saxon/table-lookup.xsl at net.sf.saxon.expr.instruct.UserFunction.call(UserFunction.java:714) at net.sf.saxon.expr.UserFunctionCall$UserFunctionCallElaborator.lambda$elaborateForPull$1(UserFunctionCall.java:758) at net.sf.saxon.expr.Atomizer$AtomizerElaborator.lambda$elaborateForPull$0(Atomizer.java:677) at net.sf.saxon.expr.AtomicSequenceConverter$AtomicSequenceConverterElaborator.lambda$elaborateForPull$0(AtomicSequenceConverter.java:536) at net.sf.saxon.expr.elab.EagerPullEvaluator.evaluate(EagerPullEvaluator.java:37) at net.sf.saxon.expr.UserFunctionCall.evaluateArguments(UserFunctionCall.java:616) at net.sf.saxon.expr.UserFunctionCall$UserFunctionCallElaborator.lambda$elaborateForPull$1(UserFunctionCall.java:756) at net.sf.saxon.expr.UserFunctionCall.iterate(UserFunctionCall.java:547) at net.sf.saxon.expr.instruct.EvaluateInstr$EvaluateInstrElaborator.lambda$elaborateForPull$4(EvaluateInstr.java:690) at net.sf.saxon.expr.elab.EagerPullEvaluator.evaluate(EagerPullEvaluator.java:37) at net.sf.saxon.expr.TryCatch$TryCatchElaborator.lambda$elaborateForPull$2(TryCatch.java:403) at net.sf.saxon.expr.Atomizer$AtomizerElaborator.lambda$elaborateForPull$0(Atomizer.java:677) at net.sf.saxon.expr.UntypedSequenceConverter$UntypedSequenceConverterElaborator.lambda$elaborateForPull$0(UntypedSequenceConverter.java:304) at net.sf.saxon.expr.CardinalityChecker$CardinalityCheckerElaborator.lambda$elaborateForPull$0(CardinalityChecker.java:502) at net.sf.saxon.expr.ItemChecker$ItemCheckerElaborator.lambda$elaborateForPull$0(ItemChecker.java:445) at net.sf.saxon.expr.instruct.Block$BlockElaborator$BlockIterator.getNthChildIterator(Block.java:832) at net.sf.saxon.expr.instruct.AbstractBlockIterator.next(AbstractBlockIterator.java:66) at net.sf.saxon.expr.CardinalityCheckingIterator.(CardinalityCheckingIterator.java:55) at net.sf.saxon.expr.CardinalityChecker.checkCardinality(CardinalityChecker.java:257) at net.sf.saxon.expr.CardinalityChecker$CardinalityCheckerElaborator.lambda$elaborateForPull$0(CardinalityChecker.java:502) at net.sf.saxon.expr.elab.EagerPullEvaluator.evaluate(EagerPullEvaluator.java:37) at net.sf.saxon.expr.instruct.Choose$EagerChooseEvaluator.evaluate(Choose.java:1248) at net.sf.saxon.expr.LetExpression$EagerLocalVariableEvaluator.evaluate(LetExpression.java:1004) at net.sf.saxon.expr.instruct.UserFunction.call(UserFunction.java:704) ... 58 more Caused by: java.lang.NullPointerException at net.sf.saxon.expr.AxisExpression$AxisExpressionElaborator.lambda$elaborateForPull$1(AxisExpression.java:1278) at net.sf.saxon.expr.FilterExpression$FilterExprElaborator.lambda$elaborateForPull$0(FilterExpression.java:1277) at net.sf.saxon.expr.SlashExpression$SlashExprElaborator.lambda$elaborateForPull$1(SlashExpression.java:1118) at net.sf.saxon.functions.Exists$ExistsFnElaborator.lambda$elaborateForBoolean$0(Exists.java:110) at net.sf.saxon.expr.elab.BooleanElaborator.lambda$elaborateForPull$0(BooleanElaborator.java:25) at net.sf.saxon.expr.FunctionCall.iterate(FunctionCall.java:624) at net.sf.saxon.expr.instruct.EvaluateInstr$EvaluateInstrElaborator.lambda$elaborateForPull$4(EvaluateInstr.java:690) at net.sf.saxon.expr.elab.EagerPullEvaluator.evaluate(EagerPullEvaluator.java:37) at net.sf.saxon.expr.TryCatch$TryCatchElaborator.lambda$elaborateForPull$2(TryCatch.java:403) at net.sf.saxon.expr.Atomizer$AtomizerElaborator.lambda$elaborateForPull$0(Atomizer.java:677) at net.sf.saxon.expr.UntypedSequenceConverter$UntypedSequenceConverterElaborator.lambda$elaborateForPull$0(UntypedSequenceConverter.java:304) at net.sf.saxon.expr.CardinalityChecker$CardinalityCheckerElaborator.lambda$elaborateForPull$0(CardinalityChecker.java:502) at net.sf.saxon.expr.ItemChecker$ItemCheckerElaborator.lambda$elaborateForPull$0(ItemChecker.java:445) at net.sf.saxon.expr.elab.EagerPullEvaluator.evaluate(EagerPullEvaluator.java:37) at net.sf.saxon.expr.LetExpression$LetExprElaborator.lambda$setAllVariables$0(LetExpression.java:839) at net.sf.saxon.expr.LetExpression$LetExprElaborator.lambda$elaborateForPull$5(LetExpression.java:925) at net.sf.saxon.expr.instruct.Block$BlockElaborator$BlockIterator.getNthChildIterator(Block.java:832) at net.sf.saxon.expr.instruct.AbstractBlockIterator.next(AbstractBlockIterator.java:66) at net.sf.saxon.value.SequenceExtent.from(SequenceExtent.java:48) at net.sf.saxon.om.SequenceTool.toGroundedValue(SequenceTool.java:55) at net.sf.saxon.expr.elab.EagerPullEvaluator.evaluate(EagerPullEvaluator.java:37) at net.sf.saxon.expr.TailCallLoop.tailCallDifferentFunction(TailCallLoop.java:156) at net.sf.saxon.expr.TailCallLoop.access$200(TailCallLoop.java:28) at net.sf.saxon.expr.TailCallLoop$TailCallLoopElaborator.lambda$elaborateForPull$0(TailCallLoop.java:218) at net.sf.saxon.value.MemoClosure.makeSequence(MemoClosure.java:85) at net.sf.saxon.value.MemoClosure.iterate(MemoClosure.java:76) at net.sf.saxon.expr.UserFunctionCall$UserFunctionCallElaborator.lambda$elaborateForPull$0(UserFunctionCall.java:746) at net.sf.saxon.expr.AdjacentTextNodeMerger$AdjacentTextNodeMergerElaborator.lambda$elaborateForPull$0(AdjacentTextNodeMerger.java:273) at net.sf.saxon.expr.Atomizer$AtomizerElaborator.lambda$elaborateForPull$0(Atomizer.java:677) at net.sf.saxon.expr.AtomicSequenceConverter$AtomicSequenceConverterElaborator.lambda$elaborateForPull$0(AtomicSequenceConverter.java:536) at net.sf.saxon.expr.elab.LazyPullEvaluator.evaluate(LazyPullEvaluator.java:39) at net.sf.saxon.expr.SystemFunctionCall$SystemFunctionCallElaborator.lambda$elaborateForItem$6(SystemFunctionCall.java:663) at net.sf.saxon.expr.instruct.ValueOf$ValueOfElaborator.lambda$elaborateForItem$3(ValueOf.java:438) at net.sf.saxon.expr.elab.SimpleNodePushElaborator.lambda$elaborateForPull$0(SimpleNodePushElaborator.java:34) at net.sf.saxon.expr.instruct.Choose$ChooseExprElaborator.lambda$elaborateForPull$0(Choose.java:1071) at net.sf.saxon.expr.LetExpression$LetExprElaborator.lambda$elaborateForPull$5(LetExpression.java:927) at net.sf.saxon.value.SingletonClosure.asItem(SingletonClosure.java:104) at net.sf.saxon.value.SingletonClosure.iterate(SingletonClosure.java:64) at net.sf.saxon.expr.UserFunctionCall$UserFunctionCallElaborator.lambda$elaborateForPull$0(UserFunctionCall.java:746) at net.sf.saxon.expr.AdjacentTextNodeMerger$AdjacentTextNodeMergerElaborator.lambda$elaborateForPull$0(AdjacentTextNodeMerger.java:273) at net.sf.saxon.expr.Atomizer$AtomizerElaborator.lambda$elaborateForPull$0(Atomizer.java:677) at net.sf.saxon.expr.AtomicSequenceConverter$AtomicSequenceConverterElaborator.lambda$elaborateForPull$0(AtomicSequenceConverter.java:536) at net.sf.saxon.expr.elab.LazyPullEvaluator.evaluate(LazyPullEvaluator.java:39) at net.sf.saxon.expr.SystemFunctionCall$SystemFunctionCallElaborator.lambda$elaborateForItem$6(SystemFunctionCall.java:663) at net.sf.saxon.expr.instruct.ValueOf$ValueOfElaborator.lambda$elaborateForItem$3(ValueOf.java:438) at net.sf.saxon.expr.elab.OptionalItemEvaluator.evaluate(OptionalItemEvaluator.java:41) at net.sf.saxon.expr.instruct.Choose$EagerChooseEvaluator.evaluate(Choose.java:1248) at net.sf.saxon.expr.elab.LearningEvaluator.evaluate(LearningEvaluator.java:59) at net.sf.saxon.expr.instruct.UserFunction.call(UserFunction.java:704) ... 81 more java.lang.RuntimeException: Internal error evaluating template rule at line 407 in module file:/Users/mike/bugs/2023/6249-Boughton/saxon/preprocess.xsl at net.sf.saxon.expr.instruct.TemplateRule.applyLeavingTail(TemplateRule.java:386) at net.sf.saxon.trans.Mode.handleRuleNotNull(Mode.java:587) at net.sf.saxon.trans.Mode.applyTemplates(Mode.java:521) at net.sf.saxon.expr.instruct.ApplyTemplates$ApplyTemplatesElaborator.lambda$elaborateForPush$1(ApplyTemplates.java:650) at net.sf.saxon.expr.instruct.Copy$CopyElaborator.lambda$elaborateForPush$0(Copy.java:589) at net.sf.saxon.expr.instruct.TemplateRule.applyLeavingTail(TemplateRule.java:376) at net.sf.saxon.trans.Mode.handleRuleNotNull(Mode.java:587) at net.sf.saxon.trans.Mode.applyTemplates(Mode.java:521) at net.sf.saxon.expr.instruct.ApplyTemplates$ApplyTemplatesPackage.processLeavingTail(ApplyTemplates.java:548) at net.sf.saxon.trans.Mode.applyTemplates(Mode.java:476) at net.sf.saxon.expr.instruct.ApplyTemplates$ApplyTemplatesPackage.processLeavingTail(ApplyTemplates.java:548) at net.sf.saxon.trans.Mode.applyTemplates(Mode.java:476) at net.sf.saxon.expr.instruct.ApplyTemplates$ApplyTemplatesPackage.processLeavingTail(ApplyTemplates.java:548) at net.sf.saxon.trans.Mode.applyTemplates(Mode.java:476) at net.sf.saxon.expr.instruct.ApplyTemplates$ApplyTemplatesElaborator.lambda$elaborateForPush$1(ApplyTemplates.java:650) at net.sf.saxon.expr.instruct.Choose$ChooseExprElaborator.lambda$elaborateForPush$11(Choose.java:1174) at net.sf.saxon.expr.instruct.Block$BlockElaborator.lambda$elaborateForPush$1(Block.java:853) at net.sf.saxon.expr.LetExpression$LetExprElaborator.lambda$elaborateForPush$6(LetExpression.java:942) at net.sf.saxon.expr.instruct.Block$BlockElaborator.lambda$elaborateForPush$4(Block.java:895) at net.sf.saxon.expr.instruct.FixedElement$FixedElementElaborator.lambda$elaborateForPush$0(FixedElement.java:640) at net.sf.saxon.expr.instruct.Choose$ChooseExprElaborator.lambda$elaborateForPush$11(Choose.java:1173) at net.sf.saxon.expr.instruct.Block$BlockElaborator.lambda$elaborateForPush$3(Block.java:885) at net.sf.saxon.expr.instruct.NamedTemplate.expand(NamedTemplate.java:247) at net.sf.saxon.expr.instruct.CallTemplate$CallTemplatePackage.processLeavingTail(CallTemplate.java:515) at net.sf.saxon.trans.Mode.applyTemplates(Mode.java:476) at net.sf.saxon.expr.instruct.ApplyTemplates$ApplyTemplatesPackage.processLeavingTail(ApplyTemplates.java:548) at net.sf.saxon.trans.Mode.applyTemplates(Mode.java:476) at net.sf.saxon.expr.instruct.ApplyTemplates$ApplyTemplatesPackage.processLeavingTail(ApplyTemplates.java:548) at net.sf.saxon.trans.Mode.applyTemplates(Mode.java:476) at net.sf.saxon.expr.instruct.ApplyTemplates$ApplyTemplatesPackage.processLeavingTail(ApplyTemplates.java:548) at net.sf.saxon.trans.Mode.applyTemplates(Mode.java:476) at net.sf.saxon.expr.instruct.ApplyTemplates$ApplyTemplatesElaborator.lambda$elaborateForPush$1(ApplyTemplates.java:650) at net.sf.saxon.expr.instruct.Block$BlockElaborator.lambda$elaborateForPush$3(Block.java:885) at net.sf.saxon.expr.instruct.Copy$CopyElaborator.lambda$elaborateForPush$0(Copy.java:589) at net.sf.saxon.expr.instruct.Choose$ChooseExprElaborator.lambda$elaborateForPush$11(Choose.java:1173) at net.sf.saxon.expr.instruct.TemplateRule.applyLeavingTail(TemplateRule.java:376) at net.sf.saxon.trans.Mode.handleRuleNotNull(Mode.java:587) at net.sf.saxon.trans.Mode.applyTemplates(Mode.java:521) at net.sf.saxon.expr.instruct.ApplyTemplates$ApplyTemplatesPackage.processLeavingTail(ApplyTemplates.java:548) at net.sf.saxon.trans.Mode.applyTemplates(Mode.java:476) at net.sf.saxon.trans.XsltController.applyTemplates(XsltController.java:688) at net.sf.saxon.s9api.AbstractXsltTransformer.applyTemplatesToSource(AbstractXsltTransformer.java:440) at net.sf.saxon.s9api.Xslt30Transformer.applyTemplates(Xslt30Transformer.java:306) at net.sf.saxon.Transform.processFile(Transform.java:1431) at net.sf.saxon.Transform.doTransform(Transform.java:917) at net.sf.saxon.Transform.main(Transform.java:83) Caused by: java.lang.RuntimeException: Internal error evaluating function fn:match at line 812 in module file:/Users/mike/bugs/2023/6249-Boughton/saxon/preprocess.xsl at net.sf.saxon.expr.instruct.UserFunction.call(UserFunction.java:714) at net.sf.saxon.expr.UserFunctionCall$UserFunctionCallElaborator.lambda$elaborateForPull$0(UserFunctionCall.java:746) at net.sf.saxon.expr.elab.PullElaborator.lambda$elaborateForBoolean$2(PullElaborator.java:65) at net.sf.saxon.functions.NotFn$NotFnElaborator.lambda$elaborateForBoolean$0(NotFn.java:129) at net.sf.saxon.expr.instruct.Choose$ChooseExprElaborator.lambda$elaborateForPush$10(Choose.java:1168) at net.sf.saxon.expr.instruct.Choose$ChooseExprElaborator.lambda$elaborateForPush$12(Choose.java:1179) at net.sf.saxon.expr.instruct.NamedTemplate.expand(NamedTemplate.java:247) at net.sf.saxon.expr.instruct.CallTemplate$CallTemplatePackage.processLeavingTail(CallTemplate.java:515) at net.sf.saxon.trans.Mode.applyTemplates(Mode.java:476) at net.sf.saxon.expr.instruct.ApplyTemplates$ApplyTemplatesElaborator.lambda$elaborateForPush$1(ApplyTemplates.java:650) at net.sf.saxon.expr.instruct.Block$BlockElaborator.lambda$elaborateForPush$4(Block.java:895) at net.sf.saxon.expr.instruct.Copy$CopyElaborator.lambda$elaborateForPush$0(Copy.java:589) at net.sf.saxon.expr.instruct.Block$BlockElaborator.lambda$elaborateForPush$1(Block.java:853) at net.sf.saxon.expr.instruct.TemplateRule.applyLeavingTail(TemplateRule.java:376) ... 45 more Caused by: java.lang.RuntimeException: Internal error evaluating function fn:get at line 137 in module file:/Users/mike/bugs/2023/6249-Boughton/saxon/table-lookup.xsl at net.sf.saxon.expr.instruct.UserFunction.call(UserFunction.java:714) at net.sf.saxon.expr.UserFunctionCall$UserFunctionCallElaborator.lambda$elaborateForPull$1(UserFunctionCall.java:758) at net.sf.saxon.expr.Atomizer$AtomizerElaborator.lambda$elaborateForPull$0(Atomizer.java:677) at net.sf.saxon.expr.AtomicSequenceConverter$AtomicSequenceConverterElaborator.lambda$elaborateForPull$0(AtomicSequenceConverter.java:536) at net.sf.saxon.expr.elab.EagerPullEvaluator.evaluate(EagerPullEvaluator.java:37) at net.sf.saxon.expr.UserFunctionCall.evaluateArguments(UserFunctionCall.java:616) at net.sf.saxon.expr.UserFunctionCall$UserFunctionCallElaborator.lambda$elaborateForPull$1(UserFunctionCall.java:756) at net.sf.saxon.expr.UserFunctionCall.iterate(UserFunctionCall.java:547) at net.sf.saxon.expr.instruct.EvaluateInstr$EvaluateInstrElaborator.lambda$elaborateForPull$4(EvaluateInstr.java:690) at net.sf.saxon.expr.elab.EagerPullEvaluator.evaluate(EagerPullEvaluator.java:37) at net.sf.saxon.expr.TryCatch$TryCatchElaborator.lambda$elaborateForPull$2(TryCatch.java:403) at net.sf.saxon.expr.Atomizer$AtomizerElaborator.lambda$elaborateForPull$0(Atomizer.java:677) at net.sf.saxon.expr.UntypedSequenceConverter$UntypedSequenceConverterElaborator.lambda$elaborateForPull$0(UntypedSequenceConverter.java:304) at net.sf.saxon.expr.CardinalityChecker$CardinalityCheckerElaborator.lambda$elaborateForPull$0(CardinalityChecker.java:502) at net.sf.saxon.expr.ItemChecker$ItemCheckerElaborator.lambda$elaborateForPull$0(ItemChecker.java:445) at net.sf.saxon.expr.instruct.Block$BlockElaborator$BlockIterator.getNthChildIterator(Block.java:832) at net.sf.saxon.expr.instruct.AbstractBlockIterator.next(AbstractBlockIterator.java:66) at net.sf.saxon.expr.CardinalityCheckingIterator.(CardinalityCheckingIterator.java:55) at net.sf.saxon.expr.CardinalityChecker.checkCardinality(CardinalityChecker.java:257) at net.sf.saxon.expr.CardinalityChecker$CardinalityCheckerElaborator.lambda$elaborateForPull$0(CardinalityChecker.java:502) at net.sf.saxon.expr.elab.EagerPullEvaluator.evaluate(EagerPullEvaluator.java:37) at net.sf.saxon.expr.instruct.Choose$EagerChooseEvaluator.evaluate(Choose.java:1248) at net.sf.saxon.expr.LetExpression$EagerLocalVariableEvaluator.evaluate(LetExpression.java:1004) at net.sf.saxon.expr.instruct.UserFunction.call(UserFunction.java:704) ... 58 more Caused by: java.lang.NullPointerException at net.sf.saxon.expr.AxisExpression$AxisExpressionElaborator.lambda$elaborateForPull$1(AxisExpression.java:1278) at net.sf.saxon.expr.FilterExpression$FilterExprElaborator.lambda$elaborateForPull$0(FilterExpression.java:1277) at net.sf.saxon.expr.SlashExpression$SlashExprElaborator.lambda$elaborateForPull$1(SlashExpression.java:1118) at net.sf.saxon.functions.Exists$ExistsFnElaborator.lambda$elaborateForBoolean$0(Exists.java:110) at net.sf.saxon.expr.elab.BooleanElaborator.lambda$elaborateForPull$0(BooleanElaborator.java:25) at net.sf.saxon.expr.FunctionCall.iterate(FunctionCall.java:624) at net.sf.saxon.expr.instruct.EvaluateInstr$EvaluateInstrElaborator.lambda$elaborateForPull$4(EvaluateInstr.java:690) at net.sf.saxon.expr.elab.EagerPullEvaluator.evaluate(EagerPullEvaluator.java:37) at net.sf.saxon.expr.TryCatch$TryCatchElaborator.lambda$elaborateForPull$2(TryCatch.java:403) at net.sf.saxon.expr.Atomizer$AtomizerElaborator.lambda$elaborateForPull$0(Atomizer.java:677) at net.sf.saxon.expr.UntypedSequenceConverter$UntypedSequenceConverterElaborator.lambda$elaborateForPull$0(UntypedSequenceConverter.java:304) at net.sf.saxon.expr.CardinalityChecker$CardinalityCheckerElaborator.lambda$elaborateForPull$0(CardinalityChecker.java:502) at net.sf.saxon.expr.ItemChecker$ItemCheckerElaborator.lambda$elaborateForPull$0(ItemChecker.java:445) at net.sf.saxon.expr.elab.EagerPullEvaluator.evaluate(EagerPullEvaluator.java:37) at net.sf.saxon.expr.LetExpression$LetExprElaborator.lambda$setAllVariables$0(LetExpression.java:839) at net.sf.saxon.expr.LetExpression$LetExprElaborator.lambda$elaborateForPull$5(LetExpression.java:925) at net.sf.saxon.expr.instruct.Block$BlockElaborator$BlockIterator.getNthChildIterator(Block.java:832) at net.sf.saxon.expr.instruct.AbstractBlockIterator.next(AbstractBlockIterator.java:66) at net.sf.saxon.value.SequenceExtent.from(SequenceExtent.java:48) at net.sf.saxon.om.SequenceTool.toGroundedValue(SequenceTool.java:55) at net.sf.saxon.expr.elab.EagerPullEvaluator.evaluate(EagerPullEvaluator.java:37) at net.sf.saxon.expr.TailCallLoop.tailCallDifferentFunction(TailCallLoop.java:156) at net.sf.saxon.expr.TailCallLoop.access$200(TailCallLoop.java:28) at net.sf.saxon.expr.TailCallLoop$TailCallLoopElaborator.lambda$elaborateForPull$0(TailCallLoop.java:218) at net.sf.saxon.value.MemoClosure.makeSequence(MemoClosure.java:85) at net.sf.saxon.value.MemoClosure.iterate(MemoClosure.java:76) at net.sf.saxon.expr.UserFunctionCall$UserFunctionCallElaborator.lambda$elaborateForPull$0(UserFunctionCall.java:746) at net.sf.saxon.expr.AdjacentTextNodeMerger$AdjacentTextNodeMergerElaborator.lambda$elaborateForPull$0(AdjacentTextNodeMerger.java:273) at net.sf.saxon.expr.Atomizer$AtomizerElaborator.lambda$elaborateForPull$0(Atomizer.java:677) at net.sf.saxon.expr.AtomicSequenceConverter$AtomicSequenceConverterElaborator.lambda$elaborateForPull$0(AtomicSequenceConverter.java:536) at net.sf.saxon.expr.elab.LazyPullEvaluator.evaluate(LazyPullEvaluator.java:39) at net.sf.saxon.expr.SystemFunctionCall$SystemFunctionCallElaborator.lambda$elaborateForItem$6(SystemFunctionCall.java:663) at net.sf.saxon.expr.instruct.ValueOf$ValueOfElaborator.lambda$elaborateForItem$3(ValueOf.java:438) at net.sf.saxon.expr.elab.SimpleNodePushElaborator.lambda$elaborateForPull$0(SimpleNodePushElaborator.java:34) at net.sf.saxon.expr.instruct.Choose$ChooseExprElaborator.lambda$elaborateForPull$0(Choose.java:1071) at net.sf.saxon.expr.LetExpression$LetExprElaborator.lambda$elaborateForPull$5(LetExpression.java:927) at net.sf.saxon.value.SingletonClosure.asItem(SingletonClosure.java:104) at net.sf.saxon.value.SingletonClosure.iterate(SingletonClosure.java:64) at net.sf.saxon.expr.UserFunctionCall$UserFunctionCallElaborator.lambda$elaborateForPull$0(UserFunctionCall.java:746) at net.sf.saxon.expr.AdjacentTextNodeMerger$AdjacentTextNodeMergerElaborator.lambda$elaborateForPull$0(AdjacentTextNodeMerger.java:273) at net.sf.saxon.expr.Atomizer$AtomizerElaborator.lambda$elaborateForPull$0(Atomizer.java:677) at net.sf.saxon.expr.AtomicSequenceConverter$AtomicSequenceConverterElaborator.lambda$elaborateForPull$0(AtomicSequenceConverter.java:536) at net.sf.saxon.expr.elab.LazyPullEvaluator.evaluate(LazyPullEvaluator.java:39) at net.sf.saxon.expr.SystemFunctionCall$SystemFunctionCallElaborator.lambda$elaborateForItem$6(SystemFunctionCall.java:663) at net.sf.saxon.expr.instruct.ValueOf$ValueOfElaborator.lambda$elaborateForItem$3(ValueOf.java:438) at net.sf.saxon.expr.elab.OptionalItemEvaluator.evaluate(OptionalItemEvaluator.java:41) at net.sf.saxon.expr.instruct.Choose$EagerChooseEvaluator.evaluate(Choose.java:1248) at net.sf.saxon.expr.elab.LearningEvaluator.evaluate(LearningEvaluator.java:59) at net.sf.saxon.expr.instruct.UserFunction.call(UserFunction.java:704) ... 81 more java.lang.RuntimeException: Internal error evaluating template rule at line 59 in module file:/Users/mike/bugs/2023/6249-Boughton/saxon/preprocess.xsl at net.sf.saxon.expr.instruct.TemplateRule.applyLeavingTail(TemplateRule.java:386) at net.sf.saxon.trans.Mode.handleRuleNotNull(Mode.java:587) at net.sf.saxon.trans.Mode.applyTemplates(Mode.java:521) at net.sf.saxon.expr.instruct.ApplyTemplates$ApplyTemplatesPackage.processLeavingTail(ApplyTemplates.java:548) at net.sf.saxon.trans.Mode.applyTemplates(Mode.java:476) at net.sf.saxon.expr.instruct.ApplyTemplates$ApplyTemplatesPackage.processLeavingTail(ApplyTemplates.java:548) at net.sf.saxon.trans.Mode.applyTemplates(Mode.java:476) at net.sf.saxon.expr.instruct.ApplyTemplates$ApplyTemplatesPackage.processLeavingTail(ApplyTemplates.java:548) at net.sf.saxon.trans.Mode.applyTemplates(Mode.java:476) at net.sf.saxon.expr.instruct.ApplyTemplates$ApplyTemplatesElaborator.lambda$elaborateForPush$1(ApplyTemplates.java:650) at net.sf.saxon.expr.instruct.Choose$ChooseExprElaborator.lambda$elaborateForPush$11(Choose.java:1174) at net.sf.saxon.expr.instruct.Block$BlockElaborator.lambda$elaborateForPush$1(Block.java:853) at net.sf.saxon.expr.LetExpression$LetExprElaborator.lambda$elaborateForPush$6(LetExpression.java:942) at net.sf.saxon.expr.instruct.Block$BlockElaborator.lambda$elaborateForPush$4(Block.java:895) at net.sf.saxon.expr.instruct.FixedElement$FixedElementElaborator.lambda$elaborateForPush$0(FixedElement.java:640) at net.sf.saxon.expr.instruct.Choose$ChooseExprElaborator.lambda$elaborateForPush$11(Choose.java:1173) at net.sf.saxon.expr.instruct.Block$BlockElaborator.lambda$elaborateForPush$3(Block.java:885) at net.sf.saxon.expr.instruct.NamedTemplate.expand(NamedTemplate.java:247) at net.sf.saxon.expr.instruct.CallTemplate$CallTemplatePackage.processLeavingTail(CallTemplate.java:515) at net.sf.saxon.trans.Mode.applyTemplates(Mode.java:476) at net.sf.saxon.expr.instruct.ApplyTemplates$ApplyTemplatesPackage.processLeavingTail(ApplyTemplates.java:548) at net.sf.saxon.trans.Mode.applyTemplates(Mode.java:476) at net.sf.saxon.expr.instruct.ApplyTemplates$ApplyTemplatesPackage.processLeavingTail(ApplyTemplates.java:548) at net.sf.saxon.trans.Mode.applyTemplates(Mode.java:476) at net.sf.saxon.expr.instruct.ApplyTemplates$ApplyTemplatesPackage.processLeavingTail(ApplyTemplates.java:548) at net.sf.saxon.trans.Mode.applyTemplates(Mode.java:476) at net.sf.saxon.expr.instruct.ApplyTemplates$ApplyTemplatesElaborator.lambda$elaborateForPush$1(ApplyTemplates.java:650) at net.sf.saxon.expr.instruct.Block$BlockElaborator.lambda$elaborateForPush$3(Block.java:885) at net.sf.saxon.expr.instruct.Copy$CopyElaborator.lambda$elaborateForPush$0(Copy.java:589) at net.sf.saxon.expr.instruct.Choose$ChooseExprElaborator.lambda$elaborateForPush$11(Choose.java:1173) at net.sf.saxon.expr.instruct.TemplateRule.applyLeavingTail(TemplateRule.java:376) at net.sf.saxon.trans.Mode.handleRuleNotNull(Mode.java:587) at net.sf.saxon.trans.Mode.applyTemplates(Mode.java:521) at net.sf.saxon.expr.instruct.ApplyTemplates$ApplyTemplatesPackage.processLeavingTail(ApplyTemplates.java:548) at net.sf.saxon.trans.Mode.applyTemplates(Mode.java:476) at net.sf.saxon.trans.XsltController.applyTemplates(XsltController.java:688) at net.sf.saxon.s9api.AbstractXsltTransformer.applyTemplatesToSource(AbstractXsltTransformer.java:440) at net.sf.saxon.s9api.Xslt30Transformer.applyTemplates(Xslt30Transformer.java:306) at net.sf.saxon.Transform.processFile(Transform.java:1431) at net.sf.saxon.Transform.doTransform(Transform.java:917) at net.sf.saxon.Transform.main(Transform.java:83) Caused by: java.lang.RuntimeException: Internal error evaluating template rule at line 407 in module file:/Users/mike/bugs/2023/6249-Boughton/saxon/preprocess.xsl at net.sf.saxon.expr.instruct.TemplateRule.applyLeavingTail(TemplateRule.java:386) at net.sf.saxon.trans.Mode.handleRuleNotNull(Mode.java:587) at net.sf.saxon.trans.Mode.applyTemplates(Mode.java:521) at net.sf.saxon.expr.instruct.ApplyTemplates$ApplyTemplatesElaborator.lambda$elaborateForPush$1(ApplyTemplates.java:650) at net.sf.saxon.expr.instruct.Copy$CopyElaborator.lambda$elaborateForPush$0(Copy.java:589) at net.sf.saxon.expr.instruct.TemplateRule.applyLeavingTail(TemplateRule.java:376) ... 40 more Caused by: java.lang.RuntimeException: Internal error evaluating function fn:match at line 812 in module file:/Users/mike/bugs/2023/6249-Boughton/saxon/preprocess.xsl at net.sf.saxon.expr.instruct.UserFunction.call(UserFunction.java:714) at net.sf.saxon.expr.UserFunctionCall$UserFunctionCallElaborator.lambda$elaborateForPull$0(UserFunctionCall.java:746) at net.sf.saxon.expr.elab.PullElaborator.lambda$elaborateForBoolean$2(PullElaborator.java:65) at net.sf.saxon.functions.NotFn$NotFnElaborator.lambda$elaborateForBoolean$0(NotFn.java:129) at net.sf.saxon.expr.instruct.Choose$ChooseExprElaborator.lambda$elaborateForPush$10(Choose.java:1168) at net.sf.saxon.expr.instruct.Choose$ChooseExprElaborator.lambda$elaborateForPush$12(Choose.java:1179) at net.sf.saxon.expr.instruct.NamedTemplate.expand(NamedTemplate.java:247) at net.sf.saxon.expr.instruct.CallTemplate$CallTemplatePackage.processLeavingTail(CallTemplate.java:515) at net.sf.saxon.trans.Mode.applyTemplates(Mode.java:476) at net.sf.saxon.expr.instruct.ApplyTemplates$ApplyTemplatesElaborator.lambda$elaborateForPush$1(ApplyTemplates.java:650) at net.sf.saxon.expr.instruct.Block$BlockElaborator.lambda$elaborateForPush$4(Block.java:895) at net.sf.saxon.expr.instruct.Copy$CopyElaborator.lambda$elaborateForPush$0(Copy.java:589) at net.sf.saxon.expr.instruct.Block$BlockElaborator.lambda$elaborateForPush$1(Block.java:853) at net.sf.saxon.expr.instruct.TemplateRule.applyLeavingTail(TemplateRule.java:376) ... 45 more

Actions

Copy link

Updated by Michael Kay 6 months ago

The key part of this is:

	at net.sf.saxon.expr.AxisExpression$AxisExpressionElaborator.lambda$elaborateForPull$1(AxisExpression.java:1278)
	at net.sf.saxon.expr.FilterExpression$FilterExprElaborator.lambda$elaborateForPull$0(FilterExpression.java:1277)
	at net.sf.saxon.expr.SlashExpression$SlashExprElaborator.lambda$elaborateForPull$1(SlashExpression.java:1118)
	at net.sf.saxon.functions.Exists$ExistsFnElaborator.lambda$elaborateForBoolean$0(Exists.java:110)
	at net.sf.saxon.expr.elab.BooleanElaborator.lambda$elaborateForPull$0(BooleanElaborator.java:25)
	at net.sf.saxon.expr.FunctionCall.iterate(FunctionCall.java:624)
	at net.sf.saxon.expr.instruct.EvaluateInstr$EvaluateInstrElaborator.lambda$elaborateForPull$4(EvaluateInstr.java:690)
	at net.sf.saxon.expr.elab.EagerPullEvaluator.evaluate(EagerPullEvaluator.java:37)

which shows that (a) we're in an xsl:evaluate instruction, (b) there is no context item, (c) we made a decision, based on static inferencing, that we didn't need to check whether there was a context item.

Actions

Copy link

Updated by Michael Kay 6 months ago

The dynamic expression being evaluated is

exists(brand[@id='1055623MUCSMUB_0285']/legal_disclaimer)

so it does indeed have a dependency on the context item.

The call on xsl:evaluate is on line 228 of table-lookup.xsl, and reads:

<xsl:evaluate xpath="'exists(' || $query || ')'" context-item="$xml.data"/>

The variable $xml.data is defined as

	<xsl:variable name="xml.data"/>

which means it should be a zero-length string. Ah! there's an overriding variable of the same name in preprocess.xsl defined as

<xsl:variable name="xml.data" select="$doc/data"/>

and this (correctly, it seems) evaluates to an empty sequence.

The Saxon code at EvaluateInstr#623 seems to be assuming that if the @context-item attribute is present, then there will be a context item, and it is setting the context item static type accordingly. This results in the XPDY0002 error not being properly detected, and a NullPointerException being thrown instead.

Actions

Copy link

Updated by Michael Kay 6 months ago

Subject changed from Saxon reports internal error to Internal error reported: xsl:evaluate/@context-item expression is present, but evaluates to empty sequence
Category set to XSLT conformance
Priority changed from Low to Normal
Applies to branch 11, 12, trunk added
Platforms .NET, Java added

Actions

Copy link

Updated by Michael Kay 6 months ago

Status changed from New to In Progress

Resolved by changing the code in EvaluateInstr#624 so the context item static type has the "mayBeUndefined" flag set if the static type of the @context-item expression permits the value to be an empty sequence.

All that remains is to add a test case.

Actions

Copy link

Updated by Michael Kay 6 months ago

Applies to branch deleted (11)

Note that the relevant code was added to fix bug #5626, and that 12.x has therefore deviated from 11.x in this area. The failure does not occur in 11.6.

Actions

Copy link

Updated by Michael Kay 6 months ago

So why don't the existing tests evaluate-024 and evaluate-025 detect this bug? It seems that the difference is that in those cases, the @context-item expression is statically known to be an empty sequence, and this results in the evaluated expression failing statically rather than dynamically.

No, that's not enough.

It's also necessary that the expression being evaluated dynamically is complex enough to require a new XPathContext object to be created. That can be achieved by adding the predicate - a simple a/b/c path is not enough. I've now reproduced the failure in XSLT3 test case evaluate-025a.

Actions

Copy link