https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90539
--- Comment #38 from Thomas Koenig <tkoenig at gcc dot gnu.org> --- So, I finally have a self-contained test case: module t2 implicit none contains subroutine foo(a) real, dimension(*) :: a end subroutine foo end module t2 module t1 use t2 implicit none contains subroutine bar(a) real, dimension(:) :: a call foo(a) end subroutine bar end module t1 program main use t1 call bar([1.0, 2.0]) end program main