Assertion failed in typemanager with for and el constuctor

Bug #855314 reported by Federico Cavalieri
258
This bug affects 1 person
Affects Status Importance Assigned to Milestone
Zorba
Fix Released
Medium
Markos Zaharioudakis

Bug Description

The following query:

declare function local:crash() as element()*
{
  for $id in (1,2)
  return element {"a:a"}{}
};
local:crash()

raises this error:

/zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x7c3fcb) [0x16c4fcb]
/zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x7c408e) [0x16c508e]
/zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0xe36379) [0x1d37379]
/zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x6232a0) [0x15242a0]
/zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x6215df) [0x15225df]
/zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x6afc6a) [0x15b0c6a]
/zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x6a34d7) [0x15a44d7]
/zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x6a356b) [0x15a456b]
/zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x6a356b) [0x15a456b]
/zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x69dbb9) [0x159ebb9]
/zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x69fdbd) [0x15a0dbd]
/zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x6d0d2f) [0x15d1d2f]
/zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x6d094f) [0x15d194f]
/zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x6d07a4) [0x15d17a4]
/zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x41cc47) [0x131dc47]
/zorba/trunkbuild/src/libzorba_simplestore.so.2.0.1(+0x41c839) [0x131d839]
/zorba/trunkbuild/bin/zorba() [0x8057c70]
/zorba/trunkbuild/bin/zorba() [0x80590ab]
/lib/i386-linux-gnu/libc.so.6(__libc_start_main+0xe7) [0xab5e37]
/zorba/trunkbuild/bin/zorba() [0x8056011]
Zorba error [zerr:ZXQP0002]: "false": assertion failed; raised at /zorba/trunksrc/src/types/typemanagerimpl.cpp:723

Apparently if an element constructor raises a "can not convert to expanded QName" error and the element constructor is rewritten, the element constructor is replaced by an item containing the error message. This sooner or later crashes zorba.

visibility: private → public
Changed in zorba:
importance: Undecided → High
Changed in zorba:
assignee: nobody → Markos Zaharioudakis (markos-za)
importance: High → Medium
Changed in zorba:
status: New → Fix Released
Changed in zorba:
status: Fix Released → New
Changed in zorba:
status: New → Fix Committed
Changed in zorba:
status: Fix Committed → Fix Released
Changed in zorba:
status: Fix Released → Fix Committed
milestone: none → 2.1
Changed in zorba:
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public Security information  
Everyone can see this security related information.

Other bug subscribers

Remote bug watches

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