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 CF40780143 for ; Fri, 2 Jun 2017 17:05:59 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=oleg@okmij.org; spf=None smtp.mailfrom=okmij@www1.g3.pair.com; spf=None smtp.helo=postmaster@www1.g3.pair.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of oleg@okmij.org) identity=pra; client-ip=66.39.3.115; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="okmij@www1.g3.pair.com"; x-sender="oleg@okmij.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of okmij@www1.g3.pair.com) identity=mailfrom; client-ip=66.39.3.115; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="okmij@www1.g3.pair.com"; x-sender="okmij@www1.g3.pair.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@www1.g3.pair.com) identity=helo; client-ip=66.39.3.115; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="okmij@www1.g3.pair.com"; x-sender="postmaster@www1.g3.pair.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A21knlR35sqcO8oiWsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?sewfKPad9pjvdHbS+e9qxAeQG96KtbQZ1KKW6/mmAj1fp87Z8TgrS99laVwssY?= =?us-ascii?q?Yso0QYGsmLCEn2frbBThcRO4B8bmJj5GyxKkNPGczzNBX4q3y26iMOSF2kbVIm?= =?us-ascii?q?buv6FZTPgMupyuu854PcYxlShDq6fLh+MAi6oR/fu8QSgIZuMKY8xxnUqXdMZ+?= =?us-ascii?q?ha2HlkKFyXkhv+/Mu84IJv/yFNsP896sBMVrn3cKs/QbFEFjoqNHw76tP2vhfZ?= =?us-ascii?q?VwuP4XUcUmQSkhVWBgXO8Q/3UJTsvCbkr+RxwCaVM9H4QrAyQjSi8rxkSAT0hy?= =?us-ascii?q?cdNj4263/Yh8pth69Guh2hphh/w4nJYIGJMfd1Y63Qcc8GSWdHQ81cUTFKDIGh?= =?us-ascii?q?YIsVF+cPM+ZWoZfgqVUNoxuxChWjC/7txTBGnXL2wbE23/g9HQ3axgEsAdQDu2?= =?us-ascii?q?nUotXvM6cSVPi4zK7MzTrdYPNbwjD96IvNchAgo/GAR7VwcdDeyUQpCgjLjU2Q?= =?us-ascii?q?pJTkMj6UzOgAvWyW4/BuWO61lmIrtgF8rz6yzck2kIbJnJgaylXc+CV53ok1Id?= =?us-ascii?q?q4RVZ1YN+qHppcqjuWN4R4T884W2Fnoic6yqcctZGneygKzYwrxx/Za/OZb4iF?= =?us-ascii?q?+hPuWeeLLTp2gH9pYryyiwyv/US9yuDwTsy030xLripBnNnMrHcN1xnL58iASf?= =?us-ascii?q?t9+0ah2TSU2gHd5OBFL104mbDUK5Mv2LIwjoAcsUXZHiPshEr2i6qWel0++ue0?= =?us-ascii?q?8+TnfqnmppiEOoBokA7+N6AultW7AeQ5KQgOQ3OW+f+81b3m5U32Wq9Gjvwwkq?= =?us-ascii?q?nDsZDVP94XpqCjA1wd7oF2xgiwAjG3mPcYh3ACMElCZlrTn5LgPk3VJ+7QAvK2?= =?us-ascii?q?glDqmzBukaPoJLrkV5LJI3frl7TkfLQ77FRTm1l79sxW+58BUuJJG/n0QEKk7N?= =?us-ascii?q?E=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BlAgBrfjFZW3MDJ0JdGgEBAQECAQEBA?= =?us-ascii?q?QgBAQEBFQEBAQECAQEBAQgBAQEBgyyFFJxfoSxDFAEBAQEBAQEBAQEBBSFsgjM?= =?us-ascii?q?igkQBBTo/EAsOCgkTEg8FGBcaij2xVYs9i2CIK4IxAQSeL5MeDYFukAyUXDYgg?= =?us-ascii?q?QuBAU6HISSKKQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0BlAgBrfjFZW3MDJ0JdGgEBAQECAQEBAQgBAQEBFQEBAQE?= =?us-ascii?q?CAQEBAQgBAQEBgyyFFJxfoSxDFAEBAQEBAQEBAQEBBSFsgjMigkQBBTo/EAsOC?= =?us-ascii?q?gkTEg8FGBcaij2xVYs9i2CIK4IxAQSeL5MeDYFukAyUXDYggQuBAU6HISSKKQE?= =?us-ascii?q?BAQ?= X-IronPort-AV: E=Sophos;i="5.39,285,1493676000"; d="scan'208";a="227131440" Received: from www1.g3.pair.com ([66.39.3.115]) by mail3-smtp-sop.national.inria.fr with ESMTP; 02 Jun 2017 17:05:58 +0200 Received: by www1.g3.pair.com (Postfix, from userid 9370) id 54B59C393C; Fri, 2 Jun 2017 11:05:57 -0400 (EDT) Date: Fri, 2 Jun 2017 11:05:57 -0400 From: oleg@okmij.org To: Evgeny Khramtsov Cc: caml-list@inria.fr Message-ID: <20170602150557.GA91690@www1.g3.pair.com> References: <20170602173221.0583a14c@zinid.ru> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20170602173221.0583a14c@zinid.ru> User-Agent: Mutt/1.5.21 (2010-09-15) Subject: Re: [Caml-list] Delimcc bug On Fri, Jun 02, 2017 at 05:32:21PM +0300, Evgeny Khramtsov wrote: > Does anyone know where to report bugs in Delimcc? > Is it even supported? > Under some conditions I have segfaults in it when compiled natively in > 4.04.1. > 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.