From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <fortran-return-50814-listarch-fortran=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 71940 invoked by alias); 7 Aug 2018 17:14:13 -0000
Mailing-List: contact fortran-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <fortran.gcc.gnu.org>
List-Subscribe: <mailto:fortran-subscribe@gcc.gnu.org>
List-Post: <mailto:fortran@gcc.gnu.org>
List-Help: <mailto:fortran-help@gcc.gnu.org>, <http://sourceware.org/lists.html#faqs>
Sender: fortran-owner@gcc.gnu.org
Received: (qmail 71488 invoked by uid 89); 7 Aug 2018 17:14:12 -0000
Authentication-Results: sourceware.org; auth=none
X-Spam-SWARE-Status: No, score=-0.5 required=5.0 tests=AWL,BAYES_05,FREEMAIL_ENVFROM_END_DIGIT,FREEMAIL_FROM,RCVD_IN_DNSWL_NONE,SPF_PASS autolearn=no version=3.3.2 spammy=accepts, 57160, H*f:CAKwh3qhSF8nTU, H*f:CAKwh3qggW
X-HELO: mail-yw1-f50.google.com
Received: from mail-yw1-f50.google.com (HELO mail-yw1-f50.google.com) (209.85.161.50) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Tue, 07 Aug 2018 17:14:11 +0000
Received: by mail-yw1-f50.google.com with SMTP id l189-v6so5205845ywb.10        for <fortran@gcc.gnu.org>; Tue, 07 Aug 2018 10:14:11 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;        d=gmail.com; s=20161025;        h=mime-version:sender:in-reply-to:references:from:date:message-id         :subject:to:cc:content-transfer-encoding;        bh=B8AAVf1LPVMHdJe4aGGZGcvbC6YoN8PzNGmTeR61BkU=;        b=pvQryzMM7inOMU5GMtxJp868opJ/E5pg388XIxi582BV+o9/k7WoEOcDvF/SHpxR/4         1xBr78CYgK4681KVBuhcb7iogAsReGwcMGisIgR3tzKD3xGd7FZN8IZQavy1yQcKJiyV         x6RioFlf2bd3kXGB9ehdThHCKric3UHkkZy0tu5SHgQVHDfVRodsL8pzjwC133sUAcGc         irRGPkpUtW2N9K0+85ok7zzCf69B/I5ML3uGvtTVB74Otr3yaS6E0ScZjD/Z+uFvAN3u         osBL3wRabHinaDk4w7LnXTGkg9f7gIhwwvgoDexK2JNt6vjDkZG/KvCtk6f62rBThxjB         o5zg==
MIME-Version: 1.0
Sender: jaydub66@gmail.com
Received: by 2002:a0d:fe84:0:0:0:0:0 with HTTP; Tue, 7 Aug 2018 10:14:09 -0700 (PDT)
In-Reply-To: <707691ED-E885-4038-B493-E1E97FE96358@lps.ens.fr>
References: <D5735AF3-C09F-474B-B11F-AA108A1064B5@lps.ens.fr> <CAKwh3qhSF8nTU+z4n9vT3WwXZAhYJNYBxMmvo_-MjJhAQysdvA@mail.gmail.com> <CAKwh3qiFutRu9ZobZWXY5wGvSBdgLdT9VkHDOMtV=0QSQNSOJg@mail.gmail.com> <CAKwh3qggW=_pnb3-kvJif9SoC9p2bdFaSDTTxfdKZrEgT7ea-Q@mail.gmail.com> <707691ED-E885-4038-B493-E1E97FE96358@lps.ens.fr>
From: Janus Weil <janus@gcc.gnu.org>
Date: Tue, 07 Aug 2018 17:14:00 -0000
Message-ID: <CAKwh3qgc44BS9R+_-JO62-LFqEukCL_c9NccsPwyojtMOMCv5A@mail.gmail.com>
Subject: Re: [Patch, Fortran] PR 57160: short-circuit IF only with -ffrontend-optimize
To: =?UTF-8?Q?Dominique_d=27Humi=C3=A8res?= <dominiq@lps.ens.fr>
Cc: Thomas Koenig <tkoenig@netcologne.de>, gfortran <fortran@gcc.gnu.org>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-IsSubscribed: yes
X-SW-Source: 2018-08/txt/msg00026.txt.bz2

2018-08-07 12:11 GMT+02:00 Dominique d'Humi=C3=A8res <dominiq@lps.ens.fr>:
>
>> It's so easy to scream "bullshit", and so hard to find a good
>> solution. Still, we need one =E2=80=A6
>
> Sorry if I have not been clear enough. I see only two
> sensible solutions:
>
> (1) The statu quo, closing the PR as WONTFIX

How is that even an option?!? gfortran accepts invalid code. What's
wrong with fixing that?

If your aim is to keep "the status quo" (read: a compiler with
gazillions of bugs), why don't we just shut down bugzilla altogether?


> (2) Introduce a new option, for instance
> -fshort-circuit (default) for the short-circuit evaluation
> -fno-short-circuit to force the evaluation of both expressions.

For starters, no one will find a bug in his code if it requires
-fsome-obscure-option-that-nobody-knows.

Also I could ask the innocent question why -fshort-circuit should be
the default, but I guess I won't bother to go there.

I still find it deeply unsatisfying that gfortran is incompatible with
other compilers on a very fundamental level. And I find it very
disturbing that no one even cares. Anyway, I'm kinda through with this
whole issue. I guess I'll just stop caring as well.

Goodbye ...