craycc: lastprivate and linear on a parallel for in a target region do not return the final value

// # Draft finding: omp52-c-w-lastprivate-parallel-in-seq-loop on cce19
//
// - compiler: cce19
// - toolchain: cce19; arch: gfx942; machine: tuolumne; memory mode: unified; opt: -O2
// - program: catalog omp52-c-w-lastprivate-parallel-in-seq-loop (c, version 52, sha256 26a32d8bcc61408e)
// - expected: check=pass (trusted; elision + model)
// - actual: wrong_answer check=fail (check_fail: ran_on_host=0 check=fail)
// - 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: afar/gfx942/unified, afar/gfx942/unified (port:omp52-w-lastprivate-parallel-in-seq-loop), 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.prerun.check accepts it (rerun: offload.engine.rules with the
//   race rule and the restriction checks, and the AFAR clang front end, not under test here); no
//   compiler under test, gfortran or gcc is a legality witness
// - witnesses: afar/gfx942/unified, afar/gfx942/unified (port:omp52-w-lastprivate-parallel-in-seq-loop), elision
// - withdrawn: none
//
// Generated by compliance.widen (OpenMP 5.2, C11; catalog widening). Do not edit.
// id: omp52-c-w-lastprivate-parallel-in-seq-loop
// primary atom: pair.omp.clause.lastprivate+base.device.parallel_in_seq_loop
// atoms: pair.omp.clause.lastprivate+base.device.parallel_in_seq_loop, omp.clause.lastprivate, base.device.parallel_in_seq_loop
// legal: yes
// observable: yes
// ran_on_host: inside the target region of interest
// evidence: construct
// needs: none
// std: c11
// feature: lastprivate on a parallel for nested in a sequential loop of a target region
// spec: the parts' own programs
// pair of: omp.clause.lastprivate + base.device.parallel_in_seq_loop (each has a program of its own)
#include <stdio.h>
#include <stdbool.h>
#include <omp.h>

enum { n = 64 };

int main(void) {
  int a[n], b[n], ref[n];
  int host_flag = 1;
  for (int i = 0; i < n; i++) {
    a[i] = i + 1;
    b[i] = 0;
    ref[i] = i < 3 ? n + i : 0;
  }
  #pragma omp target map(to: a) map(tofrom: b, host_flag)
  {
    host_flag = omp_is_initial_device();
    for (int k = 0; k < 3; k++) {
      int last = 0;
      #pragma omp parallel for lastprivate(last)
      for (int i = 0; i < n; i++)
        last = a[i] + k;
      b[k] = last;
    }
  }
  bool ok = true;
  for (int i = 0; i < n; i++)
    ok = ok && (b[i] == ref[i]);
  printf("RESULT ran_on_host=%d check=%s\n", host_flag, ok ? "pass" : "fail");
  return 0;
}