From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Neil Jerram Newsgroups: gmane.lisp.guile.devel Subject: Re: stack overflow Date: Wed, 13 Feb 2008 20:40:24 +0000 Message-ID: <87wsp83807.fsf@ossau.uklinux.net> References: <47B2A8DF.9070004@tammer.net> <87tzkd8bvz.fsf@gnu.org> <87ejbh8ben.fsf@gnu.org> <47B2D88F.1040505@tammer.net> <87ir0tvx6e.fsf@inria.fr> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1202935247 22050 80.91.229.12 (13 Feb 2008 20:40:47 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 13 Feb 2008 20:40:47 +0000 (UTC) Cc: Rainer Tammer , guile-devel@gnu.org To: ludo@gnu.org (Ludovic =?iso-8859-1?Q?Court=E8s?=) Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Wed Feb 13 21:41:10 2008 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.50) id 1JPOPj-0007Or-2s for guile-devel@m.gmane.org; Wed, 13 Feb 2008 21:41:07 +0100 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1JPOPF-0000TS-Bs for guile-devel@m.gmane.org; Wed, 13 Feb 2008 15:40:37 -0500 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1JPOPA-0000T3-DA for guile-devel@gnu.org; Wed, 13 Feb 2008 15:40:32 -0500 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1JPOP8-0000Sd-UL for guile-devel@gnu.org; Wed, 13 Feb 2008 15:40:32 -0500 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1JPOP8-0000Sa-S4 for guile-devel@gnu.org; Wed, 13 Feb 2008 15:40:30 -0500 Original-Received: from mail3.uklinux.net ([80.84.72.33]) by monty-python.gnu.org with esmtp (Exim 4.60) (envelope-from ) id 1JPOP4-0003q7-U7; Wed, 13 Feb 2008 15:40:27 -0500 Original-Received: from arudy (host86-145-183-175.range86-145.btcentralplus.com [86.145.183.175]) by mail3.uklinux.net (Postfix) with ESMTP id 060AE1F7C2D; Wed, 13 Feb 2008 20:40:26 +0000 (GMT) Original-Received: from laruns (laruns [192.168.0.10]) by arudy (Postfix) with ESMTP id 69D923800A; Wed, 13 Feb 2008 20:40:25 +0000 (GMT) In-Reply-To: <87ir0tvx6e.fsf@inria.fr> (Ludovic =?iso-8859-1?Q?Court=E8s's?= message of "Wed, 13 Feb 2008 13:49:13 +0100") User-Agent: Gnus/5.110006 (No Gnus v0.6) Emacs/21.4 (gnu/linux) X-detected-kernel: by monty-python.gnu.org: Linux 2.4-2.6 X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:7001 Archived-At: ludo@gnu.org (Ludovic Court=E8s) writes: > Hi, > > Rainer Tammer writes: > >> I added -qtune=3Dauto but this did not solve the problem... >> I will try other optimization settings... > > You did "make clean all" after reconfiguring with your `CFLAGS', right? > Also, do the actual compilation command lines show that your `CFLAGS' > settings were taken into account? > > Besides, you can try adding "(debug-set! stack 40000)" to your > `~/.guile' and see if that makes a difference, and increase it until it > works, just to get an idea. [moving over to guile-devel...] Not to disagree with anything that's already been said in this thread... But I wonder if there is a way to make Guile's stack overflow checking a bit less fragile - i.e. less subject to the behaviour of particular compilers / OSs / optimization options? I think all we're really trying to do, with the stack overflow feature, is guard against a suspected infinite recursion, without resorting to crashing the whole program. Perhaps there is a cunning way to do that without having to set an arbitrary stack depth limit? Any ideas would be most welcome. Regards, Neil