[Bug fortran/108451] [13 Regression] ICE in check_complete_insertion, at hash-table.h:578

[gscfq@t-online.de]

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

G. Steinmetz <gscfq@t-online.de> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |accepts-invalid,
                   |                            |ice-on-invalid-code

--- Comment #1 from G. Steinmetz <gscfq@t-online.de> ---

Following variant z2 should be rejected similar to z3 :


$ cat z2.f90
module m
   type t(n)
      integer, len :: n
      integer :: a(n)
   end type
contains
   subroutine s(x)
      type(t(2)) :: x
   end
end
program p
   use m, only: t, s, pdtt
   type(t(2)) :: y
   call s(y)
end


$ cat z3.f90
module m
   type t
   end type
contains
   subroutine s
   end
end
program p
   use m, only: t, s, pdtt
   call s
end


$ gfortran-13-20230115 -c z2.f90   # missing error
$
$ gfortran-13-20230115 -c z3.f90
z3.f90:9:21:

    9 |    use m, only: t, s, pdtt
      |                     1
Error: Symbol 'pdtt' referenced at (1) not found in module 'm'