[Bug fortran/55850] [OOP] SELECT TYPE issues

["dominiq at lps dot ens.fr" <gcc-bugzilla@gcc.gnu.org>]

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?