[XALANJ-2377] VerifyError loading translet compiled with XSLTC from stylesheet with very large template that uses local variable in a predicate, xsl:sort or xsl:number

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.7
• Fix Version/s: 2.7.1
• Component/s: XSLTC
• Xalan info: PatchAvailable
• Assignee: Henry Zongaro
• Reporter: Henry Zongaro
• Reviewer: Christine Li
• Created: 10/Apr/07 20:22
• Updated: 14/Dec/07 05:06
• Resolved: 13/Apr/07 18:51

Description

A VerifyError with a message similar to "Localvariable 5 contains the wrong type" might result if a stylesheet compiled by XSLTC contains a very large template, where the template contains a local variable that is referenced within a predicate or in one of expressions of an xsl:sort or xsl:number instruction. Here's the fragment that triggers the problem in a sample test case that I will attach:

<xsl:variable name="v" select="count(/doc/*)"/>
<xsl:if test="/doc/mid/mid/ch[$v+400 > .]">
<yes/>
</xsl:if>