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 0901380143 for ; Fri, 2 Jun 2017 17:31:36 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=ivg@ieee.org; spf=Pass smtp.mailfrom=ivg@ieee.org; spf=None smtp.helo=postmaster@mail-yb0-f172.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of ivg@ieee.org) identity=pra; client-ip=209.85.213.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of ivg@ieee.org designates 209.85.213.172 as permitted sender) identity=mailfrom; client-ip=209.85.213.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org"; 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-yb0-f172.google.com) identity=helo; client-ip=209.85.213.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="postmaster@mail-yb0-f172.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AQXStwBYwod9gOb6E7diw+cf/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZr86ybnLW6fgltlLVR4KTs6sC0LuI9f2/ESxYuNDa4S9EKMQNHzY+yu?= =?us-ascii?q?wo3CUYQ/S5QXXhK/DrayFoVO9jb3RCu0+BDE5OBczlbEfTqHDhpRQbGxH4KBYn?= =?us-ascii?q?br+tQt2agMu4zf299IPOaAtUmjW9falyLBKrpgnNq8Uam4VvJ6IwxxfTonZFef?= =?us-ascii?q?ldyWd0KV6OhRrx6MO98Zx5/yhMp/4t8tNLXLnncag/UbFXAzMqPnwv6sHsqRfN?= =?us-ascii?q?UxaE6GEGUmURnBpIAgzF4w//U5zsrCb0tfdz1TeDM8HuQr86RTqt76FwSB/1ky?= =?us-ascii?q?gHLCI28HvWisNrkq1Wpg+qqgFlzI7VZIGVM+d+fr/YcNgHS2dNQtpdWipcCYy7?= =?us-ascii?q?coUPEvEBPf5GoIbhu1sAoxy+BQy2C+PuzD9Dm3v60KI+3ugkFwzNwQ4uEM8UsH?= =?us-ascii?q?nMrtr1OqccX+62wqfV0zvMc+hb1i3h5IXSaB0tve2AULB2fMHMyUcvDQTFjlCI?= =?us-ascii?q?pILmITOazOINuHWa4epnSeKvjHAnpB1xojiu2scskZTCi4UUylDa+iV024c1Ks?= =?us-ascii?q?OmR0Fle9KkF4FQty6DOoZwX8gsTWZouCMgxb0Hv562ZCkKyJI9xx7ecfOLaYaI?= =?us-ascii?q?4gj7WOeROzh4hHVleLWlixmu9kigz/XwVsay0FZXtCZFlcPMtn8L2hfO6caHUu?= =?us-ascii?q?Nw8lm91TuLzQze6eFJLVoqmabGJZMt2KM8m5gNvUnFAyT4gl/5jLWMeUUh4uWo?= =?us-ascii?q?6/roYrHhppKEMo97kAD+MqA3ls2/Gus0LhECX2aG9em+yrHv50L5QLJNjv05lq?= =?us-ascii?q?nWrorWKtgcpq68GwNV04Aj5AijDzq+ztgUgX0KIEhGdR+HlYTlJUzCLf7iAfui?= =?us-ascii?q?gVmgji9nx/XcMb3gBpXNIGLDkLDkfbtl6k5c1gUzwMte551KFL4OPuj/WkjrtN?= =?us-ascii?q?zXFhM5KRC7w/77CNVh0YMTQX6ADbWcMKPWqFOI4uMvI/KQZIIOozb8K/0l5+b0?= =?us-ascii?q?gnMjmF8de7Op3ZoNZ3yiEPRmORbRXX25hdMMHk8NvQ8/TqrtklLRfyRUYiOTQa?= =?us-ascii?q?s6rh48FIW4BofCWpvl1L2f0w+6E5BbIGdcBQbfQj/Ta4yYVqJUO2qpKch7n2lY?= =?us-ascii?q?BLU=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CXAAAmhDFZhqzVVdFdGwEBAQMBAQEJA?= =?us-ascii?q?QEBFwEBBAEBCgEBhA6BDQeDbIE2iGOReII/kz2CDzCFdAKCdAc/GAEBAQEBAQE?= =?us-ascii?q?BAQEBEgEBAQgLCwgoL4IzDIJZAQEBAQIBIx0BASwLAQQLCwQHDQ0dAgIiEgEFA?= =?us-ascii?q?QoSGRKKAAMIBQgQowA/ix1qgiaDCQEBBYQhA4NZAQEBAQYBAQEBAQEBGQgShk+?= =?us-ascii?q?Ef4MBghYfgkaCYIdvDJY5hyGMCoJbjx+TFBQfgRUPEIFCgQEIRhkGhC4qH4FxP?= =?us-ascii?q?jYBiXIBAQE?= X-IPAS-Result: =?us-ascii?q?A0CXAAAmhDFZhqzVVdFdGwEBAQMBAQEJAQEBFwEBBAEBCgE?= =?us-ascii?q?BhA6BDQeDbIE2iGOReII/kz2CDzCFdAKCdAc/GAEBAQEBAQEBAQEBEgEBAQgLC?= =?us-ascii?q?wgoL4IzDIJZAQEBAQIBIx0BASwLAQQLCwQHDQ0dAgIiEgEFAQoSGRKKAAMIBQg?= =?us-ascii?q?QowA/ix1qgiaDCQEBBYQhA4NZAQEBAQYBAQEBAQEBGQgShk+Ef4MBghYfgkaCY?= =?us-ascii?q?IdvDJY5hyGMCoJbjx+TFBQfgRUPEIFCgQEIRhkGhC4qH4FxPjYBiXIBAQE?= X-IronPort-AV: E=Sophos;i="5.39,285,1493676000"; d="scan'208,217";a="277137061" Received: from mail-yb0-f172.google.com ([209.85.213.172]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 02 Jun 2017 17:31:34 +0200 Received: by mail-yb0-f172.google.com with SMTP id r66so18763734yba.2 for ; Fri, 02 Jun 2017 08:31:34 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ieee-org.20150623.gappssmtp.com; s=20150623; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=XFmxDlaeKJAv1VKr/mKF1+hAxOKjPFUILLmnVPKS6RQ=; b=KzysDzkeLZU61lR2Os9AmuDiGIddmUnugLPZe7i6jzYmQ39sYKLfHLPwWxV9QG3c7B jHwOEsL278HFTPZIghyDuHlbKRtPfOk/uZoOxp5QZ+BpZjjVfSFMkgoPjshk+ovw0kxZ 98slkYIkyFz7f1Q6sRF2bHbx82Yos8/K3Kwi/P2y8MiTz/KhbGtakYn0sVVEZsoY1WFh T8gK0L/zcWmfbPezukIzfpsy0Twd8oduRx3bmk6869+cEXKzEmtvVVWskMr/TG6lc5cF NpAI7xAhrzeJwGbVW6rKQ0YhAJ3UJLjS9UTeRB0Os4GdaExa+ggofSWZzJujs34F01jf rMFA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=XFmxDlaeKJAv1VKr/mKF1+hAxOKjPFUILLmnVPKS6RQ=; b=M6eqRadaK+MenmjwDu5Wyp3ksHpwyrX84C5exVbok8PjHnqYJPPSiqdGXz4TaQI8si 0hRD8OrIrnxLLTU2h9cLqojbAHopnQzt8awmnepmeRxj30RNa2CtvBC8Jis7VtyWayhG 8YubvmOsqTKTCo9KeH8uU+TdDJ24pfu9lxiClt2KX5sOYQnq8RZdmfl2u+vPSVFT0JyE d7Yk3cFfebHD7ynlU5A7JF6qrKPqCAhma8c3i79TCIK/A9H4jDYCc0oaI0q4sMAlzCCN lfbfSeBtZ6jxsQaPQmkBDW/Sqr+d/4UcgRena7pDT4zbg/mF+oMFbLGHN51+18XJYb29 mg7g== X-Gm-Message-State: AODbwcCKQAyRygrxr/9arc+Yn5Glp3yrnLF4qmLf/8TilCk3yNhyzflm y15YQpbPiETTA2g7UwxJagemxOcjHgdf/xs= X-Received: by 10.37.57.146 with SMTP id g140mr353894yba.36.1496417493627; Fri, 02 Jun 2017 08:31:33 -0700 (PDT) MIME-Version: 1.0 Received: by 10.129.26.1 with HTTP; Fri, 2 Jun 2017 08:31:33 -0700 (PDT) In-Reply-To: <20170602150557.GA91690@www1.g3.pair.com> References: <20170602173221.0583a14c@zinid.ru> <20170602150557.GA91690@www1.g3.pair.com> From: Ivan Gotovchits Date: Fri, 2 Jun 2017 17:31:33 +0200 Message-ID: To: oleg@okmij.org Cc: Evgeny Khramtsov , caml-list Content-Type: multipart/alternative; boundary="001a114f541624cf650550fbd905" Subject: Re: [Caml-list] Delimcc bug --001a114f541624cf650550fbd905 Content-Type: text/plain; charset="UTF-8" Wouldn't it be better to add directly to the implementation a GCC pragma [1] or an attribute [2] that will explicitly disable the optimizations? [1]: https://gcc.gnu.org/onlinedocs/gcc/Function-Specific-Option-Pragmas.html#Function-Specific-Option-Pragmas [2]: https://gcc.gnu.org/onlinedocs/gcc/Common-Function-Attributes.html#Common-Function-Attributes On Fri, Jun 2, 2017 at 5:05 PM, wrote: > 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. > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > --001a114f541624cf650550fbd905 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Wouldn't it be better to add directly to the implement= ation a GCC pragma [1] or an attribute=C2=A0[2] that will explicitly disabl= e the optimizations?


[2]:=C2=A0https://gcc.gnu.org/onlinedocs/= gcc/Common-Function-Attributes.html#Common-Function-Attributes



On Fri, Jun 2, 2017 at 5:05 PM, <oleg@okmij.org> wrote:
On Fri, Jun 0= 2, 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 su= re
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.

--
Caml-list mailing list.=C2=A0 Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

--001a114f541624cf650550fbd905--