[xml] xmlreader problem with long comment at beginning of document

["Bidoul, Stephane" <Stephane Bidoul softwareag com>]

Hi,
 
I've discovered a strange problem with documents that have a long
comment at the beginning (such as the attached a.xml). A slightly
shorter header comment solves the problem (such as in the attached
b.xml).

The problem occurs only with --stream. I can reproduce with 2.6.26
(cygwin) and the latest subversion code (win32).

Should I submit this in bugzilla?

-sbi
 
~>xmllint --stream --noout --valid a.xml
a.xml:10: parser error : Extra content at the end of the document
<!DOCTYPE a [
            ^
a.xml : failed to parse
~>xmllint --stream --noout --valid b.xml
~>xmllint --noout --valid a.xml
~>xmllint --noout --valid b.xml

<!--
long comment long comment long comment long comment long comment long comment
long comment long comment long comment long comment long comment long comment
long comment long comment long comment long comment long comment long comment
long comment long comment long comment long comment long comment long comment
long comment long comment long comment long comment long comment long comment
long comment long comment long comment long comment long comment long comment
long comment long comment long comment long comment long comment long comment
-->
<!DOCTYPE a [ 
<!ELEMENT a EMPTY> 
]>
<a/>

<!--
long comment long comment long comment long comment long comment long comment
long comment long comment long comment long comment long comment long comment
long comment long comment long comment long comment long comment long comment
long comment long comment long comment long comment long comment long comment
long comment long comment long comment long comment long comment long comment
long comment long comment long comment long comment long comment long comment
-->
<!DOCTYPE a [ 
<!ELEMENT a EMPTY> 
]>
<a/>