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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id D06C380143 for ; Sat, 3 Jun 2017 07:38:12 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=xramtsov@gmail.com; spf=Pass smtp.mailfrom=xramtsov@gmail.com; spf=None smtp.helo=postmaster@mail-lf0-f45.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of xramtsov@gmail.com) identity=pra; client-ip=209.85.215.45; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="xramtsov@gmail.com"; x-sender="xramtsov@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of xramtsov@gmail.com designates 209.85.215.45 as permitted sender) identity=mailfrom; client-ip=209.85.215.45; receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-lf0-f45.google.com) identity=helo; client-ip=209.85.215.45; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="xramtsov@gmail.com"; x-sender="postmaster@mail-lf0-f45.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Aj8x4iBdBhG5plD6vbARc4ukTlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcuyZh7h7PlgxGXEQZ/co6odzbGH7ea9BiRAuc/H6yFdNsQUFlcsso?= =?us-ascii?q?Y/oU8JOI2/NQXDNvnkbig3ToxpdWRO2DWFC3VTA9v0fFbIo3e/vnY4ExT7Mhdp?= =?us-ascii?q?dKyuQtaBx8u42Pqv9JLNfg5GmCSyYa9oLBWxsA7dqtQajZFsJ6s1yxbFuHtFdu?= =?us-ascii?q?ZLzm9sOV6fggzw68m08ZNh6Shcp+4t+8tdWqjmYqo0SqBVAzshP20p/sPnsgXN?= =?us-ascii?q?QxWS7XUGSGUWlRRIAwnB7B7kW5r6rzX3uOlg1iSEJMP6Vb87Vyis4KdtUx/olT?= =?us-ascii?q?wINyUl/2HNi8x/l7xUrRS8rBFi2YHUYYWVNP1jfqPBeN4RWGRMUtpNWyFHH4ix?= =?us-ascii?q?aZYEAegcMuZCt4TzqVsAowWjCwevBuzvxDhGiXDq0qM1yOkhDQPL0RY8E98UrH?= =?us-ascii?q?jYstP4P7oSX+Cvy6nIyC3OYfxI2Tfy9ofIdBAgquyJU7Jwa8re00wvFx/ejlWX?= =?us-ascii?q?t4zuIjSY1+sXs2eB6upgSfmvi2k5qwxqrTivw90jiojNho4P1l/E8iB5zZ8zKN?= =?us-ascii?q?alS0B7ecapHIVMuyyeLYd7QcMvT3t2tConyrAKo5G2cSgSxJkp2hLTceGLfouV?= =?us-ascii?q?7h75WuudPy10iX1kdb+5mh2861KvyvfmWcmxyFtKrjRKkt3Ltn0V0hzc8MmHSv?= =?us-ascii?q?9k8kel1zaDyxnf6u9LLE00j6bbJJkhwrk/lpoXr0vPBDP5mELzjKOOd0Uk/Pan?= =?us-ascii?q?6/j/b7n4upORM5V4hwL+P6g0hMCzHOQ1PhIBUmWb4ei80afs/Uz9QLVElP02la?= =?us-ascii?q?zZvYjVJMQBvKG5BhNV0p0k6xahFDqm39EYkmMGLFJBYh6Ik4/pO1TWLPDiEfi/?= =?us-ascii?q?m0iskCtsx/3eIrLuGJDNLnzanLflfLZ98FJcxREozdFf4pJUEqsOLOjyWk/3rt?= =?us-ascii?q?zYDwU2Pxa6w+b9W51B0dYVUGeLR6uYK7/6sFmS5+tpLfPfSpUSvWPQNfco4e+m?= =?us-ascii?q?rn8jkFoBZq63lc8Hcnm9Au9hPW2WZHPthpEKFmJc7Vl2d/DjlFDXCW0bXH21Ra?= =?us-ascii?q?9pvjw=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AyAgD1SjJZhy3XVdFcHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBhRyeXQEBBoEniRmOdIYkAoJ8QhUBAQEBAQEBAQEBARIBAQEIDQk?= =?us-ascii?q?IKC+CMyKCRAECAgE6BgEbHgMBCwYFIRMSDxQRAQUBAhoZihEBAwgFCAShXj+OC?= =?us-ascii?q?wUBHIMKBYNlChknDVaCeQEBAQEGAgEdAgYJAQiGCYVFhTaFJwWRMo0Akx4NgW4?= =?us-ascii?q?BiQ2GfpMWM4EVNYEsUSMVRoR3H4Fzc4ltAQEB?= X-IPAS-Result: =?us-ascii?q?A0AyAgD1SjJZhy3XVdFcHAEBBAEBCgEBFwEBBAEBCgEBhRy?= =?us-ascii?q?eXQEBBoEniRmOdIYkAoJ8QhUBAQEBAQEBAQEBARIBAQEIDQkIKC+CMyKCRAECA?= =?us-ascii?q?gE6BgEbHgMBCwYFIRMSDxQRAQUBAhoZihEBAwgFCAShXj+OCwUBHIMKBYNlChk?= =?us-ascii?q?nDVaCeQEBAQEGAgEdAgYJAQiGCYVFhTaFJwWRMo0Akx4NgW4BiQ2GfpMWM4EVN?= =?us-ascii?q?YEsUSMVRoR3H4Fzc4ltAQEB?= X-IronPort-AV: E=Sophos;i="5.39,287,1493676000"; d="scan'208";a="277183151" Received: from mail-lf0-f45.google.com ([209.85.215.45]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 03 Jun 2017 07:37:39 +0200 Received: by mail-lf0-f45.google.com with SMTP id v20so19385971lfa.1 for ; Fri, 02 Jun 2017 22:37:39 -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=HXTxc+lDPJJRHW+MOYXK6SHn0gqPPzpvcocqLtUweaI=; b=F23LDiOK2wWf7B51k9i1tlJuAIr3EV2AQMbpOkLqJyrLzevuFjPj/S7JAE1f9enTA9 LMYtHzQfpxFniXPikz+Z2WJes5G7IJu1hIBORZ//yU8h7IdTETE8SWU9v7YheUEX7reP UHyDccWhz6x+7m+JTItbOfmXm+jBAeKiXynHAFk56JXf69i0H2PE20ilwKoC4SFuIaad BjiubWMuQLxz6nY1RFbc84lQcNAEeXbNJC7ltfAh1hOnAHuATjaBiITS87966mEblMPn FpZQ+ikYzQDUfjtu4i7G3Jhmn9R0qQBOlNrJfrRaQbkGvArQ8qQET4e13ZETRL6IMZfV 5Bow== 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=HXTxc+lDPJJRHW+MOYXK6SHn0gqPPzpvcocqLtUweaI=; b=Qqhyd30WKwTokoNVwO99LMlDtjrEs1D/mEi7m80MndqbILtI9tsJihARPRWybRZqBt xHZtmnGtRhcvnfxuuJiMjSxQgDcMyontQu7TBibgDIzasljR2JGjZ2likcWUraJLH7OT TjaPycc8B9OS5kb9xkbJ0f3gJJWDTWGg9O1WOj0gNEK7Xd8gJ09VpiMGa1gkoxUZ6s+D u8KDRlfCSJQAvaDF2jBrh9ZVD8SXtT1X86dN5soG9rBV+5FeB6CGhCtxLHGykUDN3Fu9 JW2DdL5+lcuBA7cm2n1oaxnN9EP+jU6+ynsrHD7fc0lJ/xtSKpbSDtc49JKRGtxOfiYq jLhg== X-Gm-Message-State: AODbwcCJSNN+mkwJWL2f5JWwq+hMLt9kEiuCF3BAFGOB7Q+9sd0qznjT MmBKt7+vfuczg9jt X-Received: by 10.46.1.151 with SMTP id f23mr3241600lji.97.1496468258323; Fri, 02 Jun 2017 22:37:38 -0700 (PDT) Received: from zinid.ru ([31.181.32.46]) by smtp.gmail.com with ESMTPSA id 18sm5432842ljt.28.2017.06.02.22.37.36 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Fri, 02 Jun 2017 22:37:36 -0700 (PDT) Date: Sat, 3 Jun 2017 08:26:54 +0300 From: Evgeny Khramtsov To: caml-list@inria.fr Message-ID: <20170603082654.569c6edf@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: > So, special flags are required to switch > off some optmizations. I confirm, replacing -O2 with -O0 flag for compiling stacks-native.c fixes the problem. However, I think this (or something better) should be applied in the patch used to compile delimcc by opam (makefile_fix.patch).