zorba-coders team mailing list archive

[Federico Cavalieri <912722@xxxxxxxxxxxxxxxxxx>]

Public bug reported:

This query causes assertion failures:


import schema namespace d="http://www.zorba-xquery.org/schema"; at "upd14.xsd";
import module namespace schema = "http://www.zorba-xquery.com/modules/schema";;

declare revalidation lax;

declare variable $x:=validate lax {<root xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance";
    xmlns="http://www.zorba-xquery.org/schema";>
<a/>aa
</root>};
$x/text()


Schema

<?xml version="1.0" encoding="UTF-8"?>
<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema";
    targetNamespace="http://www.zorba-xquery.org/schema"; xmlns="http://www.zorba-xquery.org/schema";
    elementFormDefault="qualified">
    
    <xs:element name="root" type="xs:anySimpleType"/>
        
</xs:schema>

/home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0x9e8f99) [0x7f27fe08ff99]
/home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0x9e9066) [0x7f27fe090066]
/home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0x121d895) [0x7f27fe8c4895]
/home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0x1231eca) [0x7f27fe8d8eca]
/home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0x127ad92) [0x7f27fe921d92]
/home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0x114beec) [0x7f27fe7f2eec]
/home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0x114b393) [0x7f27fe7f2393]
/home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0x114ab7b) [0x7f27fe7f1b7b]
/home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0x114a1c7) [0x7f27fe7f11c7]
/home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0xe13c51) [0x7f27fe4bac51]
/home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0x813ba8) [0x7f27fdebaba8]
/home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0xed6539) [0x7f27fe57d539]
/home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0xfa7914) [0x7f27fe64e914]
/home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0xfb98a2) [0x7f27fe6608a2]
/home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0xed6539) [0x7f27fe57d539]
/home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0x10a689d) [0x7f27fe74d89d]
/home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0x10b627c) [0x7f27fe75d27c]
/home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0xed6539) [0x7f27fe57d539]
/home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0xed5f1a) [0x7f27fe57cf1a]
/home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0x669751) [0x7f27fdd10751]
/home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0x669455) [0x7f27fdd10455]
/home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0x60a83d) [0x7f27fdcb183d]
/home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0x609aaa) [0x7f27fdcb0aaa]
/home/federico/zorba/build/bugs2/bin/zorba() [0x41224c]
/home/federico/zorba/build/bugs2/bin/zorba() [0x4135bd]
</home/federico/zorba/repository/bugs2/test/rbkt/Queries/zorba/updates/upd14.xq>:6,22: Zorba error [zerr:ZXQP0002]: "false": assertion failed; raised at /home/federico/zorba/repository/bugs2/src/store/naive/node_items.cpp:3755 
---------------------------------
COMMAND LINE: /home/federico/zorba/build/bugs2/bin/zorba -f -q /home/federico/zorba/repository/bugs2/./test/rbkt/Queries/zorba/updates/upd14.xq
---------------------------------

** Affects: zorba
     Importance: High
     Assignee: Federico Cavalieri (fcavalieri)
         Status: New

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

Title:
  A validate lax {}-validated element may cause assertion failures

Status in Zorba - The XQuery Processor:
  New

Bug description:
  This query causes assertion failures:

  
  import schema namespace d="http://www.zorba-xquery.org/schema"; at "upd14.xsd";
  import module namespace schema = "http://www.zorba-xquery.com/modules/schema";;

  declare revalidation lax;

  declare variable $x:=validate lax {<root xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance";
      xmlns="http://www.zorba-xquery.org/schema";>
  <a/>aa
  </root>};
  $x/text()

  
  Schema

  <?xml version="1.0" encoding="UTF-8"?>
  <xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema";
      targetNamespace="http://www.zorba-xquery.org/schema"; xmlns="http://www.zorba-xquery.org/schema";
      elementFormDefault="qualified">
      
      <xs:element name="root" type="xs:anySimpleType"/>
          
  </xs:schema>

  /home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0x9e8f99) [0x7f27fe08ff99]
  /home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0x9e9066) [0x7f27fe090066]
  /home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0x121d895) [0x7f27fe8c4895]
  /home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0x1231eca) [0x7f27fe8d8eca]
  /home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0x127ad92) [0x7f27fe921d92]
  /home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0x114beec) [0x7f27fe7f2eec]
  /home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0x114b393) [0x7f27fe7f2393]
  /home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0x114ab7b) [0x7f27fe7f1b7b]
  /home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0x114a1c7) [0x7f27fe7f11c7]
  /home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0xe13c51) [0x7f27fe4bac51]
  /home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0x813ba8) [0x7f27fdebaba8]
  /home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0xed6539) [0x7f27fe57d539]
  /home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0xfa7914) [0x7f27fe64e914]
  /home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0xfb98a2) [0x7f27fe6608a2]
  /home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0xed6539) [0x7f27fe57d539]
  /home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0x10a689d) [0x7f27fe74d89d]
  /home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0x10b627c) [0x7f27fe75d27c]
  /home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0xed6539) [0x7f27fe57d539]
  /home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0xed5f1a) [0x7f27fe57cf1a]
  /home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0x669751) [0x7f27fdd10751]
  /home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0x669455) [0x7f27fdd10455]
  /home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0x60a83d) [0x7f27fdcb183d]
  /home/federico/zorba/build/bugs2/src/libzorba_simplestore.so.2.1.0(+0x609aaa) [0x7f27fdcb0aaa]
  /home/federico/zorba/build/bugs2/bin/zorba() [0x41224c]
  /home/federico/zorba/build/bugs2/bin/zorba() [0x4135bd]
  </home/federico/zorba/repository/bugs2/test/rbkt/Queries/zorba/updates/upd14.xq>:6,22: Zorba error [zerr:ZXQP0002]: "false": assertion failed; raised at /home/federico/zorba/repository/bugs2/src/store/naive/node_items.cpp:3755 
  ---------------------------------
  COMMAND LINE: /home/federico/zorba/build/bugs2/bin/zorba -f -q /home/federico/zorba/repository/bugs2/./test/rbkt/Queries/zorba/updates/upd14.xq
  ---------------------------------

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