!! check that non conformant arrays are detected 
!! for allocatable arrays as dummy arguments
!! (feature of TR 15581: ALLOCATABLE attribute)
      module array_mod
      contains
      subroutine allocate_a(x)
      integer, allocatable, dimension(:) :: x
      allocate(x(10))
      end subroutine
      end module
      program con
      use array_mod 
      integer, allocatable, dimension(:) :: x, y
      call allocate_a(y)
      y = 1
      allocate(x(11))
      x = y
      print *, "Con26: Non conformant arrays not detected."
      end