zorba-coders team mailing list archive

[Markos Zaharioudakis <909126@xxxxxxxxxxxxxxxxxx>]

** Changed in: zorba
       Status: Fix Committed => Fix Released

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

Title:
  Rewriter crashes with assertion failed

Status in Zorba - The XQuery Processor:
  Fix Released

Bug description:
  The following query causes an assertion failure in the rewriter at
  optimization level O1 and O2. At O0 it works.

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

  declare function local:clone-node($source as node())
  { 
    local:generate-map($source);    
  };

  declare function local:generate-map($source as node()*)
  { 
    variable $sources:=$source//node();
    
    for $source at $i in $sources
    return trace($source,"source")
    
  };

  local:clone-node(<a/>)

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