From: Philipp Stephani <p.stephani2@gmail.com>
To: 41853@debbugs.gnu.org
Subject: bug#41853: 28.0.50; Peculiar "args out of range" error when using Edebug
Date: Sun, 14 Jun 2020 17:35:36 +0200 [thread overview]
Message-ID: <CAArVCkSLBDTswdFZLgJr5k8SrH9WE5aVWrwR3X686SzUATBj0g@mail.gmail.com> (raw)
In-Reply-To: <CAArVCkTsSTFmtUbBBj=5JsqDz-sZNFaeFifC-6cBXTcck9Bo6g@mail.gmail.com>
Am So., 14. Juni 2020 um 17:20 Uhr schrieb Philipp Stephani
<p.stephani2@gmail.com>:
>
> Am So., 14. Juni 2020 um 16:23 Uhr schrieb Philipp Stephani
> <p.stephani2@gmail.com>:
> >
> >
> > This error is somewhat common when using `edebug-all-defuns'. It's not
> > easy to reproduce with a minimal example, but happens in real-world
> > code. For example, the following recipe works for me consistently:
> >
> > 1. Clone the Flycheck repository at commit
> > c02cd773dded0215f9417ec04dfe8dabda63ef43 (probably most other commits
> > also work, this is just for reproducibility).
> >
> > 2. Clone the dash.el repository at commit
> > ea4a4cc7cce7c3b93862a22df8bca8b83052ccbf (probably the exact commit
> > doesn't matter here as well).
> >
> > 3. Visit flycheck.el like so:
> >
> > emacs -Q -L /src/dash.el/ -l edebug -f edebug-all-defuns \
> > -f toggle-debug-on-error flycheck.el
> >
> > 4. M-x eval-buffer
> >
> > 5. Step through macro expansions using the `G' key. Repeat until
> > `eval-buffer' is complete or has signalled and error.
> >
> > 6. At some point, there will be an error
> >
> > edebug--display: Args out of range: [66 86 129 138 139], 5
> >
> > without invoking the debugger or backtrace.
> >
> > This looks like a bug in Edebug.
> >
>
>
> The immediate trigger appears to be that in `edebug-slow-after' for
> `flycheck--checker-property-name' the AFTER-INDEX is out of range for
> the EDEBUG-FREQ-COUNT vector. I still don't understand why though;
> there must be some part in edebug that misinstruments these forms.
> The vector [66 86 129 138 139] is likely a vector of offsets, not
> frequencies; the vector matches the setter for flycheck-checker-get
> quite well. So maybe there's an issue with how edebug instruments
> gv-define-setter?
Yup, looks like this is the root of the issue. Minimal example:
$ cat /tmp/a.el
(defun foo (b) b)
(defun my-get (a b) (get a (foo b)))
(gv-define-setter my-get (x a b) `(setf (get ,a (foo ,b)) ,x))
(push 'foo (my-get 'foo 'bar))
$ emacs -Q -l edebug -f edebug-all-defuns /tmp/a.el
Then run M-x eval-buffer and hit G three times. Error:
edebug--display: Args out of range: [33 47 55 60 61], 5
Could the problem here be that to find the instrumentation metadata of
SYMBOL edebug uses (get SYMBOL 'edebug), and that it doesn't detect
that the setter for `my-get' is a new entity?
next prev parent reply other threads:[~2020-06-14 15:35 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-06-14 14:22 bug#41853: 28.0.50; Peculiar "args out of range" error when using Edebug Philipp Stephani
2020-06-14 15:20 ` Philipp Stephani
2020-06-14 15:35 ` Philipp Stephani [this message]
2020-06-14 15:48 ` Philipp Stephani
2020-06-14 16:23 ` Philipp Stephani
2020-06-21 13:40 ` Philipp Stephani
2020-06-21 15:38 ` Philipp Stephani
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://www.gnu.org/software/emacs/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=CAArVCkSLBDTswdFZLgJr5k8SrH9WE5aVWrwR3X686SzUATBj0g@mail.gmail.com \
--to=p.stephani2@gmail.com \
--cc=41853@debbugs.gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/emacs.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).