From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <daniel.buenzli@erratique.ch>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 47EFD80160
	for <caml-list@sympa.inria.fr>; Sat, 10 Jun 2017 17:44:52 +0200 (CEST)
Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=daniel.buenzli@erratique.ch; spf=None smtp.mailfrom=daniel.buenzli@erratique.ch; spf=None smtp.helo=postmaster@smtp.webfaction.com
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  daniel.buenzli@erratique.ch) identity=pra;
  client-ip=74.55.86.74;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="daniel.buenzli@erratique.ch";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  daniel.buenzli@erratique.ch) identity=mailfrom;
  client-ip=74.55.86.74;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="daniel.buenzli@erratique.ch";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@smtp.webfaction.com) identity=helo;
  client-ip=74.55.86.74;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="postmaster@smtp.webfaction.com";
  x-conformance=sidf_compatible
IronPort-PHdr: =?us-ascii?q?9a23=3AXjjPYBBWbK1vwaJFmHIZUyQJP3N1i/DPJgcQr6Af?=
 =?us-ascii?q?oPdwSPT5oMbcNUDSrc9gkEXOFd2CrakV1KyO6+jJYi8p2d65qncMcZhBBVcuqP?=
 =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?=
 =?us-ascii?q?JvjvGo7Vks+7y/2+94fdbghMhjexe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfO?=
 =?us-ascii?q?pWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnM?=
 =?us-ascii?q?VhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Xymp4aV2Rx/ykC?=
 =?us-ascii?q?oJOT43/n/UhMNygqJVvRWvqBNjzIDbfY6YL+Z+frrHcN8GX2dNQsRcWipcCY28?=
 =?us-ascii?q?dYsPCO8BMP5WoYbnoVsOrAWxBQ20C+7y1idIgH733ak70+88FgzJwRYvH9QPsH?=
 =?us-ascii?q?vKqNX5LrwdUf2rw6nOzDTDa/JW1Czj54jSaBAuu+2MXbNpccrM10YjDR/KjlWJ?=
 =?us-ascii?q?pIHjIjib2OMNs22B4OphU+Kik28nqwdrojiu3MggkIfJhpgTx1vZ9it52J44KN?=
 =?us-ascii?q?+3RUJhYdOpEIFcuiKbOodsQM4vTHlktDs0x7Ebo5K3YTUGxIk9yxLCb/GKfJKE?=
 =?us-ascii?q?7g//WOuXPDx2nmhqeKiliBa36UWgyvPzVs2z0FtStSpFl8XMtmgX2x3d9MeIUf?=
 =?us-ascii?q?V98V291jaT1gDT7edELVoomqrcLp4t2r8wlpwNvkTfBiL7mkr7gLWWe0gk4OSl?=
 =?us-ascii?q?6OXqbq/kq5KTL4N0jxvxMqUqmsyxG+Q4NQ0OUnCG9uum0r3j/FP2QLFQgvItj6?=
 =?us-ascii?q?nWrpbaJMUfpq64GAJazJwj6wylADe60dQYhGQHI0xfdB2bj4jlI0vOL+zgDfej?=
 =?us-ascii?q?n1Ssly9myOzcMb3kBpXBN3zDkLb6fbZh8ENc0woyzdVH551OEL0BIfTzWlXwtN?=
 =?us-ascii?q?PCFBM5PRa0kK7bD4B234YaHGaOGbOxMaXIsFbO6Phra8CIaZ8YqX7QJP8/4OCm?=
 =?us-ascii?q?2XY9lE9beq+tzN0bQH+9F/ViZU6eZCy/rM0GFDImtww/QejdosmEQzpSLyK+Vq?=
 =?us-ascii?q?Q96zV9Ap+rC5XHR6igmqaIwCaiA5AQbWAQWQPEKmvha4jRA6REUymVOMI0yjE?=
 =?us-ascii?q?=3D?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DOAQCpEjxZe0pWN0pcGgEBAQECAQEBA?=
 =?us-ascii?q?QgBAQEBFQEBAQECAQEBAQgBAQEBhA+BDYN0ijxPkFqYNSyFeAKDRBQBAQEBAQE?=
 =?us-ascii?q?BAQEBARIBAQsLCgcoL0IOAYFiIoJEAwMjZgsaAiYCAkcQBgGKPhCxboImjBaBC?=
 =?us-ascii?q?4dsgmqEaoMSgmEFnj98hi+ODAFsiCmHApRsNoErgVGFDByBZ3UBhWyEBgEBAQ?=
X-IPAS-Result: =?us-ascii?q?A0DOAQCpEjxZe0pWN0pcGgEBAQECAQEBAQgBAQEBFQEBAQE?=
 =?us-ascii?q?CAQEBAQgBAQEBhA+BDYN0ijxPkFqYNSyFeAKDRBQBAQEBAQEBAQEBARIBAQsLC?=
 =?us-ascii?q?gcoL0IOAYFiIoJEAwMjZgsaAiYCAkcQBgGKPhCxboImjBaBC4dsgmqEaoMSgmE?=
 =?us-ascii?q?Fnj98hi+ODAFsiCmHApRsNoErgVGFDByBZ3UBhWyEBgEBAQ?=
X-IronPort-AV: E=Sophos;i="5.39,324,1493676000"; 
   d="scan'208";a="278182507"
Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([74.55.86.74])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 10 Jun 2017 17:44:51 +0200
Received: from hehey.local.mail (gw-eduroam.dar.cam.ac.uk [131.111.194.10])
	by smtp.webfaction.com (Postfix) with ESMTP id 39BEF207C6E5;
	Sat, 10 Jun 2017 15:44:48 +0000 (UTC)
Date: Sat, 10 Jun 2017 16:44:47 +0100
From: =?utf-8?Q?Daniel_B=C3=BCnzli?= <daniel.buenzli@erratique.ch>
To: caml-list@inria.fr, Alexey Egorov <alex.only.d@gmail.com>
Message-ID: <etPan.593c13ef.55939a4.542@erratique.ch>
In-Reply-To: <CAJannG4hB9jqpq8Hw=xkLACCUr0kAvF10A7X8iZX7eYhwDU0oQ@mail.gmail.com>
References: <CAJannG4hB9jqpq8Hw=xkLACCUr0kAvF10A7X8iZX7eYhwDU0oQ@mail.gmail.com>
X-Mailer: Airmail (442)
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline
Subject: Re: [Caml-list] memory corruption using C stub

My C FFI may be a bit rusty and I only had a quick look but I think that on=
 line 75 you need to put that=C2=A0caml_copy_double into a CAMLLocal variab=
le since you are allocating afterwards on line 77.

See Rule 3 in=C2=A0http://caml.inria.fr/pub/docs/manual-ocaml/intfc.html

Best,

Daniel

P.S. A quick way of checking if you do everything correctly is to call Gc.f=
ull_major () after the call to C usually this crashes immediately if you di=
d something wrong.