[Bug fortran/31213] New: ICE on valid code with gfortran

[jv244 at cam dot ac dot uk]

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