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#75322: SAFE_ALLOCA assumed to root Lisp_Objects/SSDATA(string) Date: Sun, 05 Jan 2025 22:24:23 +0200 Message-ID: <868qrp6mbs.fsf@gnu.org> References: <87jzbbke6u.fsf@protonmail.com> <87msg7iq0o.fsf@protonmail.com> <86ed1jf1tp.fsf@gnu.org> <865xmugawr.fsf@gnu.org> <8634hx8k1u.fsf@gnu.org> <86msg56to8.fsf@gnu.org> <86h66d6pw1.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="31583"; mail-complaints-to="usenet@ciao.gmane.io" Cc: pipcet@protonmail.com, 75322@debbugs.gnu.org To: Gerd =?UTF-8?Q?M=C3=B6llmann?= Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Sun Jan 05 21:25:21 2025 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 1tUXBY-00084D-SJ for geb-bug-gnu-emacs@m.gmane-mx.org; Sun, 05 Jan 2025 21:25:21 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1tUXBJ-0002o5-27; Sun, 05 Jan 2025 15:25:05 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1tUXBH-0002ng-04 for bug-gnu-emacs@gnu.org; Sun, 05 Jan 2025 15:25:03 -0500 Original-Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1tUXBG-0002Bb-Nu for bug-gnu-emacs@gnu.org; Sun, 05 Jan 2025 15:25:02 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-version:References:In-Reply-To:From:Date:To:Subject; bh=WpNpTfV7zE8rScwnNporfzp8q6pKXUlzXFQaIaAhJ7Y=; b=D8jJT1mMtI54NozrAQdCjDx+wQOYD6UK4uqxN2u0pMjVebbpEmoHXs/At2V2psOAN3xgCwqaNNMx2qF1SV4QvtYbMwGp9/qisPpGsR+uLmN3slcBYJJokVNRJ0cM73GGLnwYPJ/sLTPQU+VgjveRwElUiWi0ILEMr5yDcZDJHKmi3siWhaUJt27+JfOXCvPF/FKhfz55Ubq2qWXFcStbS+/GiTyqWLB6ZbciyZVylGieXDU10bcA30rNUaEycI42OMWP5qw+Xd8dQKu3QDJC79F7cOg66abU+vJSqg24jYZcy1qvLQnB0bfE3ydTB9UwQ/iHr6z/wr99KLryWtAJ8w==; Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1tUXBG-0007u8-C5 for bug-gnu-emacs@gnu.org; Sun, 05 Jan 2025 15:25:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Eli Zaretskii Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sun, 05 Jan 2025 20:25:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 75322 X-GNU-PR-Package: emacs Original-Received: via spool by 75322-submit@debbugs.gnu.org id=B75322.173610867630331 (code B ref 75322); Sun, 05 Jan 2025 20:25:02 +0000 Original-Received: (at 75322) by debbugs.gnu.org; 5 Jan 2025 20:24:36 +0000 Original-Received: from localhost ([127.0.0.1]:35399 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tUXAp-0007t8-LB for submit@debbugs.gnu.org; Sun, 05 Jan 2025 15:24:36 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:52346) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tUXAn-0007sk-U6 for 75322@debbugs.gnu.org; Sun, 05 Jan 2025 15:24:34 -0500 Original-Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1tUXAi-00029c-Fh; Sun, 05 Jan 2025 15:24:28 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-version:References:Subject:In-Reply-To:To:From: Date; bh=WpNpTfV7zE8rScwnNporfzp8q6pKXUlzXFQaIaAhJ7Y=; b=SNlPxPeCAeFoWjVrL1jJ nP3dEMBWCmtdx+xsafdtWeYJk7RFg5P/IrGbmkZqwxnjk5vV8BHTCoTCb/TX0ULdxBtSAXA9U4Rbz DEgmTXgO1w52Y3CdxybswZxIkG/9Mh+cxq8wzvkyQBfi6B2CBdlB5vgRTlZDhhE9f6uvzfmfqdxR6 9KAc4ISCBuIhcfoYezMkE2GSOrCRoykc6zsIuvol+xcQllB4ljIsL6u4Yj+xqeVG4dZo7Ss4aC6AL KSYaq3tHB1QAMc5U09LzP54DV7oM5QOXENG+pv2i51MlOSLhQDo5wugFRnc+hbWoWEK8QE7A2pXW3 FJ0P7juNt6vONg==; In-Reply-To: (message from Gerd =?UTF-8?Q?M=C3=B6llmann?= on Sun, 05 Jan 2025 21:04:56 +0100) 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-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.bugs:298605 Archived-At: > From: Gerd Möllmann > Cc: pipcet@protonmail.com, 75322@debbugs.gnu.org > Date: Sun, 05 Jan 2025 21:04:56 +0100 > > Eli Zaretskii writes: > > > How can we possibly make sure this works reliably and safely?? For > > each variable we have in every function, we will need to analyze > > whether the variable is > > > > . an automatic variable > > . a static variable that is protected by someone > > . a global variable that is protected by someone > > . a result of dereferencing a pointer that is somehow protected > > > > etc. etc., where "protected by someone" means that it is a descendant > > of some staticpro, or of some root, or... > > > > And if we cannot prove to ourselves that one of the above happens, > > then we'd need to force a copy of the variable to be on the stack? > > > > Does this sound practical? > > > > If this is the price of using MPS, and I'm not missing something > > obvious, then it sounds like we should run away from MPS, fast. > > Because we will sooner or later have to rewrite every single line of > > code we ever wrote. > > I'm bowing out again. It's not worth it. I don't understand why? I need to understand the implications to be able to make decisions, which are part of my job. So I ask questions, and I'm grateful for your answers, which clarify the issues for me. That I sometimes sound overwhelmed by the implications shouldn't be held against me, it's just a normal human reaction, nothing more. If I somehow sound impolite, I apologize.