segmentation fault when using fetch and parse in one flwor

[David Graf]

Zorba destroys input stream produced by fetch:content too early if optimization is on.

example query:

import module namespace fetch = "http://www.zorba-xquery.com/modules/fetch";
import module namespace parse-xml = "http://www.zorba-xquery.com/modules/xml";
import schema namespace opt = "http://www.zorba-xquery.com/modules/xml-options";

  let $xmlcontent := fetch:content("file.xml")
  let $contents := parse-xml:parse(
        $xmlcontent,
        <opt:options>
          <opt:parse-external-parsed-entity />
        </opt:options>)
  return $contents

file:xml:
any random xml file

executions:
$ ~/zorba/build/bin/zorba -q test.xq -f --optimization-level O0
<?xml version="1.0" encoding="UTF-8"?>
<a/>
$ ~/zorba/build/bin/zorba -q test.xq -f --optimization-level O1
<?xml version="1.0" encoding="UTF-8"?>
Segmentation fault (core dumped)

[Markos Zaharioudakis (markos-za)]

It works fine for me. Given that the bug was opened a year ago, it has probably been fixed already.

[Markos Zaharioudakis (markos-za)]

Valgrind does not report any errors either.