GNU bug report logs - #25212
REPL aborts when a stack overflow is triggered twice

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 25212 in the body.
You can then email your comments to 25212 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Steff <steffhip <at> googlemail.com>
To: bug-guile <at> gnu.org
Subject: REPL aborts when a stack overflow is triggered twice
Date: Thu, 15 Dec 2016 20:34:46 +0100

When a Stack Overflow occured the new prompt of the REPL becomes fragile 
an sometimes crashes on invalid inputs.
A reliant way to make the REPL abort, is by triggering a stack overflow 
twice.

Affected Version: 2.0.13

Way to reproduce:

scheme@(guile-user)> (define x (lambda () (x) (x)))   ;;; define a 
function provoking a stack-overflow
scheme@(guile-user)> (x) (x)                          ;;; first call of 
this function is caught but second aborts the REPL
<unnamed port>:2:0: In procedure x:
<unnamed port>:2:0: Throw to key `vm-error' with args `(vm-run "VM: 
Stack overflow" ())'.

Entering a new prompt.  Type `,bt' for a backtrace or `,q' to continue.
[1]    13794 abort (core dumped)  guile

Message #10 received at 25212-done <at> debbugs.gnu.org (full text, mbox):

From: Andy Wingo <wingo <at> pobox.com>
To: Steff <steffhip <at> googlemail.com>
Cc: 25212-done <at> debbugs.gnu.org
Subject: Re: bug#25212: REPL aborts when a stack overflow is triggered twice
Date: Mon, 09 Jan 2017 22:50:49 +0100

On Thu 15 Dec 2016 20:34, Steff <steffhip <at> googlemail.com> writes:

> When a Stack Overflow occured the new prompt of the REPL becomes
> fragile an sometimes crashes on invalid inputs.
> A reliant way to make the REPL abort, is by triggering a stack
> overflow twice.
>
> Affected Version: 2.0.13

Yeah this one is gnarly.  We couldn't fix it in the 2.0 for various
reasons but addressed it comprehensively in 2.2:

  https://wingolog.org/archives/2014/03/17/stack-overflow

Closing as done.  2.2.0 should be out within a month or two.

Andy

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.