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 8E1EABBAF for ; Mon, 23 Aug 2010 13:48:05 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AigBABX9cUxKfVK0kGdsb2JhbACfXUsIFQEBAQEJCQwHEQMfniKaHoU3BIl2 X-IronPort-AV: E=Sophos;i="4.56,257,1280700000"; d="scan'208";a="68103064" Received: from mail-wy0-f180.google.com ([74.125.82.180]) by mail4-smtp-sop.national.inria.fr with ESMTP; 23 Aug 2010 13:47:43 +0200 Received: by wya21 with SMTP id 21so7831855wya.39 for ; Mon, 23 Aug 2010 04:47:43 -0700 (PDT) MIME-Version: 1.0 Received: by 10.227.136.69 with SMTP id q5mr4384204wbt.202.1282564063245; Mon, 23 Aug 2010 04:47:43 -0700 (PDT) Received: by 10.216.154.79 with HTTP; Mon, 23 Aug 2010 04:47:43 -0700 (PDT) X-Originating-IP: [110.33.121.216] In-Reply-To: <4C725620.4070803@glondu.net> References: <4C725620.4070803@glondu.net> Date: Mon, 23 Aug 2010 21:47:43 +1000 Message-ID: Subject: Re: [Caml-list] Segfaults with Dynlink with OCaml 3.11 From: Paul Steckler To: =?ISO-8859-1?Q?St=E9phane_Glondu?= Cc: caml-list@yquem.inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; segfaults:01 dynlink:01 ocaml:01 steckler:01 steck:01 bindings:01 segfaults:01 ocaml:01 bindings:01 23,:98 steph:98 wrote:01 dynamically:01 caml-list:01 reproduce:03 On Mon, Aug 23, 2010 at 9:06 PM, St=E9phane Glondu wrote= : > Does your real large program use C bindings? Are you able to reproduce > the segfaults with pure OCaml code? Yes, the large program has C bindings, including calls into dynamically loa= ded .so files (Linux dynamic libraries). Anything I should look into for those= ? Thanks, -- Paul