From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id ECF4A5D5 for ; Mon, 14 Jan 2019 19:06:29 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,478,1539640800"; d="scan'208";a="364030835" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 14 Jan 2019 20:06:29 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 0F4527FEFC; Mon, 14 Jan 2019 20:06:29 +0100 (CET) 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 9AFFB7FEFC for ; Mon, 14 Jan 2019 20:06:20 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=steck@stecksoft.com; spf=Pass smtp.mailfrom=stecksoft@gmail.com; spf=None smtp.helo=postmaster@mail-lj1-f172.google.com IronPort-PHdr: =?us-ascii?q?9a23=3Akg0TLRehsNjbg9/GIGMw9k2NlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcu9Zx7h7PlgxGXEQZ/co6odzbaO4+a4ASQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTahYr5+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYe?= =?us-ascii?q?RWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZ?= =?us-ascii?q?TAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v9LlgRgP2hy?= =?us-ascii?q?gbNj456GDXhdJ2jKJHuxKquhhzz5fJbI2JKPZye6XQds4YS2VcRMZcTyNODIOy?= =?us-ascii?q?YYUMEuQPI/pXopLhp1cStxayGRWgCP/txzJOm3T43bc60+MkEQze0gAuBcgBsG?= =?us-ascii?q?nQrN7oKKoeS/2+wrTUzTrdc/xW2jP955bSchwvvPqBWqlwcdbPxkYzFAPIlU6Q?= =?us-ascii?q?qZD7MDyJ1eQNqG+b7+R8Ve61l2EnrARxryGpy8wxiYfJnpoYxk7Y+Sh92oo4Jt?= =?us-ascii?q?21RFRlbdK4E5ZcrTyWOoloTs4kXmpmojw1yqcctp6+ZCUKyIooxxrYa/GfdoiH?= =?us-ascii?q?+BPjVOKILTd8hnJpZauzhxiv/UWi1OHwTMa00FFNripKltnDqGoB2ADU6siCUv?= =?us-ascii?q?d9/0Gh1iiT1w3L9O1IPUQ5mbDYJpMh2LI8iIYfvEfZEiPrmkj6kreadkA+9eip?= =?us-ascii?q?7+TnbK/mppiZN4JskQH+LrohldC8AeQjNQgOUXSb9P+z1L3m50L5QbFKgucqna?= =?us-ascii?q?netZDWPd4bqbKhAw9JzoYj7A6yACu839QdmXkLNVZFeBOcj4j1IFzOO/D5DfKn?= =?us-ascii?q?g1u2ijtrxvbGPqfgAprXNHTDnq3hLv5B7Bt7wwM2yZh67pNQC7cOaNbyQVO54N?= =?us-ascii?q?fRCxt8Nw2v387mDs9838UQQzTcLLWeNfaYiVaV4qoGZaG3eIIeuzLwMbJts+Xy?= =?us-ascii?q?gHQ6sUQBcKKqxpwZdDazGfEwcBbRWmblntpUSTRChQE5VuG/zQTaCWcCNUb3ZL?= =?us-ascii?q?o143QAMKzjCI7CQo63h7nYhXW0G5RXYiZNDVXeSC60JbXBYO8FbWepGuEkiiYN?= =?us-ascii?q?DOXzUJMs3hK1swHmjbFgK7iMo3BKhdfYzNFwotbru1Qy+DhzVZrP1miMSyRwnD?= =?us-ascii?q?pNSWZphuZwpktyzlrF2q990aRV?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AHMgCD3DxchqzQVdFjHAEBARkGBAEBB?= =?us-ascii?q?QEBgUMGAQEDAYNpJ4QBlFkGmTKBIwNhhy0aBwEENgQMAQMBAQIBAQEBARMBAQE?= =?us-ascii?q?ICwsIKSMMgjopAYMQHQEBOCUPAiYCJBIBBQEWDIM1gXUNoWQ8iipxgS+CdwEBB?= =?us-ascii?q?YcgCBJ5izQRBniBB4h+gy+CV5B9kQkHAgKSBhiBVQGQKZpdDyGBPwuBaXAVbAa?= =?us-ascii?q?CNYYJinQhMAGIEoJMAQE?= X-IPAS-Result: =?us-ascii?q?A0AHMgCD3DxchqzQVdFjHAEBARkGBAEBBQEBgUMGAQEDAYN?= =?us-ascii?q?pJ4QBlFkGmTKBIwNhhy0aBwEENgQMAQMBAQIBAQEBARMBAQEICwsIKSMMgjopA?= =?us-ascii?q?YMQHQEBOCUPAiYCJBIBBQEWDIM1gXUNoWQ8iipxgS+CdwEBBYcgCBJ5izQRBni?= =?us-ascii?q?BB4h+gy+CV5B9kQkHAgKSBhiBVQGQKZpdDyGBPwuBaXAVbAaCNYYJinQhMAGIE?= =?us-ascii?q?oJMAQE?= X-IronPort-AV: E=Sophos;i="5.56,478,1539640800"; d="scan'208";a="364030818" Received: from mail-lj1-f172.google.com ([209.85.208.172]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 14 Jan 2019 20:06:19 +0100 Received: by mail-lj1-f172.google.com with SMTP id g11-v6so121234ljk.3 for ; Mon, 14 Jan 2019 11:06:19 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=stecksoft-com.20150623.gappssmtp.com; s=20150623; h=mime-version:from:date:message-id:subject:to; bh=CbXOiZFvESkldFtu6QNcOwpHuxgtZ4usUenDW2V6lbQ=; b=kcRXzvBjIOvsdekK9rzzvG+ERH5eEknpndpuiyatJkQE8P39acPtBoKAtFYvsMT24Y shdFTzATldnlp3poiRgdUfkIMD0vjjQ8xBF212KK41JKMLhfs/Ko9rj3k+vcu0Te8BAc DJzHAseE3qC2vAruzLg01dzR+emYbPPQuSP4xkCwpW/Ik+0AQ03yw2stkQFAcP9ihEBa 9UYnBFQJG0fAhJ/ZLlTGIvP13hMUrQmI7tiIt4+5wl81fuUv1KlQn9uY+Btnq2usj6sV KA9ncO1KAtHferAWgUX0aoowdEkS2xMmqBihptXW7Mdx2AfJxT2b3A5rPjk6G2+mHzKc fQSw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=CbXOiZFvESkldFtu6QNcOwpHuxgtZ4usUenDW2V6lbQ=; b=tjqLqUF3za3ImIy8RIQVl37KE2jnndG5y8+tNWYkwXvM8xkOaINeL8BD50iTTU7Nxd S0AGSzI+9G639f3E5aIFj4wG2P54MOvIL/FiRq9L0SQrYi5a7mULZmD+hiihdGNB4/8W +lWRTvI+5mN7HDoME/SxJnwpA8/CMRuze+9udvJUOYUxhXCSVGdF0lFbckz+qD3rRI7+ Gehm0GLGP/M51OoKS3u50CEUdvtuFbcGLU/o0lqGuJ71CXzm8STs05d/LnrBD+8B17UM ZyVr5uuENlclVEDhcG0AIl0tRRY6dHHnSC7DG2SL9uLu8TG+wHAEcyOcPu7svJqcpVL4 W9qQ== X-Gm-Message-State: AJcUukci8COs0bnY/da1cIup50otUAzUqmeptEqaslYkt3x+u5azRk+j Y+h+nTuBi+EECQJMSGy4fKM2KI7BQTIKyzZWvpIIiuqX X-Google-Smtp-Source: ALg8bN5mcVbIXhnJRdsKRKQt0R4bzm0Ve/VlK71Mi7HaG2pKOKl+ih+5TkhHX2zmnDXiSbhHFnn91nKwldCBh7oDjoo= X-Received: by 2002:a2e:841:: with SMTP id g1-v6mr346251ljd.21.1547492778582; Mon, 14 Jan 2019 11:06:18 -0800 (PST) MIME-Version: 1.0 From: "Paul A. Steckler" Date: Mon, 14 Jan 2019 11:05:52 -0800 Message-ID: To: Ocaml Mailing List Content-Type: text/plain; charset="UTF-8" Subject: [Caml-list] ocamlopt segfault on large static array Reply-To: "Paul A. Steckler" X-Loop: caml-list@inria.fr X-Sequence: 17298 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: In my OCaml program, I have a large static 2D array, where the inner array contains pairs of strings. The inner arrays each have 2**9 elements, the outer array has about 1700 elements. The strings are about 90 characters each. If I compile it with ocamlc 4.07.0, everything is fine. With ocamlopt, I get a segfault. What limit am I hitting to get the segfault? -- Paul -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list https://inbox.ocaml.org/caml-list Forum: https://discuss.ocaml.org/ Bug reports: http://caml.inria.fr/bin/caml-bugs