From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-447159-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 17554 invoked by alias); 22 Mar 2014 14:42:53 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Received: (qmail 17511 invoked by uid 48); 22 Mar 2014 14:42:48 -0000
From: "dominiq at lps dot ens.fr" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug fortran/55850] [OOP] SELECT TYPE issues
Date: Sat, 22 Mar 2014 14:42:00 -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: 4.8.0
X-Bugzilla-Keywords: accepts-invalid, ice-on-invalid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: dominiq at lps dot ens.fr
X-Bugzilla-Status: WAITING
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: bug_status cf_reconfirmed_on everconfirmed
Message-ID: <bug-55850-4-WObmD6fkWX@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-55850-4@http.gcc.gnu.org/bugzilla/>
References: <bug-55850-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2014-03/txt/msg02028.txt.bz2

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55850

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING
   Last reconfirmed|                            |2014-03-22
     Ever confirmed|0                           |1

--- Comment #2 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
As for r208743, compiling the first test gives the following error

    select type (component => self%cb(1)[4])  ! INVALID due to the "[4]"
                              1
Error: Selector at (1) must not be coindexed

Compiling the second test no longer gives an ICE, but the errors

    select type (t = self%cb)
                   1
Error: parse error in SELECT TYPE statement at (1)
pr55850_1.f90:12.7:

    end select
       1
Error: Expecting END FUNCTION statement at (1)

Same thing for the third test

    select type (t => self%cb)
                             1
Error: Symbol 't' at (1) has no IMPLICIT type
pr55850_2.f90:11.30:

    select type (t => self%cb)
                              1
Error: Selector shall be polymorphic in SELECT TYPE statement at (1)

although I am not sure about the errors for the later test.

I get the same behavior with 4.8.3. With 4.7.4, I get

pr55850.f90:10.34:

    class (tn), intent(in) :: self
                                  1
Error: Component '_def_init' at (1) with coarray component shall be a
nonpointer, nonallocatable scalar
pr55850.f90:10.34:

    class (tn), intent(in) :: self
                                  1
Error: Variable 'dst' at (1) is INTENT(OUT) and can thus not be an allocatable
coarray or have coarray components
pr55850.f90:10.34:

    class (tn), intent(in) :: self
                                  1
Error: Component '_def_init' at (1) with coarray component shall be a
nonpointer, nonallocatable scalar

pr55850_1.f90:11.4:

    select type (t = self%cb)
    1
Error: Unclassifiable statement at (1)
pr55850_1.f90:12.7:

    end select
       1
Error: Expecting END FUNCTION statement at (1)

pr55850_2.f90:11.30:

    select type (t => self%cb)
                              1
Error: Selector shall be polymorphic in SELECT TYPE statement at (1)

The first ICE disappeared between r197802 (ICE) and r197969 (errors), and the
second one, between r201916 (ICE) and r202111 (errors). Is this PR fixed or
not?