[Bug fortran/27089] New: Module procedure with explicit result does not pass type to specification expression.

[pault at gcc dot gnu dot org]

This fault occurs in the compilation of tonto-2.2.  A fix will be posted to the
list in a few minutes.  There is still another problem with tonto that I am
still investigating.  I will post that just as soon as I isolate it.

Paul

module test
   public    n_elements_uncommon_with_
   interface n_elements_uncommon_with_
      module procedure n_elements_uncommon_with
   end interface
contains
   pure function n_elements_uncommon_with(x) result(res)
      integer(4), dimension(:), intent(in) :: x
      integer(4) :: res
      res = size (x, 1)
   end function
   pure function elements_uncommon_with(x) result(res)
      integer(4), dimension(:), intent(in) :: x
      integer(4), dimension(n_elements_uncommon_with_(x)) :: res
      res = x
   end function
end module test
   use test
   integer(4) :: z(4)
   z = 1
   print *, elements_uncommon_with (z)
   print *, n_elements_uncommon_with_ (z)
end


-- 
           Summary: Module procedure with explicit result does not pass type
                    to specification expression.
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: pault at gcc dot gnu dot org
        ReportedBy: pault at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27089