Nondeterministic annotation doesn't seem to be checked

Bug #952829 reported by William Candillon
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
Zorba
Fix Released
High
Matthias Brantner

Bug Description

Nondeterministic annotation doesn't seem to be checked.
xqdoc:xqdoc() is documented as nondeterministic: http://www.zorba-xquery.com/html/modules/zorba/xqdoc/xqdoc
However the following query works fine:
http://www.zorba-xquery.com/html/demo#fH5/YOkiBfsXkzjq8DBGLBKhT5Y=

It seems that the excepted result should have been an error, it was certainly the case in previous zorba versions.

Related branches

Revision history for this message
William Candillon (wcandillon) wrote :

I assign it to you for dispatching.

Changed in zorba:
assignee: nobody → Matthias Brantner (matthias-brantner)
Revision history for this message
Matthias Brantner (matthias-brantner) wrote :

I verified the problem. It only appears in Release mode (not even in RelWithDebInfo)

Changed in zorba:
assignee: Matthias Brantner (matthias-brantner) → Markos Zaharioudakis (markos-za)
importance: Undecided → High
milestone: none → 2.2
Revision history for this message
Matthias Brantner (matthias-brantner) wrote :

The problem is related to the fact that internally the xqdoc:content function is not annotated as nondeterministic. This behavior is overwritten by the content of the .xq file in debug mode. However, in release mode this wasn't the case.

Changed in zorba:
assignee: Markos Zaharioudakis (markos-za) → Matthias Brantner (matthias-brantner)
Changed in zorba:
status: New → Fix Committed
Changed in zorba:
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.