!! check that non comformant arrays 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))
      allocate_a = 1 
      end function
      end module
      program con
      use array_mod 
      integer, allocatable, dimension(:) :: x
      allocate(x(11))
      x = allocate_a()
      print *, "Con27: Non-conformant arrays not dected."
      end