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 EA7BB8015E for ; Sun, 11 Jun 2017 13:37:49 +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-f51.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.51; 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.51 as permitted sender) identity=mailfrom; client-ip=209.85.214.51; 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-f51.google.com) identity=helo; client-ip=209.85.214.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alex.only.d@gmail.com"; x-sender="postmaster@mail-it0-f51.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A13tt6xSZFkDvjPApvKXb1tyvHNpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa69YBCN2/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/2PZisJwgqxVow+vqQJjzIPPfIGZKOBzcr/Bcd8GR2dMWNtaWSxbAoO7?= =?us-ascii?q?aosCF/YMPeJGoIjyuVQPrQa1CwajBOPo0D9IgWH21rA93us7FQHJwgMhE8gJsH?= =?us-ascii?q?TSqNX0NL0eXv2uwanHyDXMdfJW2TPn5IfUdRAhpOiBULRtesTfzkkvEhnKjlSW?= =?us-ascii?q?qYH9JzOazP8Ns3SF4OV7VOKvjXQrpB12ojiqwMonl4rHhpoNx1za6Sl0xJw5KN?= =?us-ascii?q?64RUJhf9KoDZRduzuaOodrRM4pXntmtzwgyrIcvJ62ZCgKx4ojxx7Yc/GHdpKH?= =?us-ascii?q?4hPnVOqIIDd4mG5pdKuxhxuy7ESs0OL8Vs6z0FZFqipKjMPAuWwK1xzW8sSHS/?= =?us-ascii?q?198Vm92TuXyQzf9uVJLVo3mKfbMZIt3KM8m5UJvUnDAyP6gED2g7WXdkUg9Oio?= =?us-ascii?q?8ePnYrD+q5CGM497lA7/Pr4pmsy5BeQ5MhICUHWA9OSz0b3s50z5QLFQgvIqla?= =?us-ascii?q?nZtYjWJd4Hqa6hHw9VzoEj5g6jADi81dQYmWALLFZEeBKck4jkIErOIfD9Dfen?= =?us-ascii?q?mVugijZrx/bcPr3gGJrBNHbDkK2yNYp6vkVVzQ52ydFE+7pVDKsAKbT9QBzfrt?= =?us-ascii?q?vdWzY9Phy50q7KB9Jn0Z1WDWuLD7/fN6XWoBmEzu0qKuiIIoQSvWCueLAe+/fy?= =?us-ascii?q?gCphyhcmdq6z0M5PZQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A7BgBJKz1ZhjPWVdFdHQEFAQsBGAEFA?= =?us-ascii?q?QsBg1ABPoENB4NtmWwBYwkGgSOYGCiFeAICAoJ6B0IVAQEBAQEBAQEBAQESAQE?= =?us-ascii?q?BCAsLCCgvgjMigkQDAyMEGQEbHgMMBgULDwImAgIhAQERAQUBDgENGYoTAQMID?= =?us-ascii?q?aRZP4wIgWwYBQEcgwoFg2kKGScNVoM/AQEIAQEBARwCAQUSeYRETIUSNIJYgl6?= =?us-ascii?q?CRoJhBZE9jEc7hyuHOoRkkgaLRodeFB+BFTWBLDAhI10ZhGQfgXk5NgGKGwEBA?= =?us-ascii?q?Q?= X-IPAS-Result: =?us-ascii?q?A0A7BgBJKz1ZhjPWVdFdHQEFAQsBGAEFAQsBg1ABPoENB4N?= =?us-ascii?q?tmWwBYwkGgSOYGCiFeAICAoJ6B0IVAQEBAQEBAQEBAQESAQEBCAsLCCgvgjMig?= =?us-ascii?q?kQDAyMEGQEbHgMMBgULDwImAgIhAQERAQUBDgENGYoTAQMIDaRZP4wIgWwYBQE?= =?us-ascii?q?cgwoFg2kKGScNVoM/AQEIAQEBARwCAQUSeYRETIUSNIJYgl6CRoJhBZE9jEc7h?= =?us-ascii?q?yuHOoRkkgaLRodeFB+BFTWBLDAhI10ZhGQfgXk5NgGKGwEBAQ?= X-IronPort-AV: E=Sophos;i="5.39,328,1493676000"; d="scan'208";a="227893020" Received: from mail-it0-f51.google.com ([209.85.214.51]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 11 Jun 2017 13:37:44 +0200 Received: by mail-it0-f51.google.com with SMTP id m47so12190073iti.0 for ; Sun, 11 Jun 2017 04:37:44 -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; bh=y37Bq35Kf7iQ93QUh5E5lADqX2747RHF0s1qdjXSYU4=; b=TDPJUppOl+dcgVV+ubJbydDhoQLbyRBk/bpNC+Bn86T66j0mFhd/8ROtDAipe1aEm+ crJ75v+/tFcKdRp9mFsEh/YPR6UZG/FpEBt1G7GRx2Wn1j8GawFqWREdFr9+SCNsquRd paMioLycPHBKJFIdksQA6qrSBdQqWtvJCZ/F4RpjQs5SjAW5UzwTIWCsrJPtluJ9KDyy eLcOmH4TTpbzmdMrMOceJkJNbOy6uhWNddacRyQtY35a1n0qdOd9o85754ytCNM+udXU Y296gdQRlfmYlYszq5N5v9GT1CjJcxQJZWLKkRMBuFmuwu08wwhWLxbH72jpcrYN6HJh vy1g== 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; bh=y37Bq35Kf7iQ93QUh5E5lADqX2747RHF0s1qdjXSYU4=; b=RgTzP8OYx+jvbY2qhKoPLvYfq8m4UoCGWhI4zrQS/zEMVvZMrES7tXhJwLGH+YCv+I mSSdk3/gRlbaFRCp/uop8jTphe8TWY4OXjdO+CdttHba1iv1cJyR3F4w8J7j0+/9sU92 XgjdlZjMnEv5q4MkGn5jTL/ZFgG6OKmMrsPdZL6/cJYFJxzjv35vs/76HbBrz4rgMYqb 1/uXH6Etwg2YRuGt4yfwUX1dcH15LA6dT5S7oI4Rlg5dvjezAsG6rLQjzQnxbVuw4nm9 LbVVNO91GfUe/Om0c9DoArxEDqeVStV/7s5o30+zZ8Rhm0UNfbqziWhZikWwpUXmGuwh sCFA== X-Gm-Message-State: AODbwcC5hsCdrFkA3MiPAzsXc3mhYdkjJMeQ3jnRuYe34LlichiYamLa G4WVbzZNruG/lWd+3qTRHd0XzJ7JTNW9 X-Received: by 10.36.58.196 with SMTP id m187mr7303255itm.89.1497181063028; Sun, 11 Jun 2017 04:37:43 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.151.19 with HTTP; Sun, 11 Jun 2017 04:37:42 -0700 (PDT) In-Reply-To: References: From: Alexey Egorov Date: Sun, 11 Jun 2017 16:37:42 +0500 Message-ID: To: caml-list@inria.fr Content-Type: text/plain; charset="UTF-8" Subject: Re: [Caml-list] memory corruption using C stub 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... 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!