[Bug fortran/55037] New: I.C.E. with local allocatable variable of abstract type

["mrestelli at gmail dot com" <gcc-bugzilla@gcc.gnu.org>]

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

             Bug #: 55037
           Summary: I.C.E. with local allocatable variable of abstract
                    type
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: mrestelli@gmail.com


The attached code (which should be correct) produces an I.C.E.

gfortran -c m.f90 -o m.o
m.f90: In function ‘sub’:
m.f90:27:0: internal compiler error: in gfc_conv_procedure_call, at
fortran/trans-expr.c:4218
    call u0%source(tmp)
     ^

gfortran --version
GNU Fortran (GCC) 4.8.0 20121023 (experimental)


module m1
 implicit none

 type, abstract :: c_stv
 contains
  procedure, pass(x) :: source
 end type c_stv

contains

 pure subroutine source(y,x)
  class(c_stv), intent(in)               :: x
  class(c_stv), allocatable, intent(out) :: y
 end subroutine source
end module m1

module m2
 use m1, only : c_stv
 implicit none

 contains

 ! Note: moving sub in m1 everything works.
 subroutine sub(u0)
  class(c_stv), intent(inout) :: u0
  class(c_stv), allocatable :: tmp
   call u0%source(tmp)
 end subroutine sub

end module m2