https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84276
--- Comment #6 from Steve Kargl <sgk at troutmask dot apl.washington.edu> --- On Thu, Feb 08, 2018 at 06:53:00PM +0000, kargl at gcc dot gnu.org wrote: > > I have a patch. > The patch is incomplete. If the actual and dummy arguments type and type parameter match then, everything works ok. If there is a mismatch, then we get an ICE. I'm working on it. subroutine stepns(hh,h,s,w) real, intent(inout) :: h,hh,s real, intent(out) :: w real :: qofs integer i qofs(s)=s w=qofs(hh+h) ! OK i = 42 w = qofs(i) ! Causes ICE, but should issue error. end subroutine stepns