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 3852A80160
	for <caml-list@sympa.inria.fr>; Sat, 10 Jun 2017 17:51:49 +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=3A1qTM1BSt/mRIrqr+5PrU9Wnoodpsv+yvbD5Q0YIu?=
 =?us-ascii?q?jvd0So/mwa69bReN2/xhgRfzUJnB7Loc0qyN4v+mATRIyK3CmUhKSIZLWR4BhJ?=
 =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?=
 =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSijewZbF/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf?=
 =?us-ascii?q?5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbD?=
 =?us-ascii?q?VwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlS?=
 =?us-ascii?q?gHLSY0/m/XhMJuj6xUohyhqQF4zYHbfI6bO+dxc7jBfdMDX2dNQtxcWzBDD466?=
 =?us-ascii?q?coABD/ABPeFdr4TlqVUBtx2+BQiyC+Pr0jBFm2Pu3as70uQlEAHNwQstEM8Uv3?=
 =?us-ascii?q?TSrdX6KqMSXfquw6nV0zrDafJX2TP86IXTbB8hu+uMUqhsccrQ0EkvCh3Kgk+M?=
 =?us-ascii?q?pozlJj6Y0PkGvWuD7+d4V++ihHQrpgFxrzS1xcohi5PFi4Aax1zc6Cl0zps5Kc?=
 =?us-ascii?q?elREJmfNKoCoZcuiWVOodsX88uX2dlszsgxLIco560Zi0KxYwnxxHBb/yHdJCF?=
 =?us-ascii?q?4gnmVOaNOTd0nnxkd6ykiBa860ev1vH8Vsiz0FZMtCZKjt7MtnUV2xzS7MiIVO?=
 =?us-ascii?q?d981+j1DuAzQze6uFJLVo3mKfaMZIswLE9moIWsUvZHy/2nEv2jLWRdkUh4uWn?=
 =?us-ascii?q?9v7oYrPnppCCM494kBrxMrkwlcy5AOU4NgkOUnOF9uSmzr3s51H5QLRTjv0rjK?=
 =?us-ascii?q?bVqozVJcQDqq6jHwBVypoj6wq4Dzq+zNsXh3wHLFZcdBKDjojpIE3OLevjDfa/?=
 =?us-ascii?q?hlSsiC1ky+rHPr3nGJXNL2LMnK3vfbZnuAZgz18ayd1P6oMcJ74GOvXtEhv4sN?=
 =?us-ascii?q?HISBg/Nx3yz87oDdx80sUVXmfZRueSOabW9FuJ/f4HIu+WZYZTtiyuBeIi4qvC?=
 =?us-ascii?q?hHk4lFsqVz2vz58WICS0F/JnLkHfa2fhhMUFEE8HpBA3UO3zlVDEWj4FNCX6ZL?=
 =?us-ascii?q?41+jxuUNHuNozEXI342LE=3D?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B2AAAAFTxZe0pWN0pcGgEBAQECAQEBA?=
 =?us-ascii?q?QgBAQEBFQEBAQECAQEBAQgBAQEBhRyDdIoYJE+QWiGWA4IRhiQCg0AYAQEBAQE?=
 =?us-ascii?q?BAQEBAQESAQELCwoHKC+CMyKCRAECAgEjWwsLDgwCJgICRxAGARKKJAixaIImi?=
 =?us-ascii?q?2QMASWBC4dsgmqEaoMSK4I2BZ4/fJQ7AYkVhwKUbB+BQoFRhw91iXMBAQE?=
X-IPAS-Result: =?us-ascii?q?A0B2AAAAFTxZe0pWN0pcGgEBAQECAQEBAQgBAQEBFQEBAQE?=
 =?us-ascii?q?CAQEBAQgBAQEBhRyDdIoYJE+QWiGWA4IRhiQCg0AYAQEBAQEBAQEBAQESAQELC?=
 =?us-ascii?q?woHKC+CMyKCRAECAgEjWwsLDgwCJgICRxAGARKKJAixaIImi2QMASWBC4dsgmq?=
 =?us-ascii?q?EaoMSK4I2BZ4/fJQ7AYkVhwKUbB+BQoFRhw91iXMBAQE?=
X-IronPort-AV: E=Sophos;i="5.39,324,1493676000"; 
   d="scan'208";a="278182992"
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:51:48 +0200
Received: from hehey.local.mail (gw-eduroam.dar.cam.ac.uk [131.111.194.10])
	by smtp.webfaction.com (Postfix) with ESMTP id 1A20B5A1307D;
	Sat, 10 Jun 2017 15:50:26 +0000 (UTC)
Date: Sat, 10 Jun 2017 16:50:26 +0100
From: =?utf-8?Q?Daniel_B=C3=BCnzli?= <daniel.buenzli@erratique.ch>
To: Alexey Egorov <alex.only.d@gmail.com>, caml-list@inria.fr
Message-ID: <etPan.593c1542.75e71f5b.542@erratique.ch>
In-Reply-To: <etPan.593c13ef.55939a4.542@erratique.ch>
References: <CAJannG4hB9jqpq8Hw=xkLACCUr0kAvF10A7X8iZX7eYhwDU0oQ@mail.gmail.com>
 <etPan.593c13ef.55939a4.542@erratique.ch>
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

On 10 June 2017 at 16:44:50, Daniel B=C3=BCnzli (daniel.buenzli@erratique.c=
h) wrote:

> 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=20=20
> put that caml_copy_double into a CAMLLocal variable since you are allocat=
ing afterwards=20=20
> on line 77.

(Or rearrange your code so that caml_copy_double is the last allocation you=
 perform in the fun.)

D