https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85537
janus at gcc dot gnu.org changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |ice-on-invalid-code --- Comment #21 from janus at gcc dot gnu.org --- Another related test case with a dummy procedure in a proc-ptr init, which currently ICEs, but should be rejected: module m implicit none contains subroutine foo(dbar) interface subroutine dbar() end subroutine end interface procedure(dbar), pointer :: bar_ptr => dbar call bar_ptr() end subroutine end module program main use m implicit none call foo(bar_impl) contains subroutine bar_impl() integer :: a = 0 write (*,*) "foo" a = a + 1 end subroutine end program