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#58158: 29.0.50; [overlay] Interval tree iteration considered harmful Date: Sat, 01 Oct 2022 10:00:03 +0300 Message-ID: <83zgegav0s.fsf@gnu.org> References: <83h70qhez0.fsf@gnu.org> <83edvuhaby.fsf@gnu.org> Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="8737"; mail-complaints-to="usenet@ciao.gmane.io" Cc: gerd.moellmann@gmail.com, 58158@debbugs.gnu.org, monnier@iro.umontreal.ca To: rms@gnu.org Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Sat Oct 01 09:01:25 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 1oeWV2-00029r-PT for geb-bug-gnu-emacs@m.gmane-mx.org; Sat, 01 Oct 2022 09:01:25 +0200 Original-Received: from localhost ([::1]:47076 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oeWV1-00043h-Bf for geb-bug-gnu-emacs@m.gmane-mx.org; Sat, 01 Oct 2022 03:01:23 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:59310) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oeWUh-00043Y-QN for bug-gnu-emacs@gnu.org; Sat, 01 Oct 2022 03:01:03 -0400 Original-Received: from debbugs.gnu.org ([209.51.188.43]:44443) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oeWUg-00016R-GX for bug-gnu-emacs@gnu.org; Sat, 01 Oct 2022 03:01:03 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1oeWUg-0005DQ-52 for bug-gnu-emacs@gnu.org; Sat, 01 Oct 2022 03:01:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Eli Zaretskii Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 01 Oct 2022 07:01: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.166460763320006 (code B ref 58158); Sat, 01 Oct 2022 07:01:02 +0000 Original-Received: (at 58158) by debbugs.gnu.org; 1 Oct 2022 07:00:33 +0000 Original-Received: from localhost ([127.0.0.1]:43521 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oeWUB-0005Ca-Cz for submit@debbugs.gnu.org; Sat, 01 Oct 2022 03:00:33 -0400 Original-Received: from eggs.gnu.org ([209.51.188.92]:41840) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oeWU6-0005C6-U5 for 58158@debbugs.gnu.org; Sat, 01 Oct 2022 03:00:30 -0400 Original-Received: from fencepost.gnu.org ([2001:470:142:3::e]:59564) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oeWU0-0000u4-Pu; Sat, 01 Oct 2022 03:00:20 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=References:Subject:In-Reply-To:To:From:Date: mime-version; bh=n2+vtYhktYDAMmZL0gU7mVyqMsuI9CCJuB4XIju+Q8g=; b=rBHIzFGL7PNW fzp57qWIPQLqHRY668gn7dWarcU7PNElzPxAyHqZ+le8Nb4Efp3dpvCMNtG+/18PR1dsiKbpXgWhF Vxz6GLyxGoh2B48d3jAuGL/mByIqSHBKLgyJpexZkhOvrojaBnDi8e2FEAy1ISmk+iFXVJLdBN/TQ +hZPQsJLIimyhmHoIHdaHoW+93je84IdvCQt4QBDkO72Twcv7A/Rh/GaZ1IV4ROlG118TVYi3EyN4 +u7nf2LuqLasHX7nNAr+gEbi7cKQQgT1KbQ+813GLjQhs4/NPYME1LAdmUmtBqrGlLLJ5NKudJmud WL4Fc1XVFdNjkfeQFd5Qeg==; Original-Received: from [87.69.77.57] (port=1965 helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oeWTz-00053n-5n; Sat, 01 Oct 2022 03:00:19 -0400 In-Reply-To: (message from Richard Stallman on Fri, 30 Sep 2022 21:57:36 -0400) 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:244080 Archived-At: > From: Richard Stallman > Cc: eliz@gnu.org, 58158@debbugs.gnu.org, monnier@iro.umontreal.ca > Date: Fri, 30 Sep 2022 21:57:36 -0400 > > > > 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. I think such assumptions were proven dangerous at best in the long run. The way Emacs develops, we constantly add more and more hooks to C code, and more and more direct calls into Lisp from C. These invalidate any assumptions about "no risk of signaling an error", even if they were originally true when the code was first written. Moreover, we test for QUIT in operations that can be prolonged ones (and for a good reason), so any long loop in C could potentially throw to top level if the user pressed C-g. All in all, experience shows that making such assumptions in Emacs is unsafe.