Saxon

I have run a transformation over the attached sample files with trace information:

As you can see in the log, the location information starting with variable *v* is wrong (for example variable *v* is located on line *4*):
<pre>
<trace saxon-version="9.5.0.1" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
 <source node="/" line="0" file="deb.xml">
  <xsl:template match="/" line="2" module="deb.xsl">
   <xsl:variable name="a" line="3" module="deb.xsl">
    <xsl:variable name="v" line="3" module="deb.xsl">
     <xsl:choose line="4" module="deb.xsl">

The problem appears to be related to variable a which is unused. Also, if you disable the optimizations the line information is correct:

java -cp saxon9ee.jar;saxon-license.lic net.sf.saxon.Transform -s:deb.xml -xsl:deb.xsl -T -opt:0

Correct output:

<trace saxon-version="9.5.0.1" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
 <source node="/" line="0" file="deb.xml">
  <xsl:template match="/" line="2" module="deb.xsl">
   <xsl:variable name="a" line="3" module="deb.xsl">
    <xsl:variable name="v" line="4" module="deb.xsl">
     <xsl:choose line="5" module="deb.xsl">