From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.bugs Subject: bug#46670: 28.0.50; [feature/native-comp] possible miscompilation affecting lsp-mode Date: Thu, 25 Feb 2021 16:58:25 +0200 Message-ID: <83tuq0ry7i.fsf@gnu.org> References: <87a6ry46uc.fsf@collares.org> Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="32298"; mail-complaints-to="usenet@ciao.gmane.io" Cc: 46670@debbugs.gnu.org, mauricio@collares.org, akrl@sdf.org To: Pip Cet Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Thu Feb 25 15:59:09 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 1lFI6f-0008J4-9N for geb-bug-gnu-emacs@m.gmane-mx.org; Thu, 25 Feb 2021 15:59:09 +0100 Original-Received: from localhost ([::1]:53422 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lFI6e-00079p-CH for geb-bug-gnu-emacs@m.gmane-mx.org; Thu, 25 Feb 2021 09:59:08 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:40158) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lFI6Y-00079U-04 for bug-gnu-emacs@gnu.org; Thu, 25 Feb 2021 09:59:02 -0500 Original-Received: from debbugs.gnu.org ([209.51.188.43]:55654) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lFI6X-0008RW-PF for bug-gnu-emacs@gnu.org; Thu, 25 Feb 2021 09:59:01 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lFI6X-00045W-Nn for bug-gnu-emacs@gnu.org; Thu, 25 Feb 2021 09:59:01 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Eli Zaretskii Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Thu, 25 Feb 2021 14:59:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 46670 X-GNU-PR-Package: emacs Original-Received: via spool by 46670-submit@debbugs.gnu.org id=B46670.161426513315695 (code B ref 46670); Thu, 25 Feb 2021 14:59:01 +0000 Original-Received: (at 46670) by debbugs.gnu.org; 25 Feb 2021 14:58:53 +0000 Original-Received: from localhost ([127.0.0.1]:38967 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lFI6P-000455-F2 for submit@debbugs.gnu.org; Thu, 25 Feb 2021 09:58:53 -0500 Original-Received: from eggs.gnu.org ([209.51.188.92]:50474) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lFI6K-00044l-BP for 46670@debbugs.gnu.org; Thu, 25 Feb 2021 09:58:51 -0500 Original-Received: from fencepost.gnu.org ([2001:470:142:3::e]:57009) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lFI6E-0008Jp-U0; Thu, 25 Feb 2021 09:58:42 -0500 Original-Received: from 84.94.185.95.cable.012.net.il ([84.94.185.95]:2257 helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1lFI6B-0007uj-HR; Thu, 25 Feb 2021 09:58:40 -0500 In-Reply-To: (message from Pip Cet on Thu, 25 Feb 2021 12:41:42 +0000) 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:200779 Archived-At: > From: Pip Cet > Date: Thu, 25 Feb 2021 12:41:42 +0000 > Cc: 46670@debbugs.gnu.org, Mauricio Collares > > My expectations are based, in part, on having read through your code, > including the comments. That's hardly "at first glance". > > If I still misunderstand things fundamentally, it's possible, even > likely, that we need to add more documentation (and correct existing > documentation) explaining, for example, that meta-variables introduced > in an assume do not have a value and that their slot number is > meaningless. Once we've done that, we can discuss why I think that > would be a very bad design choice. Please understand and keep in mind that the native-comp branch is still WIP, and as such, it is not yet up to speed with all the documentation and other necessary support info. Andrea's work is still mainly devoted to fixing issues reported against the native-comp code. Polishing the documentation will come later. So please don't expect the documentation to be anywhere near perfect, as we all are used to expect from mainline Emacs code, and please don't blame Andrea for not providing such quality of documentation at this point in time. TIA