ftn: internal compiler error for lastprivate(conditional:) on a parallel loop in a target region

Observed where it behaves incorrectly

Warning:
 Headers and libraries from cray-libsci/25.03.0 will be ignored because depends on PE_MPICH which is unavailable..
Op <<bad conversion d for enum EXP_OP>> Op_MT_GET_MAX_ITER
   Error message      ::  unhandled operator
   Error detected     ::  File '/workspace/crayftn/pdgcs/v_mt_lower.c', line 7199
   Initiated from     ::  Line 2933 (v_main.c)
   Optimizer built    ::  2025-02-07 (production)
   File               ::  fuzz-165-cce19.f90

OpenMP 5.2 §5.4.5 p.115 l.16-19

When the conditional modifier appears on the clause or the list item is an iteration variable of one of the associated loops, if sequential execution of the loop nest would assign a value to the list item then the original list item is assigned the value that the list item would have after sequential execution of the loop nest.

OpenMP 5.2 §17.2 p.340 l.27-30

If the target construct is among the constituent constructs and the list item is not the base variable or base pointer of a list item that appears in a map clause, the effect of the lastprivate clause is as if the same list item appears in a map clause with a map-type of tofrom.

Same compiler, one change

• the same parallel do on the host (the target directive removed): AFAR 24.3.0: correct; CCE 19.0.0: correct; CCE 20.0.2: correct; CCE 21.0.3: correct; CCE 21.0.4: correct
  Control program

  module fuzz_mod
    implicit none
  contains
    integer function g1(x, y)
      !$omp declare target
      integer, intent(in) :: x, y
      g1 = mod(max((x + y), x), 97)
    end function g1
  end module fuzz_mod
  program fuzz_prog
    use omp_lib, only: omp_get_thread_num
    use fuzz_mod, only: g1
    implicit none
    integer, parameter :: n = 16, m = 2
    integer :: o1(n)
    integer :: i, j, lp1, t1
    logical :: lpar
    integer(8) :: cs
    o1 = 0
    lp1 = 0
    lpar = .true.
        !$omp parallel do lastprivate(conditional: lp1) private(t1)
        do i = n, 1, -1
          t1 = 0
          if (mod(i, 2) == 1) lp1 = i
        end do
    cs = 0
    cs = modulo(cs * 31_8 + int(lp1, 8), 2147483629_8)
    do i = 1, n
      cs = modulo(cs * 31_8 + int(o1(i), 8), 2147483629_8)
    end do
    print '(a,i0)', 'RESULT checksum=', cs
  end program fuzz_prog
  

Other compilers run it correctly

GCC 16.2.0