zorba-coders team mailing list archive

[Matthias Brantner <980526@xxxxxxxxxxxxxxxxxx>]

Public bug reported:

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()

** Affects: zorba
     Importance: High
     Assignee: Markos Zaharioudakis (markos-za)
         Status: New

-- 
You received this bug notification because you are a member of Zorba
Coders, which is the registrant for Zorba.
https://bugs.launchpad.net/bugs/980526

Title:
  dataflow_annotations.cpp: assertion failed

Status in Zorba - The XQuery Processor:
  New

Bug description:
  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()

To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/980526/+subscriptions