From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Richard Stallman Newsgroups: gmane.emacs.bugs Subject: bug#58158: 29.0.50; [overlay] Interval tree iteration considered harmful Date: Fri, 30 Sep 2022 21:57:36 -0400 Message-ID: References: <83h70qhez0.fsf@gnu.org> <83edvuhaby.fsf@gnu.org> Reply-To: rms@gnu.org Content-Type: text/plain; charset=Utf-8 Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="35207"; mail-complaints-to="usenet@ciao.gmane.io" Cc: eliz@gnu.org, 58158@debbugs.gnu.org, monnier@iro.umontreal.ca To: Gerd =?UTF-8?Q?M=C3=83=C2=B6llmann?= Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Sat Oct 01 03:58:10 2022 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 1oeRla-00090H-2E for geb-bug-gnu-emacs@m.gmane-mx.org; Sat, 01 Oct 2022 03:58:10 +0200 Original-Received: from localhost ([::1]:58952 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oeRlZ-0003v7-5W for geb-bug-gnu-emacs@m.gmane-mx.org; Fri, 30 Sep 2022 21:58:09 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:50046) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oeRlT-0003ub-Ay for bug-gnu-emacs@gnu.org; Fri, 30 Sep 2022 21:58:03 -0400 Original-Received: from debbugs.gnu.org ([209.51.188.43]:44158) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oeRlS-0002yY-UX for bug-gnu-emacs@gnu.org; Fri, 30 Sep 2022 21:58:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1oeRlS-0003dR-EK for bug-gnu-emacs@gnu.org; Fri, 30 Sep 2022 21:58:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Richard Stallman Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 01 Oct 2022 01:58:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 58158 X-GNU-PR-Package: emacs Original-Received: via spool by 58158-submit@debbugs.gnu.org id=B58158.166458946713951 (code B ref 58158); Sat, 01 Oct 2022 01:58:02 +0000 Original-Received: (at 58158) by debbugs.gnu.org; 1 Oct 2022 01:57:47 +0000 Original-Received: from localhost ([127.0.0.1]:43236 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oeRlC-0003cx-RB for submit@debbugs.gnu.org; Fri, 30 Sep 2022 21:57:47 -0400 Original-Received: from eggs.gnu.org ([209.51.188.92]:56288) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oeRl8-0003ci-Rc for 58158@debbugs.gnu.org; Fri, 30 Sep 2022 21:57:46 -0400 Original-Received: from fencepost.gnu.org ([2001:470:142:3::e]:44074) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oeRl2-0002oM-Tm; Fri, 30 Sep 2022 21:57:36 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=Date:References:Subject:In-Reply-To:To:From: mime-version; bh=6kB74Bjqghqwb+0rWx1Ds/h4lC3HI3W+Wo88kM+s5DI=; b=e4AyfhHlkLtD xCKYxYRkYwN/oeHq5eRzKWYygG3USnxtndmjsw6VwZkbv1lj7nTsoZiQ80mJVXxyI5lbdjFFek5So Nb9C2oqhgVL/DRhj/MOMppFf9Pr03rEV2Ch8ZF/ZFj0i3C12N86XGMjKW4VTG0Bm7bOn3hzXqMosj sz/WOr/bqs1BKtfWRiX78Q9fMAgOAAq8oQxaUBcNQeTl53NX5XW6Cs+dDj/LxGJVSnZlbYI4RjUta 0qjXSs7ADAy5f+5geEKSnAQqCXv634p3kC+Pzq1A1/GyGWWmoyiVB/PeTeUX5tQ0RU+gZvW50o1ad NNnHANuYSQq87IEXmmCgXw==; Original-Received: from rms by fencepost.gnu.org with local (Exim 4.90_1) (envelope-from ) id 1oeRl2-0001Ra-AU; Fri, 30 Sep 2022 21:57:36 -0400 In-Reply-To: (message from Gerd =?UTF-8?Q?M=C3=83=C2=B6llmann?= on Thu, 29 Sep 2022 11:09:17 +0200) 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:244065 Archived-At: [[[ To any NSA and FBI agents reading my email: please consider ]]] [[[ whether defending the US Constitution against all enemies, ]]] [[[ foreign or domestic, requires you to follow Snowden's example. ]]] > I think it simply can't be that what is basically walking a binary tree > requires such restrictions. If we allow running complicated code during the tree walk, that would be asking for trouble. But if the operations done during the tree walk are simple and written in C, it should be clear that there is no possibility of this kind of a bug. Isn't that the case? > > What has to do with overlays. To name a few: overlay-at, overlays-in, > > next-overlay-change, previous-overlay-change, overlay-lists, ... Those operations can be done in C with no risk of signaling an error. That ought to be sufficient, as long as we don't need the code to be reentrant. If the code needs to be reentrant then we would have to eliminate the "visited" flag. But if we don't run Lisp code during the tree-walk, we should not need it to be reentrant. -- Dr Richard Stallman (https://stallman.org) Chief GNUisance of the GNU Project (https://gnu.org) Founder, Free Software Foundation (https://fsf.org) Internet Hall-of-Famer (https://internethalloffame.org)