From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id B46A9BC57 for ; Mon, 15 Nov 2010 19:38:20 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Am0CAJsM4UzRVdQ0kGdsb2JhbACUWI18CBYBAQEJCQwHEQMfpRyLeAEFhHWJBwEEhUqKW4kq X-IronPort-AV: E=Sophos;i="4.59,201,1288566000"; d="scan'208";a="77947577" Received: from mail-vw0-f52.google.com ([209.85.212.52]) by mail4-smtp-sop.national.inria.fr with ESMTP; 15 Nov 2010 19:38:20 +0100 Received: by vws3 with SMTP id 3so1185804vws.39 for ; Mon, 15 Nov 2010 10:38:19 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=gamma; h=domainkey-signature:mime-version:received:sender:received :in-reply-to:references:date:x-google-sender-auth:message-id:subject :from:to:content-type; bh=ihmZENEfunOG6Ywv2EzRui5TtdcHaRlNDjnpOA9Rbss=; b=IZqEEfgWk+gaCpytk2ApwRGm6R3s0uyfc7Gi/8qotoaNpfdqwXtuJjVyv4vsBAGwft LnwNQxhRSRnmvZ61//l926m+24mL6+U5+F1ygNouVxVtXak5dwsB81Ym9LhyVrc3O9mC zweb/82I9KC4kQ8SW09h4YQKMklThAQXME6W4= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlemail.com; s=gamma; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:content-type; b=FXAHNJ1gY06gt9KGu4a6XBqcBWnsqqi3u2wN5qnT2JgipTQh9xV6Por/RDe5F4Kq/L f1VZyMh7CF7mgiZTd+kXqlXn3tJzbQ7+6BVc2RkI2YfZsRQE0sHDHXIYF4Pqt0scZyB0 +T7YpDRgIpiILOL5BxZ8QNQXcX5wOuQ+K6otk= MIME-Version: 1.0 Received: by 10.229.215.70 with SMTP id hd6mr1141643qcb.48.1289846298894; Mon, 15 Nov 2010 10:38:18 -0800 (PST) Sender: jamiiecb@googlemail.com Received: by 10.229.187.133 with HTTP; Mon, 15 Nov 2010 10:38:18 -0800 (PST) In-Reply-To: <4CE1792B.3050603@coherentgraphics.co.uk> References: <384325291.294734.1288998871132.JavaMail.root@zmbs3.inria.fr> <20101106025118.GA23041@yquem.inria.fr> <4CE1792B.3050603@coherentgraphics.co.uk> Date: Mon, 15 Nov 2010 18:38:18 +0000 X-Google-Sender-Auth: 6xpClf_gBTOuf2eaVj7-z9guzN4 Message-ID: Subject: Re: [Caml-list] Causes for segfaults From: Jamie Brandon To: caml-list@yquem.inria.fr Content-Type: text/plain; charset=ISO-8859-1 X-Spam: no; 0.00; segfaults:01 recursion:01 uname:01 ocaml:01 -version:01 toplevel:01 segfault:01 ocamlopt:01 segfault:01 uname:01 ocaml:01 -version:01 toplevel:01 ocamlopt:01 brandon:98 > Excessive recursion of a function does raise an exception, on most > platforms, doesn't it? jamie@jamie-aspire:~$ uname -a Linux jamie-aspire 2.6.35-22-generic #35-Ubuntu SMP Sat Oct 16 20:36:48 UTC 2010 i686 GNU/Linux jamie@jamie-aspire:~$ ocaml -version The Objective Caml toplevel, version 3.11.2 jamie@jamie-aspire:~$ cat > segfault.ml let rec ints n = n :: ints (n+1) let _ = ints 0 jamie@jamie-aspire:~$ ocamlopt segfault.ml jamie@jamie-aspire:~$ ./a.out Segmentation fault [root@senldogo0183 texsearch-development2]# uname -a Linux senldogo0183 2.6.18-53.el5 #1 SMP Wed Oct 10 16:34:19 EDT 2007 x86_64 x86_64 x86_64 GNU/Linux [root@senldogo0183 texsearch-development2]# ocaml -version The Objective Caml toplevel, version 3.12.0 [root@senldogo0183 texsearch-development2]# cat > segfault.ml let rec ints n = n :: ints (n+1) let _ = ints 0 [root@senldogo0183 texsearch-development2]# ocamlopt segfault.ml [root@senldogo0183 texsearch-development2]# ./a.out Segmentation fault