From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
	id F05533858C53; Mon,  8 May 2023 06:09:36 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org F05533858C53
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1683526176;
	bh=yxt6MfM+JSdposZ5gSQ8pVRl8ycnfVoZG9Ad5Zi8S8I=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=JtNeW5KQ/Wuz4+awnjnlxDz8MTteMwRlLjHWm6wE7JwNmqHtTsUtKDnj6rhxagbxX
	 q+KxyJe5pTM4kLHxWzqfrkHHYG+WojZ/4FsmdBK84jXtL94sjP+7OkOwial2Pj3LiM
	 09xCA7Pb3WSyxuHOmFw1katxBDO0GFjwA4cQSiOE=
From: "pault at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug fortran/97122] Spurious FINAL ... must be in the specification
 part of a MODULE
Date: Mon, 08 May 2023 06:09:36 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: fortran
X-Bugzilla-Version: 11.0
X-Bugzilla-Keywords: 
X-Bugzilla-Severity: normal
X-Bugzilla-Who: pault at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P4
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: bug_status
Message-ID: <bug-97122-4-CF4dK7ptC8@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-97122-4@http.gcc.gnu.org/bugzilla/>
References: <bug-97122-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
List-Id: <gcc-bugs.sourceware.org>

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D97122

Paul Thomas <pault at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |NEW

--- Comment #10 from Paul Thomas <pault at gcc dot gnu.org> ---
Nagfor responds to the test case with "Error: pr97122.f90, line 14: Type T =
has
final subroutines but is not defined in the specification part of a module"

F2018:
"C787(R753) A final-subroutine-name shall be the name of a module procedure
with exactly one dummy argument."

Since, of necessity, the argument is declared to be of the derived type with
the final binding, the gfortran and nagfor errors are correct IMHO. ifort
compiles it without complaint.

I have marked this as "waiting" pending a contrary interpretation.

Cheers

Paul
(In reply to kargl from comment #9)
> (In reply to kargl from comment #7)
> > (In reply to kargl from comment #5)
> > > (In reply to Paul Thomas from comment #3)
> > > >=20
> > > > I have marked this as "waiting" pending a contrary interpretation.
> > > >=20
> > > > Cheers
> > > >=20
> > >=20
> > > Paul,
> > >=20
> > > I asked on the J3 mailing list about the code.
> > >=20
> > > https://mailman.j3-fortran.org/pipermail/j3/2023-May/014193.html
> >=20
> > I haven't had a response from a current member of J3.  Bob Corbett,
> > a former member, believes the code is valid Fortran.  Jeff Hammond
> > notes that Cray Fortran compiled the code.  So, we have Cray, Intel
> > compile the code.  NAG and gfortran reject it.  I'm not sure if there
> > are any other compilers with submodule support.
>=20
> Malcolm Cohen from NAG has responded in the J3 list
> that it's a bug in nagfor, and the code in the bug
> report is conforming Fortran.

OK That's good enough for me :-) Changing to new.

Paul=