Zorba

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

Bug #912722 reported by Federico Cavalieri
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
Zorba
Fix Released
High
Cezar Andrei

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
---------------------------------

Related branches

lp:~zorba-coders/zorba/bugs-912586-912593-912722
Markos Zaharioudakis: Approve
Cezar Andrei: Approve
Diff: 159 lines (+74/-2)
13 files modified
ChangeLog (+1/-0)
src/types/schema/SchemaValidatorFilter.cpp (+8/-2)
test/rbkt/Queries/zorba/schemas/extracontent.xsd (+9/-0)
test/rbkt/Queries/zorba/schemas/val-attInSimpleContent-err.spec (+1/-0)
test/rbkt/Queries/zorba/schemas/val-attInSimpleContent-err.xq (+9/-0)
test/rbkt/Queries/zorba/schemas/val-elmInSimpleContent-err2.spec (+1/-0)
test/rbkt/Queries/zorba/schemas/val-elmInSimpleContent-err2.xq (+10/-0)
test/rbkt/Queries/zorba/schemas/val-elmInSimpleContent-err3.spec (+1/-0)
test/rbkt/Queries/zorba/schemas/val-elmInSimpleContent-err3.xq (+10/-0)
test/rbkt/Queries/zorba/schemas/val-inplace-err3.spec (+1/-0)
test/rbkt/Queries/zorba/schemas/val-inplace-err3.xq (+11/-0)
test/rbkt/Queries/zorba/schemas/val-inplace-err4.spec (+1/-0)
test/rbkt/Queries/zorba/schemas/val-inplace-err4.xq (+11/-0)
Revision history for this message
Federico Cavalieri (fcavalieri) wrote :

Similar assertion failure

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/>
</root>};
$x/text()

Federico Cavalieri (fcavalieri)
Changed in zorba:
assignee: Federico Cavalieri (fcavalieri) → Cezar Andrei (cezar-andrei)
Cezar Andrei (cezar-andrei)
Changed in zorba:
status: New → Fix Committed
Dana Florescu (dflorescu)
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.
Subscribing...

Other bug subscribers

Remote bug watches

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