From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.bugs Subject: bug#33034: `unwind-protect' cleanup form is not executed if body dies in stack overflow Date: Sat, 13 Oct 2018 15:35:34 +0300 Message-ID: <83bm7yuiqx.fsf@gnu.org> References: <83k1mmuoli.fsf@gnu.org> <83in26unu5.fsf@gnu.org> <83ftxaun4j.fsf@gnu.org> <83efcuulsa.fsf@gnu.org> NNTP-Posting-Host: blaine.gmane.org X-Trace: blaine.gmane.org 1539434048 24169 195.159.176.226 (13 Oct 2018 12:34:08 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sat, 13 Oct 2018 12:34:08 +0000 (UTC) Cc: 33034@debbugs.gnu.org To: Paul Pogonyshev Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Sat Oct 13 14:34:04 2018 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gBJ7M-0006BQ-67 for geb-bug-gnu-emacs@m.gmane.org; Sat, 13 Oct 2018 14:34:04 +0200 Original-Received: from localhost ([::1]:44891 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gBJ9S-0005iZ-Fb for geb-bug-gnu-emacs@m.gmane.org; Sat, 13 Oct 2018 08:36:14 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:56275) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gBJ9J-0005iS-Br for bug-gnu-emacs@gnu.org; Sat, 13 Oct 2018 08:36:05 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gBJ9G-0007RX-73 for bug-gnu-emacs@gnu.org; Sat, 13 Oct 2018 08:36:05 -0400 Original-Received: from debbugs.gnu.org ([208.118.235.43]:43582) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gBJ9G-0007RR-3I for bug-gnu-emacs@gnu.org; Sat, 13 Oct 2018 08:36:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gBJ9G-0000Di-01 for bug-gnu-emacs@gnu.org; Sat, 13 Oct 2018 08:36: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, 13 Oct 2018 12:36:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 33034 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: Original-Received: via spool by 33034-submit@debbugs.gnu.org id=B33034.1539434143821 (code B ref 33034); Sat, 13 Oct 2018 12:36:01 +0000 Original-Received: (at 33034) by debbugs.gnu.org; 13 Oct 2018 12:35:43 +0000 Original-Received: from localhost ([127.0.0.1]:47840 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gBJ8x-0000DB-DE for submit@debbugs.gnu.org; Sat, 13 Oct 2018 08:35:43 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:46583) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gBJ8v-0000Cx-Ji for 33034@debbugs.gnu.org; Sat, 13 Oct 2018 08:35:41 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gBJ8m-0007DB-Ff for 33034@debbugs.gnu.org; Sat, 13 Oct 2018 08:35:36 -0400 Original-Received: from fencepost.gnu.org ([2001:4830:134:3::e]:57975) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gBJ8m-0007D3-Bd; Sat, 13 Oct 2018 08:35:32 -0400 Original-Received: from [176.228.60.248] (port=3923 helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1gBJ8j-0006AW-JN; Sat, 13 Oct 2018 08:35:31 -0400 In-reply-to: (message from Paul Pogonyshev on Sat, 13 Oct 2018 13:38:11 +0200) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 208.118.235.43 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.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.org gmane.emacs.bugs:151218 Archived-At: > From: Paul Pogonyshev > Date: Sat, 13 Oct 2018 13:38:11 +0200 > Cc: 33034@debbugs.gnu.org > > OK, but why does it hit the limit? Logically, by the time cleanup form > is called, all the (overflow) stack frames should be removed and the > cleanup form should see practically empty stack. It shouldn't be much > different from calling cleanup without overflowing the stack to begin > with. I don't think your expectation, that the stack should be unwound before the cleanup runs, is correct. The implementation calls the cleanup forms before it jumps to top-level, and I see nothing in the documentation to promise anything different.