Bugs item #2067585, was opened at 2008-08-22 16:20
Message generated for change (Comment added) made by tsheyar
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=482468&aid=2067585&group_id=56967
Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: PF/compiler
Group: Pathfinder 0.24
>Status: Closed
>Resolution: Fixed
Priority: 5
Private: No
Submitted By: Ying Zhang (yingying)
Assigned to: Jan Rittinger (tsheyar)
Summary: PF: path step on seq. with incorrect type triggers assertion
Initial Comment:
The following query triggers an assertion, instead of getting a compiler error:
$ cat st.xq
let $r :=
(for $p in doc("xmark1.xml")//person
let $ca := doc("xmark1.xml")//closed_auction[./seller/@person=$p/@id]
where not(empty($ca))
order by sum($ca/price)
return ($p, sum($ca/price)))
return ($r, $r/name)
$ mclient -lx st.xq
MAPI = [EMAIL PROTECTED]:50000
ACTION= read_line
QUERY = (: let $a1 := attribute {"attr1"} {"attr val1"}
ERROR = Connection terminated
$ monet_pf
# MonetDB Server v4.24.1
# based on GDK v1.24.1
# Copyright (c) 1993-2008, CWI. All rights reserved.
# Compiled for x86_64-unknown-linux-gnu/64bit with 64bit OIDs; dynamically
linked.
# Visit http://monetdb.cwi.nl/ for further information.
# PF/Tijah module v0.5.0 loaded. http://dbappl.cs.utwente.nl/pftijah
# MonetDB/XQuery module v0.24.1 loaded (default back-end is 'algebra')
# XRPC administrative console at http://127.0.0.1:50001/admin
[ "N.B.: xrpc_trusted and xrpc_admin has been deleted.\n" ]
MonetDB>Mserver:
/ufs/zhang/monet/stable/pathfinder/compiler/mil/milgen.brg:576: env_at:
Assertion `i < ((env)->appi)' failed.
Aborted
I think we shouldn't let a query with incorrect syntax to terminate Mserver.
Regards,
Jennie
----------------------------------------------------------------------
>Comment By: Jan Rittinger (tsheyar)
Date: 2008-09-05 16:19
Message:
Logged In: YES
user_id=993208
Originator: NO
For dynamic errors the MIL environment now does not become empty anymore
(as in Jennies example).
The solution is that we keep a dummy error column with no content until an
union operator is reached. (This works correctly as conditional errors only
appear in typeswitches or if-then-else expressions -- represented by union
operators in the algebra.)
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=482468&aid=2067585&group_id=56967
-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
_______________________________________________
Monetdb-bugs mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/monetdb-bugs
