From mboxrd@z Thu Jan 1 00:00:00 1970
Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail
From: Philipp Stephani
Newsgroups: gmane.emacs.bugs
Subject: bug#48489: 28.0.50;
Incorrect Edebug instrumentation for old `when-let' form
Date: Tue, 18 May 2021 17:55:57 +0200
Message-ID:
References:
Mime-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214";
logging-data="34994"; mail-complaints-to="usenet@ciao.gmane.io"
Cc: 48489@debbugs.gnu.org
To: Glenn Morris
Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Tue May 18 18:03:05 2021
Return-path:
Envelope-to: geb-bug-gnu-emacs@m.gmane-mx.org
Original-Received: from lists.gnu.org ([209.51.188.17])
by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
(Exim 4.92)
(envelope-from )
id 1lj2BU-0008xr-Br
for geb-bug-gnu-emacs@m.gmane-mx.org; Tue, 18 May 2021 18:03:04 +0200
Original-Received: from localhost ([::1]:34006 helo=lists1p.gnu.org)
by lists.gnu.org with esmtp (Exim 4.90_1)
(envelope-from )
id 1lj2BT-0000V0-Dm
for geb-bug-gnu-emacs@m.gmane-mx.org; Tue, 18 May 2021 12:03:03 -0400
Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:44156)
by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
(Exim 4.90_1) (envelope-from )
id 1lj25e-0001XR-Nf
for bug-gnu-emacs@gnu.org; Tue, 18 May 2021 11:57:02 -0400
Original-Received: from debbugs.gnu.org ([209.51.188.43]:45467)
by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
(Exim 4.90_1) (envelope-from )
id 1lj25e-0006Jx-FE
for bug-gnu-emacs@gnu.org; Tue, 18 May 2021 11:57:02 -0400
Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2)
(envelope-from ) id 1lj25e-0005o8-DM
for bug-gnu-emacs@gnu.org; Tue, 18 May 2021 11:57:02 -0400
X-Loop: help-debbugs@gnu.org
Resent-From: Philipp Stephani
Original-Sender: "Debbugs-submit"
Resent-CC: bug-gnu-emacs@gnu.org
Resent-Date: Tue, 18 May 2021 15:57:02 +0000
Resent-Message-ID:
Resent-Sender: help-debbugs@gnu.org
X-GNU-PR-Message: followup 48489
X-GNU-PR-Package: emacs
Original-Received: via spool by 48489-submit@debbugs.gnu.org id=B48489.162135337622231
(code B ref 48489); Tue, 18 May 2021 15:57:02 +0000
Original-Received: (at 48489) by debbugs.gnu.org; 18 May 2021 15:56:16 +0000
Original-Received: from localhost ([127.0.0.1]:57009 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from )
id 1lj24t-0005mV-MA
for submit@debbugs.gnu.org; Tue, 18 May 2021 11:56:15 -0400
Original-Received: from mail-oi1-f172.google.com ([209.85.167.172]:36433)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from ) id 1lj24s-0005mD-1j
for 48489@debbugs.gnu.org; Tue, 18 May 2021 11:56:15 -0400
Original-Received: by mail-oi1-f172.google.com with SMTP id f184so10225408oig.3
for <48489@debbugs.gnu.org>; Tue, 18 May 2021 08:56:13 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025;
h=mime-version:references:in-reply-to:from:date:message-id:subject:to
:cc; bh=I7vNCpfIxLiEgbjEx8/w5KUj6lAy00G7tqYzB2A69ZU=;
b=obPKlPI+nieY+5dZQCYvtp1Eo2rmrAIvUlbZMLiZtAF8nMRAJuk1DpXwNJgPnl0k4X
ywJX73kj1ycn4VDKi/ObtJ5fgAfu22P6PETuh4xhOZhpazFgkebd0ich3q+WgT0KQmCP
P1iuOQ0komJKTemG2pObgIe3bTAjBNmUWjRUsGcDsqwkKbKrfFVyL9I3ssQCSKutBLxQ
dewdc8CiozloPodVeHmbmI+mJ/z2GkJRSlEFtLbGsQJ9HUTfrDgBRHVNiTWsga2NUc3q
0mBky/kHwcSpp9GxNqGyB1l4mRlW38tNhIOPrgj8RyMNNdwA+qIu8Dv1TzTe5+QDmMAr
Wl8w==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20161025;
h=x-gm-message-state:mime-version:references:in-reply-to:from:date
:message-id:subject:to:cc;
bh=I7vNCpfIxLiEgbjEx8/w5KUj6lAy00G7tqYzB2A69ZU=;
b=CnLApYtmqU8UdRZAKbiVnGTJ5XLnGlgM0ykVJ4idBgwZzb6gqPlEc/1P6YQaw0jzfh
jBH9pyIa6frzYSoYNuhI8YEKFhr8prBA104RNfeQkEiBrYGw9RfJDwHTahCgjC9bcIqB
BdF6XjTjfky6VoAN/yZijx4UHcYdW7g9s3KTlF8VaRLsaLhwZW7VJ+s3EyNEnpg8aPox
FA8fKUmAsFjxwulHAqe0Kn+y0EFyriMgeMU9XdxApssQy8R3H3bqaaOwqdFn4E4j2Ltm
FrN46QjJ8gtMPvKIAyNXef8+5hv2dtb61jLA/UJf6yOMk5zR9othH0/EBWmpAwI1JX7T
Cpeg==
X-Gm-Message-State: AOAM530pMHSRCbuyVflkHmThhy164CJOY5BWfesYvx6XJ8NQDEeO75on
z9nzzHZcqT0QN0U9cLFmrMKwQvwL5UuQ4ziJbaU=
X-Google-Smtp-Source: ABdhPJxoDfNo7J853BRwiSNfQ1aQQq0xc/YQjJ6IRlwZfvB/yj7/iRZALzeucHeYqQtewTpf9lmhIgCrPG4Gq7zENBw=
X-Received: by 2002:aca:4d01:: with SMTP id a1mr4507230oib.158.1621353368091;
Tue, 18 May 2021 08:56:08 -0700 (PDT)
In-Reply-To:
X-BeenThere: debbugs-submit@debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
X-BeenThere: bug-gnu-emacs@gnu.org
List-Id: "Bug reports for GNU Emacs,
the Swiss army knife of text editors"
List-Unsubscribe: ,
List-Archive:
List-Post:
List-Help:
List-Subscribe: ,
Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org
Original-Sender: "bug-gnu-emacs"
Xref: news.gmane.io gmane.emacs.bugs:206805
Archived-At:
Am Di., 18. Mai 2021 um 16:59 Uhr schrieb Glenn Morris :
>
> Philipp wrote:
>
> > This can be rectified by swapping the two `&or' branches in the Edebug
> > specification for `if-let', which makes sense given the first branch is
> > often a superset of the second. I don't mind doing that, but maybe
> > there are negative conseqences from that that I don't see?
>
> Since 9676d41, edebug-tests-duplicate-symbol-backtrack fails.
> Ref eg https://hydra.nixos.org/build/143298928
> Reproduced on CentOS 8.3.
Hmm, I can't reproduce this on Debian. But I don't see how this could
be OS-dependent.