From unknown Tue Aug 19 10:04:12 2025 X-Loop: help-debbugs@gnu.org Subject: bug#13593: 24.2.91; wisent-production-bounds broken Resent-From: stephen_leake@stephe-leake.org Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Thu, 31 Jan 2013 08:37:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 13593 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: 13593@debbugs.gnu.org X-Debbugs-Original-To: bug-gnu-emacs@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.135962140629276 (code B ref -1); Thu, 31 Jan 2013 08:37:02 +0000 Received: (at submit) by debbugs.gnu.org; 31 Jan 2013 08:36:46 +0000 Received: from localhost ([127.0.0.1]:56811 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1U0pdV-0007c8-UF for submit@debbugs.gnu.org; Thu, 31 Jan 2013 03:36:46 -0500 Received: from eggs.gnu.org ([208.118.235.92]:51219) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1U0pdS-0007c0-Tg for submit@debbugs.gnu.org; Thu, 31 Jan 2013 03:36:44 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1U0pcl-0006lk-U4 for submit@debbugs.gnu.org; Thu, 31 Jan 2013 03:36:01 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-101.9 required=5.0 tests=BAYES_00, RCVD_IN_DNSWL_NONE, T_DKIM_INVALID,USER_IN_WHITELIST autolearn=unavailable version=3.3.2 Received: from lists.gnu.org ([208.118.235.17]:42176) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1U0pcl-0006lg-RC for submit@debbugs.gnu.org; Thu, 31 Jan 2013 03:35:59 -0500 Received: from eggs.gnu.org ([208.118.235.92]:34329) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1U0pck-0005uI-0K for bug-gnu-emacs@gnu.org; Thu, 31 Jan 2013 03:35:59 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1U0pch-0006l6-Gl for bug-gnu-emacs@gnu.org; Thu, 31 Jan 2013 03:35:57 -0500 Received: from qmta06.westchester.pa.mail.comcast.net ([76.96.62.56]:49498) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1U0pch-0006kc-8h for bug-gnu-emacs@gnu.org; Thu, 31 Jan 2013 03:35:55 -0500 Received: from omta06.westchester.pa.mail.comcast.net ([76.96.62.51]) by qmta06.westchester.pa.mail.comcast.net with comcast id uYb71k00116LCl056Ybrgy; Thu, 31 Jan 2013 08:35:51 +0000 Received: from TAKVER ([96.255.18.177]) by omta06.westchester.pa.mail.comcast.net with comcast id uYZX1k0093pDldc3SYZcgM; Thu, 31 Jan 2013 08:33:46 +0000 Date: Thu, 31 Jan 2013 03:33:30 -0500 Message-Id: <858v7969b9.fsf@stephe-leake.org> From: stephen_leake@stephe-leake.org DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=comcast.net; s=q20121106; t=1359621351; bh=zc03F67StbbrUGgpY6Jn2v+xI9F0kSAKmwSklVB8Zi0=; h=Received:Received:Date:Message-Id:From:To:Subject; b=RqHcjxYes36K46wI56QpPi27XMxANs3hQ1KrwL0KUOzb5YwtPHkTJiau4PDud1Rzh f70mmfghBjgkklHl1uFPsa56JYWk1sPDIe+dtP+K5x2FeILaiA4ski/tUhHMUGH6wB 53RRiJvi7o7hSvOBghRNvRu9LkOKVnswTtb2Sfzw9AzvK0eCo/HKPdt0NXkf/wEpgf oLaU97ZpcRynHpAGY6yJ/yT6wJJDlT94pmOvM/zC1RM0qLBCvmu9lnSGmjXk0++DVa X0MuHcp+SGR7MrtVpVB/J+DiOsFzneEAxkMtueFAmy9oRG9oDUOiXP41Z3Lz23hRdh viocWyA96D8Bw== X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 208.118.235.17 X-Spam-Score: -6.9 (------) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.13 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -6.9 (------) wisent-production-bounds (in lisp/semantic/wisent/wisent.el) computes the value for the $regioni variables in semantic actions when the region covers a non-terminal. It assumes regions are a simple cons (first . last), but the rest of the wisent parser represents regions as a nested list ((first last)). This code fixes that: (defsubst wisent-production-bounds (stack i j) "Determine the start and end locations of a production value. Return a pair (START . END), where START is the first available start location, and END the last available end location, in components values of the rule currently reduced. Return nil when no component location is available. STACK is the parser stack. I and J are the indices in STACK of respectively the value of the first and last components of the current rule. This function is for internal use by semantic actions' generated lambda-expression." (let ((f (caadr (aref stack i))) (l (cadadr (aref stack j)))) (while (/= i j) (cond ((not f) ;; item i is an empty production (setq f (caadr (aref stack (setq i (+ i 2)))))) ((not l) ;; item j is an empty production (setq l (cadadr (aref stack (setq j (- j 2)))))) ((setq i j)))) (and f l (list (list f l))))) In GNU Emacs 24.2.91.1 (i386-mingw-nt6.1.7601) of 2012-12-15 on MS-W7-DANI Bzr revision: 111040 cyd@gnu.org-20121215141602-c4qmr11gc39rrpng Windowing system distributor `Microsoft Corp.', version 6.1.7601 Configured using: `configure --with-gcc (4.7) --no-opt --enable-checking --cflags -Ic:/emacs/libs/libXpm-3.5.10/include -Ic:/emacs/libs/libXpm-3.5.10/src -Ic:/emacs/libs/libpng-1.2.37-lib/include -Ic:/emacs/libs/zlib-1.2.5 -Ic:/emacs/libs/giflib-4.1.4-1-lib/include -Ic:/emacs/libs/jpeg-6b-4-lib/include -Ic:/emacs/libs/tiff-3.8.2-1-lib/include -Ic:/emacs/libs/libxml2-2.7.8-w32-bin/include/libxml2 -Ic:/emacs/libs/gnutls-3.0.9-w32-bin/include -Ic:/emacs/libs/libiconv-1.9.2-1-lib/include' Important settings: value of $LANG: en_US.UTF-8 locale-coding-system: cp1252 default enable-multibyte-characters: t Major mode: Text Minor modes in effect: shell-dirtrack-mode: t diff-auto-refine-mode: t display-time-mode: t delete-selection-mode: t tooltip-mode: t mouse-wheel-mode: t menu-bar-mode: t file-name-shadow-mode: t global-font-lock-mode: t font-lock-mode: t auto-composition-mode: t auto-encryption-mode: t auto-compression-mode: t line-number-mode: t transient-mark-mode: t Recent input: c e d e t e c t SPC c a n SPC s u m b m i t SPC s o u r c e f o r g e SPC b u g s ! C-s c o m p c o m p i l e t i o n C-y C-h f w i s e n t - d e b u g - o n - e n t r y C-g ? M-w p r j o . h C a b i n SPC a f t e r c a r o l SPC f i r s t SPC w e e k SPC o f SPC a u g u s t J a n e t ? C-w C-w J i m SPC L a b o r SPC D a y ? SPC ( f i r s t SPC M o n d a y SPC i n SPC S e p t a e m b e r ) C-SPC C-SPC M-x M-w r e p o r Recent messages: Saving file c:/Projects/org.emacs.ada-mode.smie/notes.text... Wrote c:/Projects/org.emacs.ada-mode.smie/notes.text Mark set Auto-saving...done Auto-saving...done Mark set [2 times] Auto-saving...done Saving file c:/home/stephe/projects.text... Wrote c:/home/stephe/projects.text Making completion list... Load-path shadows: c:/Projects/org.emacs.ada-mode.smie/gpr-mode hides c:/Projects/emacs_stephe.work/emacs_stephe_site_lisp/gpr-mode c:/Projects/org.emacs.ada-mode.smie/ada-mode hides c:/Projects/emacs_stephe.work/emacs_stephe_site_lisp/ada-mode c:/Projects/emacs_stephe.work/emacs_stephe_site_lisp/vc-git hides c:/Apps/emacs-24.2.91/lisp/vc/vc-git c:/Projects/emacs_stephe.work/emacs_stephe_site_lisp/ada-xref hides c:/Apps/emacs-24.2.91/lisp/progmodes/ada-xref c:/Projects/emacs_stephe.work/emacs_stephe_site_lisp/ada-stmt hides c:/Apps/emacs-24.2.91/lisp/progmodes/ada-stmt c:/Projects/emacs_stephe.work/emacs_stephe_site_lisp/ada-prj hides c:/Apps/emacs-24.2.91/lisp/progmodes/ada-prj c:/Projects/org.emacs.ada-mode.smie/ada-mode hides c:/Apps/emacs-24.2.91/lisp/progmodes/ada-mode c:/Projects/emacs_stephe.work/emacs_stephe_site_lisp/nnnil hides c:/Apps/emacs-24.2.91/lisp/gnus/nnnil c:/Projects/org.emacs.ada-mode.smie/smie hides c:/Apps/emacs-24.2.91/lisp/emacs-lisp/smie Features: (shadow sort mail-extr emacsbug message format-spec rfc822 mml mml-sec mm-decode mm-bodies mm-encode mail-parse rfc2231 mailabbrev gmm-utils mailheader sendmail rfc2047 rfc2045 ietf-drums mail-utils tabify html-mode asp-html-helper-mode php-html-helper-mode html-helper-mode warnings tempo etags cc-langs cc-mode cc-fonts cc-guess cc-menus cc-cmds cc-styles cc-align cc-engine cc-vars cc-defs jka-compr xmtn-multi-status xmtn-revlist dvc-revlist dvc-state xmtn-sync dvc-config sh-script smie executable shell pcomplete copyright find-func edebug help-mode debug semantic/wisent/grammar semantic/grammar semantic/idle semantic/grammar-wy semantic/format ezimage semantic/tag-ls semantic/find semantic/ctxt misearch multi-isearch sal-diff-mode make-mode xmtn-dvc dvc-status dvc-diff dvc-fileinfo diff-mode xmtn-conflicts xmtn-ids xmtn-match xmtn-automate xmtn-compat parse-time xmtn-run xmtn-basic-io xmtn-base gpr-mode gpr-indent-engine gpr-wisi gpr-grammar-wy else-mode ada-mode ada-compiler ada-gnat ada-fix-error which-func imenu align find-file ada-indent-engine ada-wisi ada-grammar-wy semantic/wisent/comp semantic/wisent wisi wisent-patch semantic/wisent/wisent semantic/bovine semantic/util-modes semantic/util semantic semantic/tag cedet semantic/lex semantic/fw loaddefs mode-local ada-indent-user-options xgit-core bzr-core xmtn-minimal dvc-log log-edit easy-mmode pcvs-util vc vc-dispatcher ediff-merg ediff-diff ediff-wind ediff-help ediff-util ediff-mult ediff-init ediff dvc-unified dvc-tips ffap url-parse auth-source eieio byte-opt bytecomp byte-compile cconv gnus-util mm-util mail-prsvr password-cache url-vars add-log dvc-autoloads dvc-core dvc-lisp dvc-buffers dvc-ui dvc-register dvc-utils dvc-emacs ewoc dvc-defs dvc-site uniquify advice help-fns advice-preload time delsel cus-start cus-load color-theme edmacro kmacro wid-edit iswitchb whitespace dired-x easymenu dired-aux dired compile comint ansi-color ring cl-macs gv cl cl-lib time-date tooltip ediff-hook vc-hooks lisp-float-type mwheel dos-w32 ls-lisp w32-common-fns disp-table w32-win w32-vars tool-bar dnd fontset image regexp-opt fringe tabulated-list newcomment lisp-mode register page menu-bar rfn-eshadow timer select scroll-bar mouse jit-lock font-lock syntax facemenu font-core frame cham georgian utf-8-lang misc-lang vietnamese tibetan thai tai-viet lao korean japanese hebrew greek romanian slovak czech european ethiopic indian cyrillic chinese case-table epa-hook jka-cmpr-hook help simple abbrev minibuffer button faces cus-face macroexp files text-properties overlay sha1 md5 base64 format env code-pages mule custom widget hashtable-print-readable backquote make-network-process w32 multi-tty emacs) From unknown Tue Aug 19 10:04:12 2025 X-Loop: help-debbugs@gnu.org Subject: bug#13593: my mistake References: <858v7969b9.fsf@stephe-leake.org> In-Reply-To: <858v7969b9.fsf@stephe-leake.org> Resent-From: Stephen Leake Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 02 Feb 2013 14:24:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 13593 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: 13593@debbugs.gnu.org Received: via spool by 13593-submit@debbugs.gnu.org id=B13593.135981500928015 (code B ref 13593); Sat, 02 Feb 2013 14:24:02 +0000 Received: (at 13593) by debbugs.gnu.org; 2 Feb 2013 14:23:29 +0000 Received: from localhost ([127.0.0.1]:60538 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1U1e08-0007Hn-ES for submit@debbugs.gnu.org; Sat, 02 Feb 2013 09:23:28 -0500 Received: from vms173009pub.verizon.net ([206.46.173.9]:24330) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1U1e06-0007Hb-3I for 13593@debbugs.gnu.org; Sat, 02 Feb 2013 09:23:27 -0500 Received: from TAKVER ([unknown] [96.255.18.177]) by vms173009.mailsrvcs.net (Sun Java(tm) System Messaging Server 7u2-7.02 32bit (built Apr 16 2009)) with ESMTPA id <0MHL00C3VJWV0E70@vms173009.mailsrvcs.net> for 13593@debbugs.gnu.org; Sat, 02 Feb 2013 08:22:12 -0600 (CST) From: Stephen Leake Date: Sat, 02 Feb 2013 09:22:06 -0500 Message-id: <85ip6a94oh.fsf@stephe-leake.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.2 (windows-nt) MIME-version: 1.0 Content-type: multipart/mixed; boundary="=-=-=" X-Spam-Score: 0.8 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.13 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -0.0 (/) --=-=-= Content-Type: text/plain It is always good to insist on an example! Attached file shows the un-patched wisent-production-bounds working properly. So it's my mistake. I'm not using the semantic lexer, and my lexer is returning the wrong structure. I thought I had gotten it right, but apparently not. Sorry for the noise. -- -- Stephe --=-=-= Content-Type: application/octet-stream Content-Disposition: attachment; filename=bug-3602942.wy Content-Transfer-Encoding: base64 OzsgZ3JhbW1hciBpbGx1c3RyYXRpbmcgYnVnIDM2MDI5NDIKCiV7Cn0KCiVwYWNrYWdlIGJ1Zy0z NjAyOTQyLXd5CgoldHlwZSAgICA8a2V5d29yZD4KJWtleXdvcmQgQkVHSU4gImJlZ2luIgola2V5 d29yZCBFTkQgImVuZCIKJWtleXdvcmQgSVMgImlzIgola2V5d29yZCBORVcgIm5ldyIKJWtleXdv cmQgTlVMTCAibnVsbCIKJWtleXdvcmQgUFJPQ0VEVVJFICJwcm9jZWR1cmUiCgoldHlwZSA8cHVu Y3R1YXRpb24+IHN5bnRheCAiXFwoXFxzLitcXCkiCiV0b2tlbiA8cHVuY3R1YXRpb24+IFNFTUlD T0xPTiAiOyIKCiV0eXBlIDxzeW1ib2w+IHN5bnRheCAiXFwoXFxzdytcXCkiCiV0b2tlbiA8c3lt Ym9sPiBJREVOVElGSUVSIAoKJXN0YXJ0IHN1YnByb2dyYW1fYm9keQoKJSUKCnN1YnByb2dyYW1f Ym9keQogIDogc3VicHJvZ3JhbV9zcGVjaWZpY2F0aW9uIElTIEJFR0lOIE5VTEwgRU5EIFNFTUlD T0xPTgogICAgKG1lc3NhZ2UgIiVzXG4lc1xuJXNcbiIgJHJlZ2lvbiAkcmVnaW9uMSAkcmVnaW9u MikKICA7CgpzdWJwcm9ncmFtX3NwZWNpZmljYXRpb24KICA6IFBST0NFRFVSRSBJREVOVElGSUVS CiAgOwoKCiUlCgooZGVmaW5lLWxleCBidWctMzYwMjk0Mi1sZXhlcgogICJMZXhpY2FsIGFuYWx5 emVyIHRoYXQgaGFuZGxlcyBTZW1hbnRpYyBncmFtbWFyIGJ1ZmZlcnMuCkl0IGlnbm9yZXMgd2hp dGVzcGFjZXMsIG5ld2xpbmVzIGFuZCBjb21tZW50cy4iCiAgc2VtYW50aWMtbGV4LWlnbm9yZS1u ZXdsaW5lCiAgc2VtYW50aWMtbGV4LWlnbm9yZS13aGl0ZXNwYWNlCiAgOzsgTXVzdCBkZXRlY3Qg cHJvbG9ndWUvZXBpbG9ndWUgYmVmb3JlIG90aGVyIHN5bWJvbHMva2V5d29yZHMhCiAgYnVnLTM2 MDI5NDItd3ktLTxrZXl3b3JkPi1rZXl3b3JkLWFuYWx5emVyCiAgYnVnLTM2MDI5NDItd3ktLTxz eW1ib2w+LXJlZ2V4cC1hbmFseXplcgogIGJ1Zy0zNjAyOTQyLXd5LS08cHVuY3R1YXRpb24+LXN0 cmluZy1hbmFseXplcikKCihkZWZ1biBzaG93LWJ1ZyAoKQogIChpbnRlcmFjdGl2ZSkKICAoYnVn LTM2MDI5NDItd3ktLWluc3RhbGwtcGFyc2VyKQogIChzZXRxIHNlbWFudGljLWxleC1jb21tZW50 LXJlZ2V4ICItLSIKICAgICAgICBzZW1hbnRpYy1sZXgtYW5hbHl6ZXIgJ2J1Zy0zNjAyOTQyLWxl eGVyCiAgICAgICAgc2VtYW50aWMtdHlwZS1yZWxhdGlvbi1zZXBhcmF0b3ItY2hhcmFjdGVyICco IjoiKQogICAgICAgIHNlbWFudGljLXN5bWJvbC0+bmFtZS1hc3NvYy1saXN0CiAgICAgICAgJygK ICAgICAgICAgIChjb2RlICAgICAgICAgLiAiU2V0dXAgQ29kZSIpCiAgICAgICAgICAoa2V5d29y ZCAgICAgIC4gIktleXdvcmQiKQogICAgICAgICAgKHRva2VuICAgICAgICAuICJUb2tlbiIpCiAg ICAgICAgICAobm9udGVybWluYWwgIC4gIk5vbnRlcm1pbmFsIikKICAgICAgICAgIChydWxlICAg ICAgICAgLiAiUnVsZSIpCiAgICAgICAgICApKQogIChzZW1hbnRpYy1sZXgtaW5pdCkKICAod2lz ZW50LXBhcnNlLXJlZ2lvbiAocG9pbnQtbWluKSAocG9pbnQtbWF4KSkKICApCjs7OyBlbmQgb2Yg ZmlsZQo= --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Sat Feb 02 14:34:11 2013 Received: (at control) by debbugs.gnu.org; 2 Feb 2013 19:34:11 +0000 Received: from localhost ([127.0.0.1]:33207 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1U1iqp-0002z8-Ez for submit@debbugs.gnu.org; Sat, 02 Feb 2013 14:34:11 -0500 Received: from fencepost.gnu.org ([208.118.235.10]:33911) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1U1iqn-0002yz-LV for control@debbugs.gnu.org; Sat, 02 Feb 2013 14:34:10 -0500 Received: from rgm by fencepost.gnu.org with local (Exim 4.71) (envelope-from ) id 1U1ips-0005Df-Oe for control@debbugs.gnu.org; Sat, 02 Feb 2013 14:33:14 -0500 Date: Sat, 02 Feb 2013 14:33:12 -0500 Message-Id: Subject: control message for bug 13593 To: X-Mailer: mail (GNU Mailutils 2.1) From: Glenn Morris X-Spam-Score: -4.6 (----) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.13 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -4.6 (----) tag 13593 notabug close 13593