wrong const-folding

Bug #1067706 reported by Markos Zaharioudakis
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
Zorba
Fix Released
High
Markos Zaharioudakis

Bug Description

The following query raises an error due to erroneous const-folding:

declare variable $g := 1;

declare function local:boo()
{
  local:foo(0)
};

declare function local:foo($x) as xs:integer
{
  if ($x > 0)
  then
    local:boo()
  else
    $g
};

local:boo()

Changed in zorba:
status: New → Fix Committed
Chris Hillery (ceejatec)
Changed in zorba:
milestone: none → 2.8
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.