Zorba error [zerr:ZXQP0002]: "bound": assertion failed.

[David Graf]

Hello

I was able to reproduce an assertion during compilation by the usage of try-cache and eval (tested with zorba revision 10761 on Ubuntu 10.04 64Bit).

I don't know if Nicolae is the right assignee and if this bug needs to be fixed for Zorba 2.5. Please reassign and/or retag whoever is in charge.

Thank you!
David

Query:
xquery version "3.0";

import module namespace reflection = "http://www.zorba-xquery.com/modules/reflection";
import module namespace err = "http://www.w3.org/2005/xqt-errors";

for $x in (1,2,3)
let $code := "($x cast as xs:integer, 1, 2, 3)"
return
  try {
    reflection:eval($code)
  } catch err:FORG0001 {
    $err:code eq $err:FORG0001
  }

Error:
./bin/zorba -q test.xq -f
/home/dagraf/zorba/build/src/libzorba_simplestore.so.2.2.0(+0x9835c1) [0x7f9859fec5c1]
/home/dagraf/zorba/build/src/libzorba_simplestore.so.2.2.0(+0x98369e) [0x7f9859fec69e]
/home/dagraf/zorba/build/src/libzorba_simplestore.so.2.2.0(+0x75ceac) [0x7f9859dc5eac]
/home/dagraf/zorba/build/src/libzorba_simplestore.so.2.2.0(+0x73f62f) [0x7f9859da862f]
/home/dagraf/zorba/build/src/libzorba_simplestore.so.2.2.0(+0x73edef) [0x7f9859da7def]
/home/dagraf/zorba/build/src/libzorba_simplestore.so.2.2.0(+0x7e938f) [0x7f9859e5238f]
/home/dagraf/zorba/build/src/libzorba_simplestore.so.2.2.0(+0x7b4543) [0x7f9859e1d543]
/home/dagraf/zorba/build/src/libzorba_simplestore.so.2.2.0(+0x7c0a3f) [0x7f9859e29a3f]
/home/dagraf/zorba/build/src/libzorba_simplestore.so.2.2.0(+0x7b4543) [0x7f9859e1d543]
/home/dagraf/zorba/build/src/libzorba_simplestore.so.2.2.0(+0x802b1f) [0x7f9859e6bb1f]
/home/dagraf/zorba/build/src/libzorba_simplestore.so.2.2.0(+0x7b4543) [0x7f9859e1d543]
/home/dagraf/zorba/build/src/libzorba_simplestore.so.2.2.0(+0x802b1f) [0x7f9859e6bb1f]
/home/dagraf/zorba/build/src/libzorba_simplestore.so.2.2.0(+0x740526) [0x7f9859da9526]
/home/dagraf/zorba/build/src/libzorba_simplestore.so.2.2.0(+0x7ef9f8) [0x7f9859e589f8]
/home/dagraf/zorba/build/src/libzorba_simplestore.so.2.2.0(+0x7b4543) [0x7f9859e1d543]
/home/dagraf/zorba/build/src/libzorba_simplestore.so.2.2.0(+0x8057e1) [0x7f9859e6e7e1]
/home/dagraf/zorba/build/src/libzorba_simplestore.so.2.2.0(+0x73666d) [0x7f9859d9f66d]
/home/dagraf/zorba/build/src/libzorba_simplestore.so.2.2.0(+0x87d53a) [0x7f9859ee653a]
/home/dagraf/zorba/build/src/libzorba_simplestore.so.2.2.0(+0x87d1d0) [0x7f9859ee61d0]
/home/dagraf/zorba/build/src/libzorba_simplestore.so.2.2.0(+0x570b8c) [0x7f9859bd9b8c]
/home/dagraf/zorba/build/src/libzorba_simplestore.so.2.2.0(+0x57062e) [0x7f9859bd962e]
./bin/zorba() [0x411a69]
./bin/zorba() [0x41328a]
/lib/libc.so.6(__libc_start_main+0xfd) [0x7f98565e5c4d]
./bin/zorba() [0x40f849]
Zorba error [zerr:ZXQP0002]: "bound": assertion failed.; raised at /home/dagraf/zorba/sandbox/src/compiler/codegen/plan_visitor.cpp:702

[Markos Zaharioudakis (markos-za)]

Nicolae, Dana asked me to look at this bug, because it is urgent for 2.5.