From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <SRS0=z1OG=3S=orange.fr=morin-mikael@sourceware.org>
Received: from smtp.smtpout.orange.fr (smtp-14.smtpout.orange.fr [80.12.242.14])
	by sourceware.org (Postfix) with ESMTPS id 2FDB7384F4A4
	for <gcc-patches@gcc.gnu.org>; Fri, 18 Nov 2022 11:48:22 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 2FDB7384F4A4
Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=orange.fr
Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=orange.fr
Received: from [192.168.1.17] ([2.10.193.163])
	by smtp.orange.fr with ESMTPA
	id vzquoesJ8x4XXvzr0oB9s0; Fri, 18 Nov 2022 12:48:19 +0100
X-ME-Helo: [192.168.1.17]
X-ME-Auth: bW9yaW4tbWlrYWVsQG9yYW5nZS5mcg==
X-ME-Date: Fri, 18 Nov 2022 12:48:19 +0100
X-ME-IP: 2.10.193.163
Message-ID: <d390b783-ebbf-5922-2b91-2709ec6a92d4@orange.fr>
Date: Fri, 18 Nov 2022 12:48:12 +0100
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
 Thunderbird/102.4.1
Subject: Re: [PATCH] Fortran: reject NULL actual argument without explicit
 interface [PR107576]
To: Harald Anlauf <anlauf@gmx.de>, fortran <fortran@gcc.gnu.org>,
 gcc-patches <gcc-patches@gcc.gnu.org>
References: <trinity-9afc12d0-717f-45c1-81cf-6d4fc8d6249e-1668718081298@3c-app-gmx-bap50>
Content-Language: fr
From: Mikael Morin <morin-mikael@orange.fr>
In-Reply-To: <trinity-9afc12d0-717f-45c1-81cf-6d4fc8d6249e-1668718081298@3c-app-gmx-bap50>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM,JMQ_SPF_NEUTRAL,KAM_DMARC_STATUS,NICE_REPLY_A,RCVD_IN_DNSWL_NONE,SPF_HELO_PASS,SPF_PASS,TXREP autolearn=no autolearn_force=no version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org
List-Id: <gcc-patches.gcc.gnu.org>

Le 17/11/2022 à 21:48, Harald Anlauf via Fortran a écrit :
> Dear all,
> 
> one cannot pass a NULL actual argument to a procedure without an
> explicit interface.  This is detected and reported by NAG and Intel.
> (Cray accepts this silently, and some other brands ICE.)
> 
> The testcase by Gerhard even tricked gfortran into inconsistent
> behavior which could lead to an ICE with -fallow-argument-mismatch,
> or silently accepting invalid code.
> 
> The solution is to reject such code, see attached patch.
> 
> Regtested on x86_64-pc-linux-gnu.  OK for mainline?
> 
OK.

> As this is marked as a regression which started at v7,
> OK for backports to open branches?
> 
OK.