dataflow_annotations.cpp: assertion failed

[Matthias Brantner]

Compiling the following query and library module trigger an assertion:

Zorba error [zerr:ZXQP0002]: "varExpr->get_udf() == udfCaller->theFo->get_func()": assertion failed; raised at /home/mbrantner/zorba/sandbox/src/compiler/rewriter/tools/dataflow_annotations.cpp:841

response.xq

xquery version "3.0";

module namespace resp = "http://www.28msec.com/modules/response";

declare namespace ann = "http://www.zorba-xquery.com/annotations";

declare %fn:private variable $resp:serialization-params
  as element(serialization-parameters) := resp:serializer-defaults-xml();

declare function resp:serializer-defaults-xml()
as element(serialization-parameters)
{
  <serialization-parameters/>
};

declare %ann:sequential function resp:set-serialization-parameters(
  $params as element(serialization-parameters)
) as empty-sequence()
{
  $resp:serialization-params := $params;
};

declare %ann:sequential function resp:set-redirect(
  $url as xs:string)
  as empty-sequence()
{
  1
};

main.xq

import module namespace refl = "http://www.zorba-xquery.com/modules/reflection";
import module namespace res = "http://www.28msec.com/modules/response" at "response.xq";

declare namespace ann = "http://www.zorba-xquery.com/annotations";

declare %ann:sequential function local:save()
{
  variable $tmp := refl:eval-s("blub");
  res:set-redirect("/wiki");
};

local:save()

[Markos Zaharioudakis (markos-za)]

I hope the fix works for the larger Sausalito programs as well.