Project

Profile

Help

Bug #5338 ยป Re_ [SaxonJS - Bug #5338] XX Compiler reports _Unknown accumulator NNNNN_ when an accumulator-before or -after call occurs in a global variable - 2022-02-25T22_22_27Z.eml

John Lumley, 2022-02-25 23:22

 
X-He-Spam-Score: -1.8
Return-Path: <john@saxonica.com>
Delivered-To: dropbox@plan.io
Received: from m.launch.gmbh ([127.0.0.1])
by m.launch.gmbh with LMTP id 8GQ8AJFWGWISbAAAJzdhvw
for <dropbox@plan.io>; Fri, 25 Feb 2022 23:22:09 +0100
X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on m.launch.gmbh
X-Spam-Level:
X-Spam-Status: No, score=-1.8 required=5.0 tests=BAYES_00,DMARC_NONE,
RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,SPF_HELO_NONE,SPF_NONE,
SPF_NONE_IGNORE,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no
version=3.4.2
X-Spam-Report:
* -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at
* https://www.dnswl.org/, no trust
* [68.178.252.188 listed in list.dnswl.org]
* -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1%
* [score: 0.0000]
* -2.0 SPF_NONE_IGNORE m.launch.gmbh does not consider absent SPF
* records
* 2.0 SPF_NONE SPF record not found
* 0.1 DMARC_NONE DMARC record not found
* -0.0 RCVD_IN_MSPIKE_H2 RBL: Average reputation (+2)
* [68.178.252.188 listed in wl.mailspike.net]
* 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record
* -0.0 T_SCC_BODY_TEXT_LINE No description available.
X-Spam-Score: -1.8
Envelope-to: inbox+saxonica+f38e+saxon-js@plan.io
Authentication-Results: m.launch.gmbh; dmarc=none (p=none dis=none) header.from=saxonica.com
Authentication-Results: m.launch.gmbh; spf=none smtp.mailfrom=john@saxonica.com
Authentication-Results: m.launch.gmbh; dkim=none; dkim-atps=neutral
Received: from p3plwbeout24-04.prod.phx3.secureserver.net (p3plsmtp24-04-2.prod.phx3.secureserver.net [68.178.252.188])
(using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
(No client certificate requested)
by m.launch.gmbh (Postfix) with ESMTPS id 83845843ED
for <inbox+saxonica+f38e+saxon-js@plan.io>; Fri, 25 Feb 2022 23:22:08 +0100 (CET)
Received: from mailex.mailcore.me ([94.136.40.141])
by :WBEOUT: with ESMTP
id NiySnlCXFMMMQNiyTnohct; Fri, 25 Feb 2022 15:22:05 -0700
X-CMAE-Analysis: v=2.4 cv=OKbiYQWB c=1 sm=1 tr=0 ts=6219568d
a=bheWAUFm1xGnSTQFbH9Kqg==:117 a=y4qXYDzFA0B1yIq0kuFFAg==:17
a=qq5aBCZhl-YA:10 a=IkcTkHD0fZMA:10 a=oGFeUVbbRNcA:10
a=Wq2cTIo8Kv62N_fk2RAA:9 a=QEXdDO2ut3YA:10
X-SECURESERVER-ACCT: john@saxonica.com
X-SID: NiySnlCXFMMMQ
Received: from host86-155-127-193.range86-155.btcentralplus.com ([86.155.127.193] helo=smtpclient.apple)
by smtp05.mailcore.me with esmtpa (Exim 4.94.2)
(envelope-from <john@saxonica.com>)
id 1nNiyS-0000JH-02
for inbox+saxonica+f38e+saxon-js@plan.io; Fri, 25 Feb 2022 22:22:04 +0000
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
From: John Lumley <john@saxonica.com>
Mime-Version: 1.0 (1.0)
Subject: Re: [SaxonJS - Bug #5338] XX Compiler reports "Unknown accumulator NNNNN" when an accumulator-before or -after call occurs in a global variable
Date: Fri, 25 Feb 2022 22:22:02 +0000
Message-Id: <DE500E88-F07D-463D-B8D0-61CC599984D5@saxonica.com>
References: <redmine.journal-19674.20220225220338.68b7a5e15e582d41@plan.io>
In-Reply-To: <redmine.journal-19674.20220225220338.68b7a5e15e582d41@plan.io>
To: Saxonica Developer Community <inbox+saxonica+f38e+saxon-js@plan.io>
X-Mailer: iPad Mail (18H107)
X-Mailcore-Auth: 439400283
X-Mailcore-Domain: 1881035
X-123-reg-Authenticated: john@saxonica.com
X-Originating-IP: 86.155.127.193
X-CMAE-Envelope: MS4xfN673gUIHwhvDTEeHW6x6tEIJgT9TWmtRnarQhc/TzbnzgBBQSobDt+m4E+mcEqTlyMMqc5BqDKSO/xf5hosMksF1ZbnPIeYPQeURLco7FH7qYnChVeb
Agw0kdtiuYasao1EUmOybZaO8xkUMLwfMlCZXTbGzSuahL8UaHQd24jOZMHAyx+JQRFIiN2Q17pZoi9z/3jtsEIYPpsteDB0+aI=

When writing the code for the XX compiler, there are so many corner cases (m=
any thousands of them?) that might need to be satisfied that it=E2=80=99s pr=
etty much impossible to cover them all. In this case during the XPath compil=
ing of global variables, rather than other declarations, such as templates, I=
neglected to add the tunnelled variable defining in-scope accumulators, hen=
ce the error.

Unfortunately none of the then XSLT test suite cases covered reference to an=
accumulator in a global variable=E2=80=A6. hence the failure. These cases h=
appen, but as Michael says, some of them are very rarely used in practice=E2=
=80=A6 That=E2=80=99s why reporting these to the Saxonica forum is so helpfu=
l!


Sent from my iPad

> On 25 Feb 2022, at 22:03, Saxonica Developer Community <notifications@plan=
.io> wrote:
>=20
> Please keep reporting them! My commentary wasn't based on any thought no-o=
ne should be doing this, but more on thinking "why is it that no-one has fou=
nd this bug before? What are they doing that other people aren't doing?"
    (1-1/1)