A recent gfortran ICEs on the following code:
module mykinds
implicit none
integer, parameter :: ik1 = selected_int_kind(2)
integer, parameter :: ik2 = selected_int_kind(4)
integer, parameter :: dp = selected_real_kind(15,300)
end module mykinds
module spec_xpr
use mykinds
implicit none
integer(ik2) c_size
contains
pure function tricky(str,ugly)
character(*), intent(in) :: str
integer(ik1) ia_ik1(len(str))
interface yoagly
pure function ugly(n)
use mykinds
implicit none
integer, intent(in) :: n
complex(dp) ugly(3*n+2)
end function ugly
end interface yoagly
logical la(size(yoagly(size(ia_ik1))))
integer i
character(tricky_helper((/(.TRUE.,i=1,size(la))/))+c_size) tricky
tricky = repeat('X',len(tricky))
end function tricky
pure function tricky_helper(lb)
logical, intent(in) :: lb(:)
integer tricky_helper
tricky_helper = 2*size(lb)+3
end function tricky_helper
end module spec_xpr
module xtra_fun
implicit none
contains
pure function butt_ugly(n)
use mykinds
implicit none
integer, intent(in) :: n
complex(dp) butt_ugly(3*n+2)
real(dp) pi, sq2
pi = 4*atan(1.0_dp)
sq2 = sqrt(2.0_dp)
butt_ugly = cmplx(pi,sq2,dp)
end function butt_ugly
end module xtra_fun
program spec_test
use mykinds
use spec_xpr
use xtra_fun
implicit none
c_size = 5
write(*,'(1x,i0)') len(tricky('Help me',butt_ugly))
write(*,'(1x,a)') tricky('Help me',butt_ugly)
end program spec_test
--
Summary: ICE on valid code with gfortran
Product: gcc
Version: 4.3.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: fortran
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: jv244 at cam dot ac dot uk
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31213
