GNU bug report logs - #46670
28.0.50; [feature/native-comp] possible miscompilation affecting lsp-mode

Previous Next

Full log

View this message in rfc822 format

From: Pip Cet <pipcet <at> gmail.com>
To: rms <at> gnu.org
Cc: eliz <at> gnu.org, mauricio <at> collares.org, 46670 <at> debbugs.gnu.org, Andrea Corallo <akrl <at> sdf.org>
Subject: bug#46670: 28.0.50; [feature/native-comp] possible miscompilation affecting lsp-mode
Date: Mon, 1 Mar 2021 06:40:46 +0000

On Mon, Mar 1, 2021 at 5:24 AM Richard Stallman <rms <at> gnu.org> wrote:
>   > You're using "sound" to mean "superficially correct". I understood it
>   > to have its mathematical (and legal) meaning, "irrefutably correct".
>
> I was not following this thread, but here
>
>   > > > I take it you've read through the code, understood it all, and
>   > > > concluded the reasons were "sound", then?
>
> you seem to be talking about judging the reasons to make a change.

We're not, no. We're talking about the reasons given to justify the
claim that a pseudo-insn emitted by the compiler is not "suspicious".

To say those reasons are "sound" is to say that my initial objection
to the pseudo-insn was answered by the explanation proffered and is
now obviously invalid. I think it's a matter of further discussion,
not that it is, at this point, obviously valid.

(As it turns out, my objection was valid, at least in part. A small
number of the problematic assumptions are now, apparently, no longer
being emitted.)

Pip

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.