include 'UIN_AUXI.f'
!! check whether uninitialised variables are detected 
!! for allocatable arrays as function result
!! (feature of TR 15581: ALLOCATABLE attribute)
      module array_mod
      contains
      function allocate_a()
      integer, allocatable, dimension(:) :: allocate_a
      allocate(allocate_a(10))
      end function
      end module
      program uin
      use array_mod 
      integer, allocatable, dimension(:) :: x
      allocate(x(11))
      x(:size(allocate_a())) = allocate_a()
      call sub1(x)
      end