[Bug fortran/106410] New: Internal compiler error: with nested parametrized types

[Bug fortran/106410] New: Internal compiler error: with nested parametrized types

[s.lopez at brgm dot fr]

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

            Bug ID: 106410
           Summary: Internal compiler error: with nested parametrized
                    types
           Product: gcc
           Version: 12.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: s.lopez at brgm dot fr
  Target Milestone: ---

Compiling the following code :

```
module M

   type A(n)
      integer, len :: n
      real :: a(n)
   end type

   type B(n)
      integer, len :: n
      type(A(n)) :: as
   end type

contains

! subroutine f(a, b)
!    type(A(*)), intent(in) :: a
!    type(B(a%n)), intent(out) :: b
! end subroutine

subroutine g(b)
   type(B(*)), intent(in) :: b
end subroutine

end module
```

generates an internal compiler error, whereas uncommenting the commented lines
works fine.

[Bug fortran/106410] Internal compiler error: with nested parametrized types

[kargl at gcc dot gnu.org]

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

kargl at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |kargl at gcc dot gnu.org

--- Comment #1 from kargl at gcc dot gnu.org ---
Compiles with 

gfortran -c -O2 --version a.f90
GNU Fortran (GCC) 13.0.0 20220618 (experimental)

[Bug fortran/106410] Internal compiler error: with nested parametrized types

[anlauf at gcc dot gnu.org]

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

anlauf at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2022-07-22
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW

--- Comment #2 from anlauf at gcc dot gnu.org ---
ICE confirmed on x86_64-pc-linux-gnu.

Not sure if the code is valid.

Intel rejects the code, as well as NAG.  Cray accepts it.

[Bug fortran/106410] Internal compiler error: with nested parametrized types

[kargl at gcc dot gnu.org]

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

--- Comment #3 from kargl at gcc dot gnu.org ---
(In reply to anlauf from comment #2)
> ICE confirmed on x86_64-pc-linux-gnu.
> 
> Not sure if the code is valid.
> 
> Intel rejects the code, as well as NAG.  Cray accepts it.

Interestingly, I may have done an accidental bisection.

% gfcx -c --version a.f90
GNU Fortran (GCC) 13.0.0 20220621 (experimental)

This fails with an ICE.  The results reported in comment #1
are with gfortran on my laptop.  It may have a few unsubmitted
or committed patches.  I check later today.