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 B50DE5D5 for ; Mon, 14 Jan 2019 19:28:43 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,478,1539640800"; d="scan'208,217";a="364032331" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 14 Jan 2019 20:28:42 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 176C38256D; Mon, 14 Jan 2019 20:28:42 +0100 (CET) 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 775427FEFC for ; Mon, 14 Jan 2019 20:28:37 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=vietlq85@gmail.com; spf=Pass smtp.mailfrom=vietlq85@gmail.com; spf=None smtp.helo=postmaster@mail-vs1-f48.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AYM05ExLaewINyDQc89mcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgRIvTxwZ3uMQTl6Ol3ixeRBMOHs6IC07KempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9JDffwZFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+?= =?us-ascii?q?RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLd?= =?us-ascii?q?QgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QKsqUjq+8ahkVB7oiD?= =?us-ascii?q?8GNzEn9mHXltdwh79frB64uhBz35LYbISTOfFjfK3SYMkaSHJOUcZfVSNPAo2y?= =?us-ascii?q?YYgSAeQfIelVtJPyq0cUoBakGQWgGOHixzlVjXH2x6061OEhHBnJ0wwhAd0OrG?= =?us-ascii?q?nfotPrO6wPVu210qjIwivfb/NSwDfw64jFfwsuofGJR71wcM7RxVMzGAPCi1Wd?= =?us-ascii?q?sIroNC6b2OQKtmiU9etgVeS3hm4gtw5+uD2vxsM2honOnIIVxUjI9SR/wIYvJN?= =?us-ascii?q?23UlR3YdC+EJZWqiqUNJN2T9s8T210vCs20L4LtJ6hcCQU1ZgqxQTTZvOEfoWO?= =?us-ascii?q?/xntTvyeIS1ii3JgYL+/hwi98UynyuDkU8m7yldKri5cntnSrXABygXf6saIR/?= =?us-ascii?q?Z+5Euh1jGP1wfc6uFAP084j7bUK5kkwrIol5oTt1rMHjPulUnokKObcl8o9+uo?= =?us-ascii?q?5uj9fLnqu52RO5V7hwz9Kqgun9awAeU8MggARWib/uG82aX9/U34XrpKkvk2kr?= =?us-ascii?q?DavZ3aPskbqau5DBVU0oYn8RqwEzCm0NEAkXkdMF1FYA6Hj5TuO1zWPP/3F/K/?= =?us-ascii?q?g1C1nDdvxvDGJaHhD47WLnnDlbfhZaxy51RdyAo119Bf5ohbBqsPIPLpCQfNs4?= =?us-ascii?q?mSNhYkN0Sdha7cFNh21YcTQyjHVrSFPajRmUSU6+ksOO6CeMkevzOreNY/4Pu7?= =?us-ascii?q?s340hRc5cOH9w5oadHShTqlOLECQYH6qidAERzRZ9jEiRfDn3QXRGQVYYGy/Cu?= =?us-ascii?q?dlvmliWdCWSLzbT4Xou4SvmSKyH5lYfGdDUwneHnLhdoHCUPAJOnvLfp1R1wcc?= =?us-ascii?q?XL3kcLcPkAm0vVajmbViJ+vQvCYfsMC7jYUn16jojRg3sAdMIYGd3mWKFTwmm2?= =?us-ascii?q?oJQ3oox/k6rxAtjFiE1qd8jrpTEtkBv/4=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AGDAAn4jxchzDZVdFjHgEGBwaBZYIpA?= =?us-ascii?q?UCBAieEAYEdgl6SGYkNgRSHc4I2hS0NI4RJAoI/GgcBBDQSAQMBAQIBAQEBARM?= =?us-ascii?q?BAQEIDQkIGw4jDII6KQGCZwEEASMdARsSCwEDAQsGBQQHGh0CAiIBEQEFARwGE?= =?us-ascii?q?4MiAYFoAQMNCA+hVjyLG4ESBQEXgngFhDUKGScNXlBnAgYSjC2CFoN1LoRZAlO?= =?us-ascii?q?CXIJXAoErAQGgVgEGAgENgUsGUIRuhk+EHRiCMY9OjwaLVw8hgRMpgXdwUDFtg?= =?us-ascii?q?U4JghIag1SBPoNWhT9CMIgTDheCJwEB?= X-IPAS-Result: =?us-ascii?q?A0AGDAAn4jxchzDZVdFjHgEGBwaBZYIpAUCBAieEAYEdgl6?= =?us-ascii?q?SGYkNgRSHc4I2hS0NI4RJAoI/GgcBBDQSAQMBAQIBAQEBARMBAQEIDQkIGw4jD?= =?us-ascii?q?II6KQGCZwEEASMdARsSCwEDAQsGBQQHGh0CAiIBEQEFARwGE4MiAYFoAQMNCA+?= =?us-ascii?q?hVjyLG4ESBQEXgngFhDUKGScNXlBnAgYSjC2CFoN1LoRZAlOCXIJXAoErAQGgV?= =?us-ascii?q?gEGAgENgUsGUIRuhk+EHRiCMY9OjwaLVw8hgRMpgXdwUDFtgU4JghIag1SBPoN?= =?us-ascii?q?WhT9CMIgTDheCJwEB?= X-IronPort-AV: E=Sophos;i="5.56,478,1539640800"; d="scan'208,217";a="291899736" Received: from mail-vs1-f48.google.com ([209.85.217.48]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 14 Jan 2019 20:28:36 +0100 Received: by mail-vs1-f48.google.com with SMTP id z3so119197vsf.7 for ; Mon, 14 Jan 2019 11:28:36 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=JCFEmP0PXejJB9GTf3wdcV2wojmVdYzn9fYe5tMfoHw=; b=H5FZT6UtGyPpqk9rDsPRF4e3DtApBvFTPbH5lNVkEsaEY+3ljiV+2wa4IrDQcg96uo VimwpSgXgX6ZjQAITrPN3zWkZx7+x+G38aJJaUeuWUOx/s0IsLbztm00w2RFWRzDs4be wjFAyouof1ttkRrtsnDDlT8fWjfQBqcBwEWKSdS4prIKQFu6QtT7lk4pa7C0Ky+ejsmg oy1ftE5yLuKjzm6agxNy7UmphvhJYphmniIkZfD6oiNS4jkc82tSb/CkFRMj/Vp869LV gPxtHr7TeCgfqBtBxPUD6zhgyy5XP/B3VH7uAqcgFxkx/TadJEgH045FL0ovhlc3+6me qgzQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=JCFEmP0PXejJB9GTf3wdcV2wojmVdYzn9fYe5tMfoHw=; b=se8WvdEWl80wJIOlHWaRiHFITXf/wQeZsA+AqNQkstXnLHV2CPPAiB3lEGcsUuRY7o 76mxJHWMI7FsPSM9KgL83S1uAc3pQ6f0z9V3rvO/X1fO7yULoq+GKUABaj3YsdEwFoOp oGKmL3I2cwNklccKCDuU08HS/JskDQ30JI7ZZKoT3CflDdNUSY4DomBir407UK08e9Fz HDsNAQbz+d+tmH9jyb6LCpKm1wUwUAkiOFsPdT6Pj5U4d3yG5B/dw2kKfkEXVbFlJBAV oyriiyQcbYoHhoUtzjB8ZfMhy8e0ngUNIu0n3GPb8Gj2yswYjsoOCXwYBys2Hk47yEmR d54w== X-Gm-Message-State: AJcUukd3GR2cqOAZIEWgypfDKgXIA58j7F+l8D0DChCtMclk/oBVnTl0 1XdPKNYNCg4pFFYIsL/zqprBTcoOVWo85uy1XGg2SQ== X-Google-Smtp-Source: ALg8bN5rAish/oYhfwJ+icE6yKgjzP+ARRaUmMW1m8VQOkNLtvspvtQxUd4J9VRpRGogW34yCih1uPXc9jYYFoqPx0w= X-Received: by 2002:a67:300c:: with SMTP id w12mr38548vsw.36.1547494114931; Mon, 14 Jan 2019 11:28:34 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: Viet Le Date: Mon, 14 Jan 2019 19:28:23 +0000 Message-ID: To: "Paul A. Steckler" Cc: Ocaml Mailing List Content-Type: multipart/alternative; boundary="000000000000033b2d057f700d9a" Subject: Re: [Caml-list] ocamlopt segfault on large static array Reply-To: Viet Le X-Loop: caml-list@inria.fr X-Sequence: 17299 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: --000000000000033b2d057f700d9a Content-Type: text/plain; charset="UTF-8" Looks like stack overflow to me. Viet On Mon, 14 Jan 2019 at 19:07, Paul A. Steckler wrote: > 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 > -- Kind regards, Viet -- 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 --000000000000033b2d057f700d9a Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Looks like stack overflow to me.

Viet

On Mon, 14 Jan 2019 at 19:07, Paul A. Steckler &l= t;steck@stecksoft.com> wrote:=
In my OCaml program, I have a larg= e 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.=C2=A0 Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list htt= ps://inbox.ocaml.org/caml-list
Forum: https://discuss.ocaml.org/
Bug reports: http://caml.inria.fr/bin/caml-bugs
--
Kind regards,
<= /div>
Viet
--000000000000033b2d057f700d9a--