ftn 20 rejects the self map-type modifier (OpenMP 6.0)

! # Draft finding: omp60-clause-map-self on cce20
!
! - compiler: cce20
! - toolchain: cce20; arch: gfx942; machine: tuolumne; memory mode: unified; opt: -O2
! - program: catalog omp60-clause-map-self (f90, version 60, sha256 bae4dcecdf58e771)
! - expected: None (None; )
! - actual: rejected  (diagnostic: ftn-810 ftn: ERROR GEN_PROG, File = ../../omp60-clause-map-self.f90, Line = 26, Column = 20 | On
!   the OpenMP map clause, if a map-type-modifier is specified, a map-type must also be specifi)
! - verdict: compiler_bug by rule R11-compile-rejection: a legal program the compiler rejects with a diagnostic (or whose link fails
!   on symbols the compiler's own code needs, or whose compile does not finish) while another compiler family compiles it
! - reason: 
! - citations: RUL-COMPILE-TIME (rulings.md)
! - legality: legal (legal by construction: offload.engine.gen / c_gen / acc_gen check every program against the catalog rules
!   and the
!   offload scope as it is built (no compiler))
! - witnesses: none
! - withdrawn: none
!
! Generated by compliance.gen (OpenMP 6.0, free-form Fortran). Do not edit.
! id: omp60-clause-map-self
! primary atom: omp.clause.map.self
! legal: yes
! observable: no (unverified: the check covers the device kernel, not the atom)
! ran_on_host: inside the target region of interest
! evidence: unverified
! needs: zero_copy
! std: f2008
! unverified (oracle_not_written): re-categorised (was implementation_defined): a self map is 'a mapping
!   operation for
! which the corresponding storage is the same as its original storage' (6.0 Glossary p.95), and a map-entering self map of storage
! the device cannot access must end in runtime error termination (6.0 §7.9.6 p.285), so the spec fixes the behaviour: in copy mode
! (HSA_XNACK=0) a device write of a self-mapped a must be seen by the host, or the run must stop; without self the write stays on
! the device. That check is not written: the program needs zero-copy memory as generated, and AFAR at HSA_XNACK=0 copies even with
! self (probe 2026-10-18: map(self, to: a) with a device write of a leaves the host's a unchanged), which the check would report as
! a wrong answer
program gen_prog
  use omp_lib, only: omp_is_initial_device
  implicit none
  integer, parameter :: n = 64
  integer, allocatable, target :: a(:), b(:)
  integer :: ref(n)
  integer :: i, host_flag
  logical :: ok
  allocate(a(n), b(n))
  do i = 1, n
    a(i) = i
    b(i) = 0
    ref(i) = 2*i + 1
  end do
  host_flag = 1
  !$omp target map(self: a) map(from: b) map(tofrom: host_flag)
    host_flag = merge(1, 0, omp_is_initial_device())
    do i = 1, n
      b(i) = 2*a(i) + 1
    end do
  !$omp end target
  ok = all(b == ref)
  print '(a,i0,a,a)', 'RESULT ran_on_host=', host_flag, ' check=', merge('pass', 'fail', ok)
  deallocate(a, b)
end program gen_prog