From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 84896 invoked by alias); 7 Aug 2018 22:21:48 -0000 Mailing-List: contact fortran-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Post: List-Help: , Sender: fortran-owner@gcc.gnu.org Received: (qmail 84851 invoked by uid 89); 7 Aug 2018 22:21:47 -0000 Authentication-Results: sourceware.org; auth=none X-Spam-SWARE-Status: No, score=-0.0 required=5.0 tests=AWL,BAYES_50,RCVD_IN_DNSWL_NONE,SPF_HELO_PASS autolearn=ham version=3.3.2 spammy=positives, H*f:CAKwh3qggW, H*f:sk:0QSQNSO, H*f:sk:z4n9vT3 X-HELO: mo4-p00-ob.smtp.rzone.de Received: from mo4-p00-ob.smtp.rzone.de (HELO mo4-p00-ob.smtp.rzone.de) (81.169.146.221) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Tue, 07 Aug 2018 22:21:45 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; t=1533680503; s=strato-dkim-0002; d=tkoenig.net; h=To:References:Message-Id:Cc:Date:In-Reply-To:From:Subject: X-RZG-CLASS-ID:X-RZG-AUTH:From:Subject:Sender; bh=j7ljpDx1IPC7W1iPsbtk14JTfJJ+yzzizoOAc+1TLlU=; b=N2e83xf2+MfAjGy//fsNwTHUIk2A1sI08ryWI/cz5A2fFLKiaxUa3fh264t1gthKLr NVV1PVkEmQVD/pDKjLjn/iSMx+JehPwBkdwm1tSvFiOyOD/+uw9mhw72bh2c8ehnuewS 7MvjGwzb7et0h6WUJhU//JEqB+VN5nIekiJCy9ajqE+aU/jwR0rcPQPTRt0X+5Bqprj7 2J7YqgxgePfo698AGyB6hGC2UEkaRu8DMxL4nNplAQXshJlyYdOEzeTGZxSe3JTo7oad 5uM0J6iM2ORdARc/koxnXKBk7WjI7Ne/KEQBHIX+PLKRQNDZqMLJNk43XW2m7uqsYXDs txxA== Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (1.0) Subject: Re: [Patch, Fortran] PR 57160: short-circuit IF only with -ffrontend-optimize From: =?utf-8?Q?Thomas_K=C3=B6nig?= In-Reply-To: Date: Tue, 07 Aug 2018 22:21:00 -0000 Cc: =?utf-8?Q?Dominique_d'Humi=C3=A8res?= , Thomas Koenig , gfortran Content-Transfer-Encoding: quoted-printable Message-Id: <2F3C72A3-D2A6-479B-937F-316A1A4B1183@tkoenig.net> References: <707691ED-E885-4038-B493-E1E97FE96358@lps.ens.fr> To: Janus Weil X-IsSubscribed: yes X-SW-Source: 2018-08/txt/msg00031.txt.bz2 Hi Janus, > How is that even an option?!? gfortran accepts invalid code. What's > wrong with fixing that? Just a general remark, I am on a business trip in the US at the moment. There are errors which the compiler is required to diagnose, when a constra= int is violated. And there are errors which the compiler is not required to= catch, those marked with =E2=80=9Eshall=E2=80=9C in the standard. Issuing an error or a warning for those is always a balancing act because i= f the possibility of false positives. Regards, Thomas