From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 3B14A8015E for ; Sun, 11 Jun 2017 13:54:24 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=alex.only.d@gmail.com; spf=Pass smtp.mailfrom=alex.only.d@gmail.com; spf=None smtp.helo=postmaster@mail-it0-f54.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of alex.only.d@gmail.com) identity=pra; client-ip=209.85.214.54; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alex.only.d@gmail.com"; x-sender="alex.only.d@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of alex.only.d@gmail.com designates 209.85.214.54 as permitted sender) identity=mailfrom; client-ip=209.85.214.54; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alex.only.d@gmail.com"; x-sender="alex.only.d@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-it0-f54.google.com) identity=helo; client-ip=209.85.214.54; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alex.only.d@gmail.com"; x-sender="postmaster@mail-it0-f54.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AC0r7yRfjTCfWWEkjU7AyVTU9lGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcS8Zx7h7PlgxGXEQZ/co6odzbGH7Oa4ASQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9GiTe5Y75+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYe?= =?us-ascii?q?RWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZ?= =?us-ascii?q?TAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+t6LplSALziC?= =?us-ascii?q?cfKTE27H3XhMJ3jKJeuh2hphp/yJPQbIyaMPdye6XQds4YS2VcRMZcTy5OAo28?= =?us-ascii?q?YYUBDOQPIPhWoJXmqlsSsRezHxWgCP/zxjJKgHL9wK000/4mEQHDxAEtA9YOv2?= =?us-ascii?q?rbrdrrNKYZTO+7zKbPzTXZaPNWxyr25Y/SfRAlv/6NUqh8cc3XyUkrFwLJlEif?= =?us-ascii?q?pJfqPzOQzOsNsmyb4/B8WuKojm4qsgd8qSWhyMcrj4nGnIMVylbc+CV4xoY1P9?= =?us-ascii?q?y4R1Rhbd6qCptcrzmaOJFtQsM+XW5noyc6yrsctZGneygKzYwrxxHea/ybc4iI?= =?us-ascii?q?/wnsWPyNLjd/gXJpYLK+iAyy8Uinze3wTNW70FFPridDj9LCtWgN2gTN5sSbTv?= =?us-ascii?q?Zx5ESs1DaV2wzN9+1JLlo4mKrUJpMn37U+jIAcsV7ZES/zgEj2jLGZdkEj+uWw?= =?us-ascii?q?7uToeLTmppuFO491lgHyLr0imsK/DOk3KAQOUG+b+eOz1L3n40L1WqlFjvozkq?= =?us-ascii?q?XBsZDaI9oUprKhDgNLzoou7wyzAjSm3dgCg3ULMV1IdAiHgoXmI13OJer3Dfa7?= =?us-ascii?q?g1SiijdrwPXGM6X7DZXJMHfCn63tfbF7605YyAs/181Q6olbCrEEOv3zW0vxuM?= =?us-ascii?q?bEAR8+Ngy42/znB8ll1oMCRWKPBbeUP7/Ivl+N4uIjOu2MZI4OuDbhMPUl/P7v?= =?us-ascii?q?jXohmVAHZ6Wp3J0XaGq5Hvt8OUmZb2Ds0Z89FjImtxQ/QKTDjFmZViZLLyK+Ra?= =?us-ascii?q?t54DwkE6qjAJvKXZyki7/H1yC+SM54fGdDX3mIHGflZs2pVPAWbzzadsZlnyxC?= =?us-ascii?q?Ur6lWskt/R6rvQ7+jbFgK7yHqWUjqZv/2Y0ttKXonhYo+GkoXsk=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CuAADRLj1ZfzbWVdFdGwEBAQMBAQEJA?= =?us-ascii?q?QEBFwEBBAEBCgEBg1ABPoENB4NtihiRboI/k0SCESELhXQCAgKCegc/GAEBAQE?= =?us-ascii?q?BAQEBAQEBEgEBCQsLCCYxgjMMgloBAQEDASIEGQEbEgsBAwwGBQsDCgICCR0CA?= =?us-ascii?q?iEBAREBBQEKBAENBhMSCIl5AQMIDRCkSj+MCIFsGAUBHIMKBYNpChknAwpWgz8?= =?us-ascii?q?BAQEBAQEEAQEBAQEbAgYSeYRETIUSNIJYgXyDKIJhBYduDIlDjEc7hyuHOoRkg?= =?us-ascii?q?luPK4tGh14UH4EVH4FCMCEjXRmEZIIYOTYBihsBAQE?= X-IPAS-Result: =?us-ascii?q?A0CuAADRLj1ZfzbWVdFdGwEBAQMBAQEJAQEBFwEBBAEBCgE?= =?us-ascii?q?Bg1ABPoENB4NtihiRboI/k0SCESELhXQCAgKCegc/GAEBAQEBAQEBAQEBEgEBC?= =?us-ascii?q?QsLCCYxgjMMgloBAQEDASIEGQEbEgsBAwwGBQsDCgICCR0CAiEBAREBBQEKBAE?= =?us-ascii?q?NBhMSCIl5AQMIDRCkSj+MCIFsGAUBHIMKBYNpChknAwpWgz8BAQEBAQEEAQEBA?= =?us-ascii?q?QEbAgYSeYRETIUSNIJYgXyDKIJhBYduDIlDjEc7hyuHOoRkgluPK4tGh14UH4E?= =?us-ascii?q?VH4FCMCEjXRmEZIIYOTYBihsBAQE?= X-IronPort-AV: E=Sophos;i="5.39,328,1493676000"; d="scan'208";a="227893645" Received: from mail-it0-f54.google.com ([209.85.214.54]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 11 Jun 2017 13:54:23 +0200 Received: by mail-it0-f54.google.com with SMTP id m62so14182175itc.0 for ; Sun, 11 Jun 2017 04:54:23 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=18D4RUycpD2dEk97gSSZCSrvpbSFA0ci8dZADEnkmzE=; b=VHCjDDN3EWuvRYvZn3yWjV1m8qcrEWv2e3rW9rJPOleYFtfdy/Wnztsi3b9GSD6jFH Tw2Ngg/uTFRmiVEcTAJiYtGkIVJGy//6zrGDtP9klgffvl6GsPBEo4Xy3PwPbIJ09h4p b/ocUTVsnsoRyGZgWZfCpWnZbG9fqMMNhoOgG/JR6rkzuYYbCScA5t2CeAMOpfCXNwes IMxDXXLdnCmWILL/mGTMLz/C7nCEWiZWlLuxKxdT0i3M/8fbZVf322obl3VZLej65NXS Fhbf5xZDavZyfNvVO72KXnE5SxDOGvQOFGnwfZOTg8aJtQjB9d5c1gigb3RmBr2Eh6CL DAMA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=18D4RUycpD2dEk97gSSZCSrvpbSFA0ci8dZADEnkmzE=; b=rlyc5MAnX83ejNelD8aVtAZshpgas2kIMRr61E6G1iBx6HHUuzeNRMeheTs4ea3PmL x+I0/GfkbRDR9gwn6mpQ11OCdD9JClSfW6Bj6UEsSaF0ZQbEh5kj89YZhyGsODaMIm/T nGb3az5mDLjMR+t68gWKvPwLKvC3xH80H6keRdTzICS2pLK6OX39GYNuyWK6rN3I6Yc6 AosTfqUBZQNBrE8tRUDMb16LRbGx3TZ9ueuF/MzfUIzNrzdIp6juOLhZTP7xoQkFPUyx Kilp7V17Z+55xEcuVDnlbqa9b/NS1lqp83p+DJpCybBKBAJCwbfTRhAaeoYKPG32n+Ex 6wVw== X-Gm-Message-State: AODbwcClUytvR5JL3V1J0iHp8lUPEnBIo8ziHbCexnDhSd6ZkZrHZHc0 hC8A5KFrF2L1E+uKICfYfPF7PEPRW2yp X-Received: by 10.36.181.4 with SMTP id v4mr7790817ite.103.1497182061631; Sun, 11 Jun 2017 04:54:21 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.151.19 with HTTP; Sun, 11 Jun 2017 04:54:21 -0700 (PDT) In-Reply-To: <3064D48A-0481-4CB2-B208-2E61AA08920D@metastack.com> References: <3064D48A-0481-4CB2-B208-2E61AA08920D@metastack.com> From: Alexey Egorov Date: Sun, 11 Jun 2017 16:54:21 +0500 Message-ID: To: David Allsopp Cc: "caml-list@inria.fr" Content-Type: text/plain; charset="UTF-8" Subject: Re: [Caml-list] memory corruption using C stub OCaml side is a complex server-side application; unfortunately, it's closed-source and when I'm trying to minimize OCaml side too it stops crashing... I'm using fdopen's opam repository (https://github.com/fdopen/opam-repository-mingw) with compiler's versions from 4.03 to 4.05-beta3. 2017-06-11 16:45 GMT+05:00 David Allsopp : >> On 11 Jun 2017, at 12:38, Alexey Egorov wrote: >> >> OK, I'm minimized this function as much as possible and it's still >> crashing - https://pastebin.com/MZ0Qkh9B >> Now I'm thinking that is compiler's bug on windows... > > Are you able to post the OCaml side of your minimised code? Which port of OCaml are you using? > > > David > > >> 2017-06-10 20:33 GMT+05:00 Alexey Egorov : >>> Hello, >>> >>> I have an OCaml application with some C code which (I believe) is the >>> reason of some random crashes. >>> >>> Here is the code - https://pastebin.com/FVtLphZu >>> This function reads file at given offset, divides data into chunks and >>> compute checksums and compression ratio: >>> external compute_data_props >>> : string -> int -> int -> int -> (int * int * float) list = >>> "compute_data_props" >>> >>> The problem is, after some calls to this stub, application is crashing >>> at random places in OCaml code. >>> I can't figure out what's going wrong, but replacing this stub with >>> dummy function (which does nothing but returns some predefined list) >>> eliminates the problem. >>> >>> What can we do to debug it? We are using OCaml 4.04.1 and Windows 10, >>> and there is no other C stubs in our codebase. >>> >>> Thanks! >> >> -- >> Caml-list mailing list. Subscription management and archives: >> https://sympa.inria.fr/sympa/arc/caml-list >> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners >> Bug reports: http://caml.inria.fr/bin/caml-bugs