[Zorba-coders] [Bug 911585] Re: eval + staticcollectionmanager fails
** Changed in: zorba Status: Fix Committed = Fix Released -- You received this bug notification because you are a member of Zorba Coders, which is the registrant for Zorba. https://bugs.launchpad.net/bugs/911585 Title: eval + staticcollectionmanager fails Status in Zorba - The XQuery Processor: Fix Released Bug description: The 4th test in test/unit/staticcollectionmanager.cpp fails in two places. 1. src/compiler/rewriter/tools/dataflow_annotations.cpp:942: void zorba::SourceFinder::findNodeSourcesRec(zorba::expr*, std::vectorzorba::expr*, zorba::user_function*): Assertion `setExpr-get_expr_kind() == var_set_expr_kind' failed. 2. If this is fixed or the invoke query in static_context.cpp is compiled with O0, an exception is raised in #1 0xb70dd0b5 in zorba::dynamic_context::get_variable (this=0x82f2b18, varid=4, varname=..., loc=..., itemValue=..., seqValue=...) at /home/mbrantner/zorba/sandbox/src/context/dynamic_context.cpp:453 #2 0xb77aa44a in zorba::EvalIterator::setExternalVariables (this=0x82de178, ccb=0x82e5f18, outerSctx=0x82f8c50, evalSctx=0x82f0228, evalDctx=0x82f2b18) at /home/mbrantner/zorba/sandbox/src/runtime/eval/eval.cpp:325 Note that the latter only happens if the imported module contains two variable declarations. To manage notifications about this bug go to: https://bugs.launchpad.net/zorba/+bug/911585/+subscriptions -- Mailing list: https://launchpad.net/~zorba-coders Post to : zorba-coders@lists.launchpad.net Unsubscribe : https://launchpad.net/~zorba-coders More help : https://help.launchpad.net/ListHelp
[Zorba-coders] [Bug 867266] Re: Unexpected updating expression illegal here
** Changed in: zorba Status: Fix Committed = Fix Released -- You received this bug notification because you are a member of Zorba Coders, which is the registrant for Zorba. https://bugs.launchpad.net/bugs/867266 Title: Unexpected updating expression illegal here Status in Zorba - The XQuery Processor: Fix Released Bug description: This raises an error: 4,1: update static error [err:XUST0001]: updating expression illegal here; raised at /zorba/trunksrc/src/compiler/expression/fo_expr.cpp:222 variable $x:=a/; for $y in $x return replace value of node $x with x This doesn't: variable $x:=a/; for $y in $x return replace value of node $y with x To manage notifications about this bug go to: https://bugs.launchpad.net/zorba/+bug/867266/+subscriptions -- Mailing list: https://launchpad.net/~zorba-coders Post to : zorba-coders@lists.launchpad.net Unsubscribe : https://launchpad.net/~zorba-coders More help : https://help.launchpad.net/ListHelp
[Zorba-coders] [Bug 867247] Re: Internal fatal error on node insert
** Changed in: zorba Status: Fix Committed = Fix Released -- You received this bug notification because you are a member of Zorba Coders, which is the registrant for Zorba. https://bugs.launchpad.net/bugs/867247 Title: Internal fatal error on node insert Status in Zorba - The XQuery Processor: Fix Released Bug description: This query raises an internal fatal error: variable $y:=ac/a; ( insert node a as first into $y, insert node b before $y/node()[1] ); $y Zorba Internal Fatal Error in /zorba/trunksrc/src/store/naive/node_updates.cpp:943: theParent: condition failed To manage notifications about this bug go to: https://bugs.launchpad.net/zorba/+bug/867247/+subscriptions -- Mailing list: https://launchpad.net/~zorba-coders Post to : zorba-coders@lists.launchpad.net Unsubscribe : https://launchpad.net/~zorba-coders More help : https://help.launchpad.net/ListHelp
[Zorba-coders] [Bug 867183] Re: Adding a node to a collection causes out of bound in vector
** Changed in: zorba Status: Fix Committed = Fix Released -- You received this bug notification because you are a member of Zorba Coders, which is the registrant for Zorba. https://bugs.launchpad.net/bugs/867183 Title: Adding a node to a collection causes out of bound in vector Status in Zorba - The XQuery Processor: Fix Released Bug description: Adding a node in a collection after the last one causes out of bound error in simple_collection.cpp around line 211 in memmove: import module namespace ddl = http://www.zorba-xquery.com/modules/store/dynamic/collections/ddl;; import module namespace dml = http://www.zorba-xquery.com/modules/store/dynamic/collections/dml;; ddl:create-collection(xs:QName(ddl:test2),(center1/,center2/)); dml:insert-nodes-after(xs:QName(ddl:test2), dml:collection(xs:QName(ddl:test2))[2], (c1/,c2/)); To manage notifications about this bug go to: https://bugs.launchpad.net/zorba/+bug/867183/+subscriptions -- Mailing list: https://launchpad.net/~zorba-coders Post to : zorba-coders@lists.launchpad.net Unsubscribe : https://launchpad.net/~zorba-coders More help : https://help.launchpad.net/ListHelp
[Zorba-coders] [Bug 948259] Re: Store::getNodeReference() should take Item const*
** Changed in: zorba
Status: Fix Committed = Fix Released
--
You received this bug notification because you are a member of Zorba
Coders, which is the registrant for Zorba.
https://bugs.launchpad.net/bugs/948259
Title:
Store::getNodeReference() should take Item const*
Status in Zorba - The XQuery Processor:
Fix Released
Bug description:
In the Store class, there is the function that currently has the
signature:
virtual bool getNodeReference(Item_t result, Item* node) = 0;
Specifically, it takes an Item* (pointer to non-constant Item) because
it presumably mutates the Item object if it has to assign a node
reference.
However, the function signature should really be:
virtual bool getNodeReference(Item_t result, Item const* node) =
0;
that is, take an Item const* (pointer to constant Item). The operation
is logically const. An implementation may choose not to alter the
Item at all and instead store a mapping between Items and node
references elsewhere.
However, for an implementation that does store the node reference in
an Item itself, that doesn't change the fact that the operation is
still logically const. The node reference data member should be made
mutable.
Having the function take an Item* as it does now means that other
classes elsewhere that return an Item const* for which you want to
obtain its node reference must first const_cast the pointer which is
ugly.
For example, the FTToken class keeps an Item const* pointing to the
Item whence the token came. There is no reason FTToken itself needs
the Item to be non-const, hence it declares its data member as Item
const*. However, in code elsewhere, we want to obtain the node
reference for a token's Item like this:
if ( store::Item const *const token_item = token-item() ) {
store::Item *const temp = const_caststore::Item*( token_item );
if ( GENV_STORE.getNodeReference( item, temp ) ) {
// ...
}
}
The introduction of the const_cast and temp is ugly and shouldn't be
necessary. It would be even more ugly to change the FTToken class to
use an Item* because then everything that passes an Item* to FTToken
might have to be changed also, i.e., the non-const-ness would ripple
throughout the code.
Note that changing the function signature to the proposed one using
const is a backwards *compatible* change because increasing const-
ness is always so. (The reverse, however, i.e., making something that
is const into non-const, is a backwards incompatible change.)
To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/948259/+subscriptions
--
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help : https://help.launchpad.net/ListHelp
[Zorba-coders] [Bug 944002] Re: bug with eval, plan serializer, and no-copy rule
** Changed in: zorba Status: Fix Committed = Fix Released -- You received this bug notification because you are a member of Zorba Coders, which is the registrant for Zorba. https://bugs.launchpad.net/bugs/944002 Title: bug with eval, plan serializer, and no-copy rule Status in Zorba - The XQuery Processor: Fix Released Bug description: The bug is illustrated by test rbkt/Queries/zorba/eval/eval11.xq, when run with the plan serializer on. To manage notifications about this bug go to: https://bugs.launchpad.net/zorba/+bug/944002/+subscriptions -- Mailing list: https://launchpad.net/~zorba-coders Post to : zorba-coders@lists.launchpad.net Unsubscribe : https://launchpad.net/~zorba-coders More help : https://help.launchpad.net/ListHelp
[Zorba-coders] [Bug 928710] Re: Populating JSON array requires direct store manipulation
** Changed in: zorba Status: Fix Committed = Fix Released -- You received this bug notification because you are a member of Zorba Coders, which is the registrant for Zorba. https://bugs.launchpad.net/bugs/928710 Title: Populating JSON array requires direct store manipulation Status in Zorba - The XQuery Processor: Fix Released Bug description: New bug description: The only way to create a JSON array item with members is to first create the item, then populate it by manipulating the store using Store::populateJSONArray(). This seems like a bad API as only update primitives should be actually manipulating the store. (The way you create a JSON object with pairs is similar - you create the JSONObject item first, then copy pairs into it. This copy method also seems problematic as it can be done at any time, and really should only be used by update primitives.) Original bug description: If you are creating JSON items via the store API, the only way to add members to an array is to use the no-copy copy() trick, calling copy() on the member Item and passing a store::CopyMode with theDoCopy set to false. However, copy() is not implemented for Items of atomic types (at least integer and string), so there is no way at all to create a JSON array with strings or integers as members. This of course means there's no way to do it with the public C++ API either. To manage notifications about this bug go to: https://bugs.launchpad.net/zorba/+bug/928710/+subscriptions -- Mailing list: https://launchpad.net/~zorba-coders Post to : zorba-coders@lists.launchpad.net Unsubscribe : https://launchpad.net/~zorba-coders More help : https://help.launchpad.net/ListHelp
[Zorba-coders] [Bug 924595] Re: JSONiq: cannot create mixed JDM/XDM sequence
** Changed in: zorba
Status: Fix Committed = Fix Released
--
You received this bug notification because you are a member of Zorba
Coders, which is the registrant for Zorba.
https://bugs.launchpad.net/bugs/924595
Title:
JSONiq: cannot create mixed JDM/XDM sequence
Status in Zorba - The XQuery Processor:
Fix Released
Bug description:
zorba -q 'let $foo := ({foo:1},xml/) return 1'
results in
Zorba error [zerr:ZXQP0002]: false: assertion failed; raised at
/home/ceej/zo/src/src/types/typemanagerimpl.cpp:943
(This isn't an issue with serialization, as the query isn't attempting
to serialize a mixed sequence.)
Matthias sez:
The assertion is triggered because STRUCTURED_ITEM_KIND is not
handled in the switch in TypeManagerImpl::create_type. It's happening
in the rewriter, so executing the query with --optimization-level O0
should work.
And indeed, the above query works with O0.
To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/924595/+subscriptions
--
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help : https://help.launchpad.net/ListHelp
[Zorba-coders] [Bug 922432] Re: member accessor on object raises XPTY0004
** Changed in: zorba
Status: Fix Committed = Fix Released
--
You received this bug notification because you are a member of Zorba
Coders, which is the registrant for Zorba.
https://bugs.launchpad.net/bugs/922432
Title:
member accessor on object raises XPTY0004
Status in Zorba - The XQuery Processor:
Fix Released
Bug description:
The following query raises [err:XPTY0004]: ~NoTypePromotion_json
let $obj :=
{
glossary: {
title: example glossary,
GlossDiv: {
title: S,
GlossList: {
GlossEntry: {
ID: SGML,
SortAs: SGML,
GlossTerm: Standard Generalized Markup Language,
Acronym: SGML,
Abbrev: ISO 8879:1986,
GlossDef: {
para: A meta-markup language, used to create
markup languages such as DocBook.,
GlossSeeAlso: [GML, XML]
},
GlossSee: markup
}
}
}
}
}
return $obj(glossary)(title)
To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/922432/+subscriptions
--
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help : https://help.launchpad.net/ListHelp
[Zorba-coders] [Bug 919189] Re: ZorbaImpl::init might call GlobalEnvironment::init with a NULL store pointer
** Changed in: zorba Status: Fix Committed = Fix Released -- You received this bug notification because you are a member of Zorba Coders, which is the registrant for Zorba. https://bugs.launchpad.net/bugs/919189 Title: ZorbaImpl::init might call GlobalEnvironment::init with a NULL store pointer Status in Zorba - The XQuery Processor: Fix Released Bug description: At this location, in function ZorbaImpl::init(Store* store): http://bazaar.launchpad.net/~zorba- coders/zorba/trunk/view/head:/src/api/zorbaimpl.cpp#L93 The assertion assert(store == NULL || store2 == store); allows the variable store to be NULL (and there are places that do call this function indirectly with an explicit NULL store pointer, such as here: http://bazaar.launchpad.net/~zorba- coders/zorba/trunk/view/head:/modules/com/zorba-xquery/www/modules /http-client.xq.src/http_client.cpp#L68 ). However, this assertion is followed by GlobalEnvironment::init(store); that always fails upon a NULL pointer. To manage notifications about this bug go to: https://bugs.launchpad.net/zorba/+bug/919189/+subscriptions -- Mailing list: https://launchpad.net/~zorba-coders Post to : zorba-coders@lists.launchpad.net Unsubscribe : https://launchpad.net/~zorba-coders More help : https://help.launchpad.net/ListHelp
[Zorba-coders] [Bug 872288] Re: XPath expression has unexpected result
** Changed in: zorba
Status: Fix Committed = Fix Released
--
You received this bug notification because you are a member of Zorba
Coders, which is the registrant for Zorba.
https://bugs.launchpad.net/bugs/872288
Title:
XPath expression has unexpected result
Status in Zorba - The XQuery Processor:
Fix Released
Bug description:
Consider the following query
variable $x:=ya//y;
insert node b/ into $x/a;
rename node $x/a/b as a;
(
ev
{
$x
}
/ev,
first
{
$x//a
}
/first,
correct
{
$x//*
}
/correct
)
All nodes seem to have the isRecursive flag set to false , thus this
query returns:
ev
y
a
a/
/a
/y
/ev
first --only 1 a element since the first a is marked as nonRecursive
a
a/
/a
/first
correct --two a elements
a
a/
/a
a/
/correct
To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/872288/+subscriptions
--
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help : https://help.launchpad.net/ListHelp
[Zorba-coders] [Bug 909126] Re: Rewriter crashes with assertion failed
** Changed in: zorba
Status: Fix Committed = Fix Released
--
You received this bug notification because you are a member of Zorba
Coders, which is the registrant for Zorba.
https://bugs.launchpad.net/bugs/909126
Title:
Rewriter crashes with assertion failed
Status in Zorba - The XQuery Processor:
Fix Released
Bug description:
The following query causes an assertion failure in the rewriter at
optimization level O1 and O2. At O0 it works.
Zorba error [zerr:ZXQP0002]: varExpr-get_udf() ==
udfCaller-theFo-get_func(): assertion failed; raised at
/home/federico/zorba/repository/trunk/src/compiler/rewriter/tools/dataflow_annotations.cpp:818
declare function local:clone-node($source as node())
{
local:generate-map($source);
};
declare function local:generate-map($source as node()*)
{
variable $sources:=$source//node();
for $source at $i in $sources
return trace($source,source)
};
local:clone-node(a/)
To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/909126/+subscriptions
--
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help : https://help.launchpad.net/ListHelp
[Zorba-coders] [Bug 866932] Re: X strings remain in the string pool failing tests
** Changed in: zorba Status: Fix Committed = Fix Released -- You received this bug notification because you are a member of Zorba Coders, which is the registrant for Zorba. https://bugs.launchpad.net/bugs/866932 Title: X strings remain in the string pool failing tests Status in Zorba - The XQuery Processor: Fix Released Bug description: There have been a number of bug reports over the years where Zorba crashes on exit with a message like the following: i = 94 String http://www.zorba-xquery.com/options/versioning is still in the pool Zorba Internal Fatal Error in home/ceej/zo/src/src/store/naive/string_pool.cpp:42: count == 0: condition failed: 1 strings remain in the string pool As far as I know, we have never completely figured out what causes these errors nor how to correct them. Gabriel initially reported this bug 866932 listing several test cases which exhibited this symptom, but those were subsequently cleared up by some other change without fixing the underlying problem. I have just now found at least one reliable way to reproduce this result (see comment #3), so I have co-opted this bug report. To manage notifications about this bug go to: https://bugs.launchpad.net/zorba/+bug/866932/+subscriptions -- Mailing list: https://launchpad.net/~zorba-coders Post to : zorba-coders@lists.launchpad.net Unsubscribe : https://launchpad.net/~zorba-coders More help : https://help.launchpad.net/ListHelp
[Zorba-coders] [Bug 867246] Re: Assertion failed after node delete or replace node
** Changed in: zorba
Status: Fix Committed = Fix Released
--
You received this bug notification because you are a member of Zorba
Coders, which is the registrant for Zorba.
https://bugs.launchpad.net/bugs/867246
Title:
Assertion failed after node delete or replace node
Status in Zorba - The XQuery Processor:
Fix Released
Bug description:
The following query make Zorba crash:
zorba: /zorba/trunksrc/src/store/naive/node_items.cpp:162:
zorba::store::Item* zorba::simplestore::XmlTree::getType(const
zorba::simplestore::XmlNode*) const: Assertion `theTypesMap != __null' failed.
Aborted
import schema namespace s=http://www.zorba-xquery.org/schema; at
shiporder.xsd;
declare revalidation skip;
variable $x:=validate{
shiporders xmlns:xsi=http://www.w3.org/2001/XMLSchema-instance;
xmlns=http://www.zorba-xquery.org/schema;
shiporder orderid=889923
orderpersonJohn Smith/orderperson
shipto
nameOla Nordmann/name
addressLanggt 23/address
city4000 Stavanger/city
countryNorway/country
/shipto
item
titleEmpire Burlesque/title
noteSpecial Edition/note
quantity1/quantity
price10.90/price
/item
item
titleHide your heart/title
quantity1/quantity
price9.90/price
/item
/shiporder
/shiporders
};
variable $z:=$x/*;
delete node $x/*;
format-number($z,aa)
I think that the problem is that detach, when the node types are stored in
the XmlTree type map, do not copies the types of the detached nodes over to
their new tree.
To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/867246/+subscriptions
--
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help : https://help.launchpad.net/ListHelp
[Zorba-coders] [Bug 855314] Re: Assertion failed in typemanager with for and el constuctor
** Changed in: zorba
Status: Fix Committed = Fix Released
--
You received this bug notification because you are a member of Zorba
Coders, which is subscribed to the bug report.
https://bugs.launchpad.net/bugs/855314
Title:
Assertion failed in typemanager with for and el constuctor
Status in Zorba - The XQuery Processor:
Fix Released
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.
To manage notifications about this bug go to:
https://bugs.launchpad.net/zorba/+bug/855314/+subscriptions
--
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help : https://help.launchpad.net/ListHelp
[Zorba-coders] [Bug 867024] Re: XPST0003 XPST0081 need parameters
** Changed in: zorba Status: Fix Committed = Fix Released -- You received this bug notification because you are a member of Zorba Coders, which is the registrant for Zorba. https://bugs.launchpad.net/bugs/867024 Title: XPST0003 XPST0081 need parameters Status in Zorba - The XQuery Processor: Fix Released Bug description: In translator.cpp:7007-7009, the errors need parameters. It's not obvious to me how to obtain them. Please add them. To manage notifications about this bug go to: https://bugs.launchpad.net/zorba/+bug/867024/+subscriptions -- Mailing list: https://launchpad.net/~zorba-coders Post to : zorba-coders@lists.launchpad.net Unsubscribe : https://launchpad.net/~zorba-coders More help : https://help.launchpad.net/ListHelp
[Zorba-coders] [Bug 867262] Re: Ext func arg item seq can not be consumed 2 times
** Changed in: zorba Status: Fix Committed = Fix Released -- You received this bug notification because you are a member of Zorba Coders, which is the registrant for Zorba. https://bugs.launchpad.net/bugs/867262 Title: Ext func arg item seq can not be consumed 2 times Status in Zorba - The XQuery Processor: Fix Released Bug description: If one tried to consume an external function argument item sequence 2 times, the 2nd time no more item is returned: next returns false and the item is NULL. To reproduce, take any external module and in the evaluate implementation of a function do the following (make sure that the function receives a non non-empty sequence as the first parameter): Item item; Iterator_t iter = args[0]-getIterator(); iter-open(); iter-next(item); iter-close(); // item is valid here iter = args[0]-getIterator(); iter-open(); iter-next(item); iter-close(); // item is NULL here To manage notifications about this bug go to: https://bugs.launchpad.net/zorba/+bug/867262/+subscriptions -- Mailing list: https://launchpad.net/~zorba-coders Post to : zorba-coders@lists.launchpad.net Unsubscribe : https://launchpad.net/~zorba-coders More help : https://help.launchpad.net/ListHelp
[Zorba-coders] [Bug 867263] Re: Segfault with Delete and ReplaceContent
** Changed in: zorba Status: Fix Committed = Fix Released -- You received this bug notification because you are a member of Zorba Coders, which is the registrant for Zorba. https://bugs.launchpad.net/bugs/867263 Title: Segfault with Delete and ReplaceContent Status in Zorba - The XQuery Processor: Fix Released Bug description: This query causes a segfault: variable $test:=rootchildchildchild//child/root; ( replace value of node $test/child with x, delete node $test/child/childchild ) To manage notifications about this bug go to: https://bugs.launchpad.net/zorba/+bug/867263/+subscriptions -- Mailing list: https://launchpad.net/~zorba-coders Post to : zorba-coders@lists.launchpad.net Unsubscribe : https://launchpad.net/~zorba-coders More help : https://help.launchpad.net/ListHelp
Re: [Zorba-coders] [Merge] lp:~zorba-coders/zorba/serializer into lp:zorba
Review: Approve -- https://code.launchpad.net/~zorba-coders/zorba/serializer/+merge/99243 Your team Zorba Coders is subscribed to branch lp:zorba. -- Mailing list: https://launchpad.net/~zorba-coders Post to : zorba-coders@lists.launchpad.net Unsubscribe : https://launchpad.net/~zorba-coders More help : https://help.launchpad.net/ListHelp
[Zorba-coders] [Merge] lp:~zorba-coders/zorba/serializer into lp:zorba
Validation queue starting for merge proposal. Log at: http://zorbatest.lambda.nu:8080/remotequeue/serializer-2012-03-26T02-16-22.192Z/log.html -- https://code.launchpad.net/~zorba-coders/zorba/serializer/+merge/99243 Your team Zorba Coders is subscribed to branch lp:zorba. -- Mailing list: https://launchpad.net/~zorba-coders Post to : zorba-coders@lists.launchpad.net Unsubscribe : https://launchpad.net/~zorba-coders More help : https://help.launchpad.net/ListHelp
[Zorba-coders] [Merge] lp:~zorba-coders/zorba/markos-scratch into lp:zorba
Markos Zaharioudakis has proposed merging lp:~zorba-coders/zorba/markos-scratch
into lp:zorba.
Requested reviews:
Markos Zaharioudakis (markos-za)
For more details, see:
https://code.launchpad.net/~zorba-coders/zorba/markos-scratch/+merge/99248
fixed bug #872234
--
https://code.launchpad.net/~zorba-coders/zorba/markos-scratch/+merge/99248
Your team Zorba Coders is subscribed to branch lp:zorba.
=== modified file 'ChangeLog'
--- ChangeLog 2012-03-23 21:47:51 +
+++ ChangeLog 2012-03-26 02:39:19 +
@@ -2,6 +2,7 @@
version 2.5
* Fixed bug in window iterator
+ * Fixed bug #872234 (prevent a rewritting to take place in case of sequential expr)
version 2.2
=== modified file 'src/compiler/rewriter/rules/flwor_rules.cpp'
--- src/compiler/rewriter/rules/flwor_rules.cpp 2012-03-23 17:32:07 +
+++ src/compiler/rewriter/rules/flwor_rules.cpp 2012-03-26 02:39:19 +
@@ -894,6 +894,7 @@
if (ifReturnExpr != NULL
whereExpr == NULL
!condExpr-is_sequential()
+ !thenExpr-is_sequential()
(elseExpr-is_simple() || elseExpr-is_vacuous())
!elseExpr-isNonDiscardable()
TypeOps::is_empty(tm, *elseExpr-get_return_type()))
=== added file 'test/rbkt/ExpQueryResults/zorba/scripting/flwor15.xml.res'
--- test/rbkt/ExpQueryResults/zorba/scripting/flwor15.xml.res 1970-01-01 00:00:00 +
+++ test/rbkt/ExpQueryResults/zorba/scripting/flwor15.xml.res 2012-03-26 02:39:19 +
@@ -0,0 +1,1 @@
+0 1 2 3
=== added file 'test/rbkt/Queries/zorba/scripting/flwor15.xq'
--- test/rbkt/Queries/zorba/scripting/flwor15.xq 1970-01-01 00:00:00 +
+++ test/rbkt/Queries/zorba/scripting/flwor15.xq 2012-03-26 02:39:19 +
@@ -0,0 +1,34 @@
+
+
+import module namespace map = http://www.zorba-xquery.com/modules/store/data-structures/unordered-map;;
+
+declare namespace ann = http://www.zorba-xquery.com/annotations;;
+
+declare variable $local:processed-internal-links as xs:QName :=
+xs:QName(processed-internal-links);
+
+
+declare variable $result := ();
+
+
+declare %ann:sequential function local:f1($n as xs:string)
+{
+ map:insert($local:processed-internal-links, $n, $n);
+
+ $result := ($result, $n);
+
+ for $x in (1, 2, 3)
+ return
+if(fn:empty(map:get($local:processed-internal-links, $x))) then
+ local:f1($x)
+else
+ ()
+};
+
+
+map:create($local:processed-internal-links, xs:QName(xs:string));
+
+local:f1(0);
+
+$result
+
--
Mailing list: https://launchpad.net/~zorba-coders
Post to : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help : https://help.launchpad.net/ListHelp
Re: [Zorba-coders] [Merge] lp:~zorba-coders/zorba/markos-scratch into lp:zorba
Review: Approve -- https://code.launchpad.net/~zorba-coders/zorba/markos-scratch/+merge/99248 Your team Zorba Coders is subscribed to branch lp:zorba. -- Mailing list: https://launchpad.net/~zorba-coders Post to : zorba-coders@lists.launchpad.net Unsubscribe : https://launchpad.net/~zorba-coders More help : https://help.launchpad.net/ListHelp
Re: [Zorba-coders] [Merge] lp:~zorba-coders/zorba/serializer into lp:zorba
The attempt to merge lp:~zorba-coders/zorba/serializer into lp:zorba failed. Below is the output from the failed tests. CMake Error at /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake:274 (message): Validation queue job serializer-2012-03-26T02-16-22.192Z is finished. The final status was: 2 tests did not succeed - changes not commited. Error in read script: /home/ceej/zo/testing/zorbatest/tester/TarmacLander.cmake -- https://code.launchpad.net/~zorba-coders/zorba/serializer/+merge/99243 Your team Zorba Coders is subscribed to branch lp:zorba. -- Mailing list: https://launchpad.net/~zorba-coders Post to : zorba-coders@lists.launchpad.net Unsubscribe : https://launchpad.net/~zorba-coders More help : https://help.launchpad.net/ListHelp
[Zorba-coders] [Merge] lp:~zorba-coders/zorba/markos-scratch into lp:zorba
Validation queue starting for merge proposal. Log at: http://zorbatest.lambda.nu:8080/remotequeue/markos-scratch-2012-03-26T02-53-09.768Z/log.html -- https://code.launchpad.net/~zorba-coders/zorba/markos-scratch/+merge/99248 Your team Zorba Coders is subscribed to branch lp:zorba. -- Mailing list: https://launchpad.net/~zorba-coders Post to : zorba-coders@lists.launchpad.net Unsubscribe : https://launchpad.net/~zorba-coders More help : https://help.launchpad.net/ListHelp
[Zorba-coders] [Merge] lp:~zorba-coders/zorba/markos-scratch into lp:zorba
Validation queue job markos-scratch-2012-03-26T02-53-09.768Z is finished. The final status was: All tests succeeded! -- https://code.launchpad.net/~zorba-coders/zorba/markos-scratch/+merge/99248 Your team Zorba Coders is subscribed to branch lp:zorba. -- Mailing list: https://launchpad.net/~zorba-coders Post to : zorba-coders@lists.launchpad.net Unsubscribe : https://launchpad.net/~zorba-coders More help : https://help.launchpad.net/ListHelp
[Zorba-coders] [Merge] lp:~zorba-coders/zorba/markos-scratch into lp:zorba
The proposal to merge lp:~zorba-coders/zorba/markos-scratch into lp:zorba has been updated. Status: Approved = Merged For more details, see: https://code.launchpad.net/~zorba-coders/zorba/markos-scratch/+merge/99248 -- https://code.launchpad.net/~zorba-coders/zorba/markos-scratch/+merge/99248 Your team Zorba Coders is subscribed to branch lp:zorba. -- Mailing list: https://launchpad.net/~zorba-coders Post to : zorba-coders@lists.launchpad.net Unsubscribe : https://launchpad.net/~zorba-coders More help : https://help.launchpad.net/ListHelp
