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 EFA9E3858C5E; Thu, 22 Jun 2023 06:30:38 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org EFA9E3858C5E
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1687415438;
	bh=UOt+tJzl/XWmwCBi1e2yzhzLKHpaQWgUWeoGSx0mvmM=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=tlCXIrQoaP2f6r3ApxsJL1Hdyrt5EhkwZR1qqrV5x8adEA6I9cwZc9MDyW+9ySHgs
	 PL7Ni1E43llaNL6xDSHE0zCXHXDXeMOTQJOCiTUtsc2aM8/16s2N8rHWaArtp3CvRo
	 H+kRecUc9gl8G2dLqbBiu9TN3r2c3WZcgVxyn3Y8=
From: "ctechnodev at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug fortran/82943] [F03] Error with type-bound procedure of
 parametrized derived type
Date: Thu, 22 Jun 2023 06:30:37 +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: 8.0
X-Bugzilla-Keywords: rejects-valid
X-Bugzilla-Severity: normal
X-Bugzilla-Who: ctechnodev at gmail dot com
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: cc
Message-ID: <bug-82943-4-QRPi2ep5o2@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-82943-4@http.gcc.gnu.org/bugzilla/>
References: <bug-82943-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=3D82943

Alexander Westbrooks <ctechnodev at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ctechnodev at gmail dot com

--- Comment #11 from Alexander Westbrooks <ctechnodev at gmail dot com> ---
(In reply to vegard from comment #10)
> (In reply to kargl from comment #9)
> > (In reply to alig from comment #8)
> > > The problem still persists with GNU Fortran (GCC) 11.1.0.
> >=20
> > The problem is likely to persist for the foreseeable future
> > as there is no one left to work on gfortran bugs.  Lacking=20
> > a sudden influx of new volunteer contributors, it seems
> > the only way forward is to NOT use parameterized derived=20
> > types with gfortran.
>=20
> Any news here? I seem to be having this issue with gfortran (Homebrew GCC)
> 12.2.0
>=20
> As a side note: I'm somewhat new to the fortran community, but could see
> myself contributing to gfortran in the future. Do you think you could poi=
nt
> me to where I should read up on contributing?

Hello!

I'm new to the community as well. I have had the same issue with this bug a=
nd
first encountered it 5 years ago while working on my thesis. Two weeks ago I
decided to tackle this bug. I have found the issues in the code, and I was =
able
to successfully compiles the following example. I made sure that the LEN ty=
pe
parameter condition was enforced as janus@gcc.gnu.org stated in Comment #6 =
and
I used inheritance in this example to test the added logic to ensure that a=
 PDT
instance belonged to a PDT template.=20

The only things I have left to do is write applicable test cases (which I
haven't done before. I am learning how to use the DejaGNU framework as I wo=
rk
on this) and obtain some guidance on how to get this code verified by others
and ultimately accepted as fixed code into the compiler. I am reading the
documentation of the GNU Fortran rules and I hope to get the test cases
completed and have the fix under review within the next couple of weeks.

module testmod

    public :: foo

    type, public :: tough_lvl_0(a, b)
        integer, kind :: a =3D 1
        integer, len :: b
    contains
        procedure :: foo
    end type

    type, public, EXTENDS(tough_lvl_0) :: tough_lvl_1 (c)
        integer, len :: c
    contains
        procedure :: bar
    end type

    type, public, EXTENDS(tough_lvl_1) :: tough_lvl_2 (d)
        integer, len :: d
    contains
        procedure :: foobar
    end type

contains
    subroutine foo(this)
        class(tough_lvl_0(1,*)), intent(inout) :: this
    end subroutine

    subroutine bar(this)
        class(tough_lvl_1(1,*,*)), intent(inout) :: this
    end subroutine

    subroutine foobar(this)
        class(tough_lvl_2(1,*,*,*)), intent(inout) :: this
    end subroutine

end module

PROGRAM testprogram
    USE testmod

    TYPE(tough_lvl_0(1,5))     :: test_pdt_0
    TYPE(tough_lvl_1(1,5,6))   :: test_pdt_1
    TYPE(tough_lvl_2(1,5,6,7)) :: test_pdt_2

    CALL test_pdt_0%foo()

    CALL test_pdt_1%foo()
    CALL test_pdt_1%bar()

    CALL test_pdt_2%foo()
    CALL test_pdt_2%bar()
    CALL test_pdt_2%foobar()


END PROGRAM testprogram=