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 CE73180143 for ; Fri, 2 Jun 2017 17:52:18 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=xramtsov@gmail.com; spf=Pass smtp.mailfrom=xramtsov@gmail.com; spf=None smtp.helo=postmaster@mail-lf0-f51.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of xramtsov@gmail.com) identity=pra; client-ip=209.85.215.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="xramtsov@gmail.com"; x-sender="xramtsov@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of xramtsov@gmail.com designates 209.85.215.51 as permitted sender) identity=mailfrom; client-ip=209.85.215.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="xramtsov@gmail.com"; x-sender="xramtsov@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-lf0-f51.google.com) identity=helo; client-ip=209.85.215.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="xramtsov@gmail.com"; x-sender="postmaster@mail-lf0-f51.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ADcLcXxIwk2KX7oACF9mcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgeK/TxwZ3uMQTl6Ol3ixeRBMOAuqwC1rWe8/i5HzdRvtDZ6DFKWacPfiFGoP?= =?us-ascii?q?1VpTBoONSCB0z/IayiRA0BN+MGamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blIt?= =?us-ascii?q?daz6FYHIksu4yf259YHNbAVUnjq9Zq55IAmroQnLuMQbhYpvJrwxxxbLv3BEf/?= =?us-ascii?q?hayX5yKV+dmxvx5N288IJ//yhVpvks69NOXaLmcqs3SrBVEC4oP2cp6sP1qBLN?= =?us-ascii?q?VxGP5nwSUmUXlhpHHQ3I5wzkU5nyryX3qPNz1DGVMsPqQ780Xy+i77pwRx/zlC?= =?us-ascii?q?gHLT85/3rJhcF2kalWvQiupx17w47TfYGVKP9zdb7TcN8GWWZMWNtaWipcCY2+?= =?us-ascii?q?coQPFfIMM+hYoYfjulUArhmxBQerCuzg1jBGiWT73bE43uk7DQ3LxhAsE8wIvX?= =?us-ascii?q?/JrNv1LqASUeWtwafH0zXDYO1Z2TH96YPVdx4hoeuMUqh1ccrN0kkvEB3FhUiX?= =?us-ascii?q?pI3qJTOazOENs3SA7+pnS+KikGEnqwRrrTiuwscgkJXGhoUQyl3d8yhy3Yg7Jd?= =?us-ascii?q?q9SEFhYN6kFoNdtyaZN4tzQ8MiQXtkuCEgyr0Jv5OwYSsEyIw/yhLBd/CKd5KE?= =?us-ascii?q?7xHjWeqLPzt0mXJodKi/ihqv6UStxPDwWtOp3FtJsyZJiNfBum4X2xHc68WKTO?= =?us-ascii?q?Z28F271jaVzQ/T7/lJIUAqmqrfLJ4s2rswmYASsUTHByP2nEv2gLOPekUq+uWk?= =?us-ascii?q?9v7rYrrhpp+bOI90jh/xPr4ylcy4BOQ0KgkOX26F9uSgzLDv41H1TbFQgvA1kq?= =?us-ascii?q?TVqo7WKdkbq6KjAwJZz54v6xOlADen1NQYk2MHLFVAeB+fgInpIUvBIPXkDfek?= =?us-ascii?q?hFSsjixmx//DPrL7A5XNKmLPn6vmfbZ480Jc0hY8zchD55JIDbEMOO78VVX0tN?= =?us-ascii?q?zcFxM5Nw20w/37CNhmzYMfWWePAreDP6/IsF+I4PgvI+iWa4MPtjb9Matt2/m7?= =?us-ascii?q?hnY8nRoZfLK19ZoRcnGxWPp8cGuDZn+5r8kOHGEb9ik+VuXvlEaFT3YHd2y7Wr?= =?us-ascii?q?4n4S8TB4evDIOFTYeo1u/SlBynF4FbMzgVQmuHFm3lIt2J?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AQAgD4iDFZhjPXVdFdHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBhA6BDZ5VAQEGgSeJGIxkgg8shXgCgnxBFgEBAQEBAQEBAQEBEgE?= =?us-ascii?q?BAQgLCwgoL4IzIoJEAQICAToGARseAwELBgUhExIPFBEBBQECGhmKEQEDCAUIB?= =?us-ascii?q?AyjAj+OCwUBHIMKBYNYChknDVaCeQEBAQcCHgIGCQEIhgmFRYMBgjWFJgWRMIx?= =?us-ascii?q?/hyGLfQ2CW4ghhn6TFDOBFSYKgTFRIxVGhHcfgXJziXMBAQE?= X-IPAS-Result: =?us-ascii?q?A0AQAgD4iDFZhjPXVdFdHAEBBAEBCgEBFwEBBAEBCgEBhA6?= =?us-ascii?q?BDZ5VAQEGgSeJGIxkgg8shXgCgnxBFgEBAQEBAQEBAQEBEgEBAQgLCwgoL4IzI?= =?us-ascii?q?oJEAQICAToGARseAwELBgUhExIPFBEBBQECGhmKEQEDCAUIBAyjAj+OCwUBHIM?= =?us-ascii?q?KBYNYChknDVaCeQEBAQcCHgIGCQEIhgmFRYMBgjWFJgWRMIx/hyGLfQ2CW4ghh?= =?us-ascii?q?n6TFDOBFSYKgTFRIxVGhHcfgXJziXMBAQE?= X-IronPort-AV: E=Sophos;i="5.39,285,1493676000"; d="scan'208";a="227136847" Received: from mail-lf0-f51.google.com ([209.85.215.51]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 02 Jun 2017 17:52:15 +0200 Received: by mail-lf0-f51.google.com with SMTP id h4so45458464lfj.3 for ; Fri, 02 Jun 2017 08:52:15 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:from:to:subject:message-id:in-reply-to:references:mime-version :content-transfer-encoding; bh=A8BSF5KmzcdhTdxESz9pDx1PyQzgZQVrvrb3GoqKSQc=; b=b3ghJb78C4mK+9AwZmVO8oij6ax8wGbMzIx+3CRrrng8SVAUq6XQynkt/EE11C4/h6 wqnHBwLEBx0O/1WQhcMKTSDL9WWFv6wB4Gx3MbVUWmUnPktFNRITMyAvmYGZc3tzwyt9 njYilKT7qDTaHZwKcfbwFhJKSahs8a7c/vktXap1J0SovzcqYqJl/4JSzMqkwA1szL9X c2L7UrQzvCxo5oVHkGKWd0qT+epGdnlZ2jSTswAKQz31C1oYJjM7MQWUoiaV/87hu6nu OAMeSt7KubwklErL/xRsAMofTCjoaMTUUsM1W2bqG6KKjoofmQdAEzc1jgSlx4IBG1L6 WGpg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:from:to:subject:message-id:in-reply-to :references:mime-version:content-transfer-encoding; bh=A8BSF5KmzcdhTdxESz9pDx1PyQzgZQVrvrb3GoqKSQc=; b=seXUa9dwp8G0EEnP43jGwAAn8d/MN5ZMevQ2UQr0B6WJKzHSYFJjul//Z3Izg7wqqw XE0pzKNPmi4suZH/Q/RK/LUap+Ycag3+kWHA7w6PJ6F23YwQiYDa+GFptE4dhsbQ4brc q5rU5NTDDilMqIidhR+hd4ypWkD6MlpXyFeUakKsixzjRldogV89ZM2Uf+wrfunOSZFn H2EFVkBF8w9lIx/fTHFe+ONgLPl5sMV3jryErjZkcbr0UQhj4NWHeZBdmLzXhKAMn/n/ VjtheVTtmAkAuGWN/tjy+AScCrWN0h+su+jCmubJCYLo+NvPkhG+DP4WvRWZUMYReGps vaFQ== X-Gm-Message-State: AODbwcCLaDBybwWh8PoE/fXzK7IGf3ttEy/qXn7P4sl3SxP8TSjMgwxC b53gowsGnQSm6nU0 X-Received: by 10.46.5.130 with SMTP id 124mr1139292ljf.95.1496418734814; Fri, 02 Jun 2017 08:52:14 -0700 (PDT) Received: from zinid.ru ([31.181.32.46]) by smtp.gmail.com with ESMTPSA id x13sm5007904ljd.64.2017.06.02.08.52.13 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Fri, 02 Jun 2017 08:52:14 -0700 (PDT) Date: Fri, 2 Jun 2017 18:52:13 +0300 From: Evgeny Khramtsov To: caml-list@inria.fr Message-ID: <20170602185213.062bcf10@zinid.ru> In-Reply-To: <20170602150557.GA91690@www1.g3.pair.com> References: <20170602173221.0583a14c@zinid.ru> <20170602150557.GA91690@www1.g3.pair.com> X-Mailer: Claws Mail 3.13.2 (GTK+ 2.24.22; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Delimcc bug Fri, 2 Jun 2017 11:05:57 -0400 oleg@okmij.org wrote: > You can send me directly, or send to the list if you want. But be sure > you fetch the latest version from my web page. The problem is usually > GCC, which optimizes too much. So, special flags are required to > switch off some optmizations. You can see in the Makefile. If you > have a very recent version of GCC, chances are it needs some more > flags to disable too aggressive optimizations. I'm using delimcc from opam, the url it's pointing to is http://okmij.org/ftp/continuations/caml-shift.tar.gz Sometimes it segfaults, sometimes it stops with "take_subcont: can't happen". I tried with gcc 6.2.0 and 4.9.2. Do I need even older gcc? :)