An absent OPTIONAL dummy array referenced with PRESENT() in a target region crashes the run

! # Draft finding: omp52-w-optional-absent on afar
!
! - compiler: afar
! - toolchain: afar; arch: gfx942; machine: tuolumne; memory mode: unified; opt: -O2
! - program: catalog omp52-w-optional-absent (f90, version 52, sha256 a951b1f34bd1c3af)
! - expected: check=pass (trusted; elision + model)
! - actual: crash  (crash: SIGABRT; without mandatory: crash: SIGABRT)
! - verdict: compiler_bug by rule R20-runtime-bug: a legal program fails at run time, deterministically, against an expected value
!   from two or more independent sources with an executed witness, and another toolchain, mode, arch or the elision gives the
!   expected value
! - reason: expected trusted check=pass (elision + model): stored main verdict: elision + model agree; witnesses:
!   cce19/gfx942/unified, cce20/gfx942/unified, cce21/gfx942/unified, elision
! - citations: RUL-DERIVED-NEEDS-EXECUTION (rulings.md); RUL-WITNESS-PER-MODE (rulings.md);
!   RUL-SAME-COMPILER-RUNS (rulings.md); RUL-PRESENCE-WITNESS (rulings.md); RUL-METAMORPHIC-OTHER-FAMILY
!   (rulings.md)
! - legality: legal: offload.engine.rules accepts it (offload.engine.prerun.check, rerun: with the
!   race rule and the restriction checks); nvfortran/nvc 26.9 and 25.11 (NVHPC, not under test
!   here) compile it; the check's other witness, the AFAR flang front end, is the compiler under
!   test and is not counted; no gfortran or gcc is a legality witness
! - witnesses: cce19/gfx942/unified, cce20/gfx942/unified, cce21/gfx942/unified, elision
! - withdrawn: none
!
! Generated by compliance.widen (OpenMP 5.2, free-form Fortran; catalog widening). Do not edit.
! id: omp52-w-optional-absent
! primary atom: base.device.optional_absent
! atoms: base.device.optional_absent
! legal: yes
! observable: yes
! ran_on_host: inside the target region of interest
! evidence: construct
! needs: none
! std: f2008
! feature: an absent OPTIONAL dummy array referenced with PRESENT() in a target region of the procedure
! spec: OpenMP 5.2 §3.2.1, p.61: a list item that is an absent optional dummy is ignored, and the data-sharing and data-mapping
! rules of an absent optional referenced in a construct are ignored
program wide_prog
  use omp_lib, only: omp_is_initial_device
  implicit none
  integer, parameter :: n = 64
  integer :: a(n), b(n), ref(n)
  integer :: i, host_flag
  logical :: ok
  do i = 1, n
    a(i) = i
    b(i) = 0
    ref(i) = 2*i + 1
  end do
  host_flag = 1
  call work(a, b, host_flag)
  ok = all(b == ref)
  print '(a,i0,a,a)', 'RESULT ran_on_host=', host_flag, ' check=', merge('pass', 'fail', ok)
contains
  subroutine work(x, y, hf, c)
    integer, intent(in) :: x(n)
    integer, intent(inout) :: y(n)
    integer, intent(inout) :: hf
    integer, intent(in), optional :: c(n)
    integer :: k
    !$omp target teams distribute parallel do map(to: x) map(tofrom: y, hf)
    do k = 1, n
      if (present(c)) then
        y(k) = x(k) + c(k)
      else
        y(k) = 2*x(k) + 1
      end if
      if (k == 1) hf = merge(1, 0, omp_is_initial_device())
    end do
    !$omp end target teams distribute parallel do
  end subroutine work
end program wide_prog