uses_allocators with allocator traits or a memory space: "sorry, unimplemented" (Fortran)

! # Finding (GCC 16.2): uses_allocators with traits or a memory space is not implemented (Fortran); the reproducer is the catalog
!   program omp52-clause-uses_allocators-traits
!
! - toolchains: gcc_g90 (GCC 16.2.0, AMD Instinct MI250X gfx90a, Tioga) and gcc_sm80 (GCC 16.2.0,
!   NVIDIA A100 sm_80, wingtip); separate memory only; -O2; OMP_TARGET_OFFLOAD=mandatory
! - build: gfortran -fopenmp -foffload=amdgcn-amdhsa -foffload-options=amdgcn-amdhsa=-march=gfx90a -O2 (gcc_g90);
!   -foffload=nvptx-none -foffload-options=nvptx-none=-march=sm_80 -foffload-options=nvptx-none=-latomic -O2 (gcc_sm80)
! - failure: rejected: sorry, unimplemented: .uses_allocators. clause with traits and memory spaces
! - observed: `sorry, unimplemented: 'uses_allocators' clause with traits and memory spaces` on both GPUs.
! - expected: compiles; `RESULT ran_on_host=0 check=pass`
! - GCC 16.2 documentation (libgomp.texi of the GCC 16.2.0 release tarball, "OpenMP Implementation Status", OpenMP 5.2 table): "New
!   memspace and traits modifiers for uses_allocators": P (partial), "Only predefined allocators". The message is GCC's own "sorry,
!   unimplemented".
! - spec: the uses_allocators clause and its traits and memspace modifiers (5.2 §6.8 p.181).
! - gate and confirmer: 10 cells (5 gcc_g90, 5 gcc_sm80), each confirmed in the gate's four environments (a-d;
!   results/gcc/gate-tioga/ and gate-wingtip/ verdicts.jsonl); confirmer verdicts (results/gcc/confirm/batch.gcc_*.jsonl):
!   unsupported (R05-unsupported) 10
! - catalog programs (5): omp50-clause-uses_allocators-traits, omp52-clause-uses_allocators-memspace,
!   omp52-clause-uses_allocators-traits, omp60-clause-uses_allocators-memspace, omp60-clause-uses_allocators-traits
! - legality: the catalog programs are legal by construction (offload.engine.gen, c_gen and acc_gen
!   check every program against the catalog rules and the offload scope as it is built; no
!   compiler). GCC is a compiler under test only: never a legality witness, here or for another
!   family's case (catalog/machines.yaml under_test_only).
! Generated by compliance.gen (OpenMP 5.2, free-form Fortran). Do not edit.
! id: omp52-clause-uses_allocators-traits
! primary atom: omp.clause.uses_allocators.traits
! 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: none
! std: f2008
! unverified (oracle_not_written): re-categorised (was implementation_defined): memory from the allocator
!   'will be byte
! aligned to at least the value specified for the alignment trait' (5.2 §6.2 p.173, 6.0 §8.2 p.306), so a check that t's address is
! a multiple of 64 is a deterministic oracle of the original; it is not written. A mutant without the trait could still be 64-byte
! aligned (any alignment conforms then), AFAR rejects uses_allocators and CCE 19's mutant without the trait is an internal compiler
! error (final-review re-audit)
program gen_prog
  use omp_lib, only: omp_allocator_handle_kind, omp_alloctrait, omp_atk_alignment, omp_is_initial_device
  implicit none
  integer, parameter :: n = 64
  integer, allocatable, target :: a(:), b(:)
  integer :: ref(n)
  integer :: i, host_flag
  logical :: ok
  integer :: t
  integer(omp_allocator_handle_kind) :: my_alloc
  type(omp_alloctrait), parameter :: my_traits(1) = &
  [omp_alloctrait(omp_atk_alignment, 64)]
  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(to: a) map(from: b) map(tofrom: host_flag) &
  !$omp& uses_allocators(traits(my_traits): my_alloc)
    host_flag = merge(1, 0, omp_is_initial_device())
    !$omp parallel do default(none) shared(a, b, my_alloc) private(t) allocate(my_alloc: t)
      do i = 1, n
        t = 2*a(i)
        b(i) = t + 1
      end do
    !$omp end parallel 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