From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <raphlalou@gmail.com>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by yquem.inria.fr (Postfix) with ESMTP id 9AC6BBC57
	for <caml-list@yquem.inria.fr>; Thu,  4 Nov 2010 21:25:21 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AsoAABGz0kxKfVK0kGdsb2JhbACTe418CBUBAQEBCQkMBxEDH6N9iVwKgg2FMi6IWQEBAwWFQQSKVYNPHYRG
X-IronPort-AV: E=Sophos;i="4.58,297,1286143200"; 
   d="scan'208";a="86176249"
Received: from mail-wy0-f180.google.com ([74.125.82.180])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 04 Nov 2010 21:25:21 +0100
Received: by wyb32 with SMTP id 32so2188528wyb.39
        for <caml-list@yquem.inria.fr>; Thu, 04 Nov 2010 13:25:21 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:received:received:from:reply-to:to:subject:date
         :user-agent:references:in-reply-to:mime-version:content-type
         :content-transfer-encoding:message-id;
        bh=RsI6DHqgYpUNMI/G8tnjEP/oCplbhrOCPx8Wx+LkSPQ=;
        b=jGlSeDgGY92tuxSSbl2dW50LzTICth+8qpVsZ2RZNwl+ys2OlBnni82wKmHCznkg+/
         CmD48o0rJTMTib3IlqmRQH4bydKVVnayMjf8PXsD//ALycsNiPkuNQYtStW4L+tj2byd
         +MjMyJPHWItYGjDkHQimLQkvhkPiUGUbp1jxU=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=from:reply-to:to:subject:date:user-agent:references:in-reply-to
         :mime-version:content-type:content-transfer-encoding:message-id;
        b=HNF4qrCxUJweckxoraPVhAzqiJmbPIEV6DWUoVybOXZ5E3+jUDPjqnE9oUEsiI/lQ2
         m8i4AIcE097PC2VocvxUjtzDXDritMvodVP+nzkYWZC3WVP40F8pkmAsZqorbdG13Vrj
         jHMi5eu0RcK40r6uu9t+iK65zJ1U9eHxcmUNI=
Received: by 10.216.8.199 with SMTP id 49mr1241140wer.1.1288902321118;
        Thu, 04 Nov 2010 13:25:21 -0700 (PDT)
Received: from cloudy.localnet (abo-128-99-68.mrs.modulonet.fr [85.68.99.128])
        by mx.google.com with ESMTPS id p4sm263326wer.29.2010.11.04.13.25.18
        (version=TLSv1/SSLv3 cipher=RC4-MD5);
        Thu, 04 Nov 2010 13:25:20 -0700 (PDT)
From: Raphael Proust <raphlalou@gmail.com>
Reply-To: raphlalou@gmail.com
To: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Causes for segfaults
Date: Thu, 4 Nov 2010 21:25:38 +0100
User-Agent: KMail/1.13.5 (Linux/2.6.32-5-amd64; KDE/4.4.5; x86_64; ; )
References: <AANLkTi=SqQpDJc4p8nq9zRuTK5n6ctu8meZFF_Fp7HJg@mail.gmail.com>
In-Reply-To: <AANLkTi=SqQpDJc4p8nq9zRuTK5n6ctu8meZFF_Fp7HJg@mail.gmail.com>
MIME-Version: 1.0
Content-Type: Text/Plain;
  charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
Message-Id: <201011042125.38754.raphlalou@gmail.com>
X-Spam: no; 0.00; segfaults:01 segfaults:01 ocaml:01 ffi:01 -unsafe:01 allocating:01 arrays:01 ocaml:01 netclient:01 compilation:01 brandon:98 stack:01 caml-list:01 strings:01 ecrit:06 

Le jeudi 04 novembre 2010 21:19:33, Jamie Brandon a =E9crit :
> Is there an authoritative list anywhere of the possible causes for
> segfaults in ocaml? I'm not using the FFI or -unsafe and I have ruled
> out overflowing the c stack and allocating large strings/arrays. I'm
> using ocaml 3.09.3 with extlib, netclient, json-static, xml-light, str
> and no compilation options.

Unmarshalling can cause segfaults and Obj.magic too.

=2D-=20
_______
Rapha=EBl