! { dg-do compile }

subroutine g
   call s([1])
end
subroutine h(x)
   integer, pointer :: x(..)
   call s(x) ! { dg-error "Assumed-rank argument requires an explicit interface" } 
end