offtarget 0.1.0__py3-none-any.whl

offload/_root/data/findings/catalog/cce-c-sections-in-target-wrong.c

@@ -0,0 +1,70 @@
+// # Draft finding: omp52-c-w-sections on cce19
+//
+// - compiler: cce19
+// - toolchain: cce19; arch: gfx942; machine: tuolumne; memory mode: unified; opt: -O2
+// - program: catalog omp52-c-w-sections (c, version 52, sha256 27f3fa01bb99e123)
+// - 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, 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, elision
+// - withdrawn: none
+//
+// Generated by compliance.widen (OpenMP 5.2, C11; catalog widening). Do not edit.
+// id: omp52-c-w-sections
+// primary atom: omp.directive.sections
+// atoms: omp.directive.sections
+// legal: yes
+// observable: yes
+// ran_on_host: inside the target region of interest
+// evidence: construct
+// needs: none
+// std: c11
+// feature: a sections construct with two sections in a target parallel region
+// spec: OpenMP 5.2 §11.3, p.243 (sections construct)
+#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] = 2 * (i + 1) + 1;
+  }
+  #pragma omp target parallel map(to: a) map(tofrom: b, host_flag)
+  {
+    #pragma omp sections
+    {
+      #pragma omp section
+      {
+        for (int i = 0; i < n / 2; i++) b[i] = 2 * a[i] + 1;
+        host_flag = omp_is_initial_device();
+      }
+      #pragma omp section
+      {
+        for (int i = n / 2; i < n; i++) b[i] = a[i] + a[i] + 1;
+      }
+    }
+  }
+  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;
+}
+// site:
+// title: craycc: sections in a target parallel region is accepted without a message and gives a wrong result
+// control: ../vendor/checks/src/cce/control/cce-c-sections-in-target-wrong-control.c the same sections on the host (parallel
+// + instead of
+// + target
+// + parallel)
+// end site

offload/_root/data/findings/catalog/cce-c-single-masked-task-link.c

@@ -0,0 +1,66 @@
+// # Draft finding: omp52-c-w-single on cce19
+//
+// - compiler: cce19
+// - toolchain: cce19; arch: gfx942; machine: tuolumne; memory mode: unified; opt: -O2
+// - program: catalog omp52-c-w-single (c, version 52, sha256 bce7f8273ffc4497)
+// - expected: None (None; )
+// - actual: rejected  (link_undefined_symbol: lld: error: undefined symbol: __kmpc_single)
+// - verdict: compiler_bug by rule R10b-own-link-or-hang: a link failure on symbols the compiler's own generated code needs, or a compile that does not finish, on a legal program: the compiler's defect (never a rejection)
+// - reason: 
+// - citations: RUL-COMPILE-TIME (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: none
+// - withdrawn: none
+//
+// Generated by compliance.widen (OpenMP 5.2, C11; catalog widening). Do not edit.
+// id: omp52-c-w-single
+// primary atom: omp.directive.single
+// atoms: omp.directive.single
+// legal: yes
+// observable: yes
+// ran_on_host: inside the target region of interest
+// evidence: construct
+// needs: none
+// std: c11
+// feature: a single construct in a target parallel region
+// spec: OpenMP 5.2 §11.1, p.240 (single construct)
+#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;
+  int s = 0;
+  for (int i = 0; i < n; i++) {
+    a[i] = i + 1;
+    b[i] = 0;
+    ref[i] = 0;
+  }
+  #pragma omp target parallel map(tofrom: s, host_flag)
+  {
+    #pragma omp single
+    {
+      s = s + 1;
+      host_flag = omp_is_initial_device();
+    }
+  }
+  bool ok = true;
+  for (int i = 0; i < n; i++)
+    ok = ok && (b[i] == ref[i]);
+  ok = ok && (s == 1);
+  printf("RESULT ran_on_host=%d check=%s\n", host_flag, ok ? "pass" : "fail");
+  return 0;
+}
+// site:
+// title: ftn/craycc: constructs documented as unsupported in offload regions (single, masked, task, ordered, scan) give internal
+// + compiler errors or device link failures instead of a diagnostic
+// control: ../vendor/checks/src/cce/control/cce-c-single-masked-task-link-control.c the same single on the host (parallel
+// + instead of target
+// + parallel)
+// same_as: cce19-target-parallel-single-ice
+// end site

offload/_root/data/findings/catalog/cce-c-task-in-target-link.c

@@ -0,0 +1,75 @@
+// # Draft finding: omp52-c-clause-default-shared on cce19
+//
+// - compiler: cce19
+// - toolchain: cce19; arch: gfx942; machine: tuolumne; memory mode: unified; opt: -O2
+// - program: catalog omp52-c-clause-default-shared (c, version 52, sha256 bc42f5f6b8c6dd23)
+// - expected: None (None; )
+// - actual: rejected  (link_undefined_symbol: lld: error: undefined symbol: __kmpc_omp_task_alloc)
+// - verdict: compiler_bug by rule R10b-own-link-or-hang: a link failure on symbols the compiler's own generated code needs, or a compile that does not finish, on a legal program: the compiler's defect (never a rejection)
+// - 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.c_gen (OpenMP 5.2, C11): the C port (offload.engine.f2c) of omp52-clause-default-shared. Do not edit.
+// id: omp52-c-clause-default-shared
+// primary atom: omp.clause.default.shared
+// legal: yes
+// observable: yes
+// ran_on_host: inside the target region of interest
+// evidence: construct
+// needs: none
+// std: c11
+#include <stdio.h>
+#include <stdbool.h>
+#include <omp.h>
+
+enum { n = 64 };
+
+int main(void) {
+  int a[n];
+  int b[n];
+  int ref[n];
+  int host_flag;
+  bool ok;
+  int c;
+  int r;
+  for (int i = 1; i <= n; i++) {
+    a[i - 1] = i;
+    b[i - 1] = 0;
+    ref[i - 1] = 2 * i + 1;
+  }
+  host_flag = 1;
+  r = 0;
+  #pragma omp target map(to: a) map(from: b) map(from: r) map(tofrom: host_flag)
+  {
+    host_flag = (omp_is_initial_device() ? 1 : 0);
+    for (int i = 1; i <= n; i++) {
+      b[i - 1] = 2 * a[i - 1] + 1;
+    }
+    #pragma omp parallel private(c)
+    {
+      c = 7;
+      #pragma omp task default(shared)
+      {
+        c = 42;
+      }
+      #pragma omp taskwait
+      if (omp_get_thread_num() == 0) r = c;
+    }
+  }
+  bool t1_ = true;
+  for (int k2_ = 0; k2_ < n; k2_++)
+    t1_ = t1_ && (b[k2_] == ref[k2_]);
+  ok = t1_ && (r == 42);
+  printf("RESULT ran_on_host=%d check=%s\n", host_flag, ok ? "pass" : "fail");
+  return 0;
+}
+// site:
+// title: ftn/craycc: constructs documented as unsupported in offload regions (single, masked, task, ordered, scan) give internal
+// + compiler errors or device link failures instead of a diagnostic
+// control: ../vendor/checks/src/cce/control/cce-c-task-in-target-link-control.c the same region on the host (the target
+// + directive removed)
+// same_as: cce19-target-parallel-single-ice
+// end site

offload/_root/data/findings/catalog/cce-c-uses-allocators-traits-rejected.c

@@ -0,0 +1,71 @@
+// # Draft finding: omp52-c-clause-uses_allocators-traits on cce19
+//
+// - compiler: cce19
+// - toolchain: cce19; arch: gfx942; machine: tuolumne; memory mode: unified; opt: -O2
+// - program: catalog omp52-c-clause-uses_allocators-traits (c, version 52, sha256 a5d4d553d629ef11)
+// - expected: None (None; )
+// - actual: rejected  (diagnostic: <tmpdir>/omp52-c-clause-uses_allocators-traits.c:33:23: error: call to undeclared function 'traits'; ISO C99 and later do not support implicit function declarations [-Wimplicit-function-de)
+// - no control: the 5.0 spelling uses_allocators(my_alloc(my_traits)), once the check case's control (dropped), is an
+//   internal compiler error on CCE 19, 20, 21.0.3 and 21.0.4 in both modes and on both GPUs, and AFAR rejects it as old
+//   syntax (its rows: data/vendor/checks/results-compact, results-site, variant control), so it does not isolate the
+//   rejection
+// - 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.c_gen (OpenMP 5.2, C11): the C port (offload.engine.f2c) of omp52-clause-uses_allocators-traits. Do not edit.
+// id: omp52-c-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: c11
+// 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)
+#include <stdio.h>
+#include <stdbool.h>
+#include <omp.h>
+
+enum { n = 64 };
+
+int main(void) {
+  int a[n];
+  int b[n];
+  int ref[n];
+  int host_flag;
+  bool ok;
+  int t;
+  omp_allocator_handle_t my_alloc;
+  const const omp_alloctrait_t my_traits[1] = {{omp_atk_alignment, 64}};
+  for (int i = 1; i <= n; i++) {
+    a[i - 1] = i;
+    b[i - 1] = 0;
+    ref[i - 1] = 2 * i + 1;
+  }
+  host_flag = 1;
+  #pragma omp target map(to: a) map(from: b) map(tofrom: host_flag) \
+      uses_allocators(traits(my_traits): my_alloc)
+  {
+    host_flag = (omp_is_initial_device() ? 1 : 0);
+    #pragma omp parallel for default(none) shared(a, b, my_alloc) private(t) \
+        allocate(my_alloc: t)
+    for (int i = 1; i <= n; i++) {
+      t = 2 * a[i - 1];
+      b[i - 1] = t + 1;
+    }
+  }
+  bool t1_ = true;
+  for (int k2_ = 0; k2_ < n; k2_++)
+    t1_ = t1_ && (b[k2_] == ref[k2_]);
+  ok = t1_;
+  printf("RESULT ran_on_host=%d check=%s\n", host_flag, ok ? "pass" : "fail");
+  return 0;
+}
+// site:
+// title: craycc/ftn: OpenMP 5.1/5.2/6.0 forms HPE does not claim are rejected, and some crash the compiler instead of a diagnostic
+// same_as: catalog/cce-c-map-iterator-ice
+// end site

offload/_root/data/findings/catalog/cce-flang-allocate-const-mem-ice.f90

@@ -0,0 +1,67 @@
+! # Draft finding: omp52-w-allocate-const-firstprivate on cce19
+!
+! - compiler: cce19
+! - toolchain: cce19; arch: gfx942; machine: tuolumne; memory mode: unified; opt: -O2
+! - program: catalog omp52-w-allocate-const-firstprivate (f90, version 52, sha256 367be03382f737d3)
+! - expected: None (None; )
+! - actual: ice  (ice: INTERNAL COMPILER ERROR:  "Too few arguments on the stack" (/workspace/crayftn/pdgcs/v_fei.c, line 11730,
+!   version cc4d36e4ff3377d45f0e6e892b5dacd82009a0ca))
+! - verdict: compiler_bug by rule R10-compile-ice: an internal compiler error (or the compiler rejecting code it generated) on a
+!   legal program: always the compiler's defect
+! - reason: 
+! - citations: RUL-COMPILE-TIME (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 flang front end, not under test here); no
+!   compiler under test, gfortran or gcc is a legality witness
+! - witnesses: none
+! - withdrawn: none
+!
+! Generated by compliance.widen (OpenMP 5.2, free-form Fortran; catalog widening). Do not edit.
+! id: omp52-w-allocate-const-firstprivate
+! primary atom: pair.omp.clause.allocate+omp.clause.firstprivate
+! atoms: pair.omp.clause.allocate+omp.clause.firstprivate, omp.clause.allocate, omp.clause.firstprivate
+! legal: yes
+! observable: yes
+! ran_on_host: inside the target region of interest
+! evidence: construct
+! needs: none
+! std: f2008
+! feature: a firstprivate scalar allocated with omp_const_mem_alloc (uses_allocators) on a target loop
+! spec: OpenMP 5.2 §6.6 (allocate clause) and §13.8, p.285: an allocator in a uses_allocators clause may be used in an allocate
+! clause on the target construct
+! pair of: omp.clause.allocate + omp.clause.firstprivate (each has a program of its own)
+program wide_prog
+  use omp_lib, only: omp_is_initial_device
+  use omp_lib, only: omp_const_mem_alloc
+  implicit none
+  integer, parameter :: n = 64
+  integer :: a(n), b(n), ref(n)
+  integer :: x
+  integer :: i, host_flag
+  logical :: ok
+  do i = 1, n
+    a(i) = i
+    b(i) = 0
+    ref(i) = i + 5
+  end do
+  host_flag = 1
+  x = 5
+  !$omp target teams distribute parallel do map(to: a) map(from: b) &
+  !$omp& map(tofrom: host_flag) firstprivate(x) allocate(omp_const_mem_alloc: x) &
+  !$omp& uses_allocators(omp_const_mem_alloc)
+  do i = 1, n
+    b(i) = a(i) + x
+    if (i == 1) host_flag = merge(1, 0, omp_is_initial_device())
+  end do
+  !$omp end target teams distribute parallel do
+  ok = all(b == ref)
+  print '(a,i0,a,a)', 'RESULT ran_on_host=', host_flag, ' check=', merge('pass', 'fail', ok)
+end program wide_prog
+! site:
+! title: ftn: internal compiler error "Too few arguments on the stack" for uses_allocators with an allocate clause in a target
+! + region
+! control: ../vendor/checks/src/cce/control/cce-flang-allocate-const-mem-ice-control.f90 the allocate and uses_allocators clauses
+! + removed (x
+! + firstprivate only)
+! same_as: catalog/cce-allocators-stack-ice
+! end site

offload/_root/data/findings/catalog/cce-flang-allocate-in-target-crash.f90

@@ -0,0 +1,68 @@
+! # Draft finding: omp52-w-allocate-in-device on cce19
+!
+! - compiler: cce19
+! - toolchain: cce19; arch: gfx942; machine: tuolumne; memory mode: unified; opt: -O2
+! - program: catalog omp52-w-allocate-in-device (f90, version 52, sha256 eb06c2541aa05fb4)
+! - 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:
+!   afar/gfx942/unified, afar/gfx942/unified (port:omp52-c-w-allocate-in-device), cce19/gfx942/unified
+!   (port:omp52-c-w-allocate-in-device), cc ...
+! - 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 flang 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-c-w-allocate-in-device), cce19/gfx942/unified
+!   (port:omp52-c-w-allocate-in-device), cce20/gfx942/unified (port:omp52-c-w-allocate-in-device), cce21/gfx942/unified
+!   (port:omp52-c-w-allocate-in-device), elision
+! - withdrawn: none
+!
+! Generated by compliance.widen (OpenMP 5.2, free-form Fortran; catalog widening). Do not edit.
+! id: omp52-w-allocate-in-device
+! primary atom: base.device.allocate
+! atoms: base.device.allocate
+! legal: yes
+! observable: yes
+! ran_on_host: inside the target region of interest
+! evidence: construct
+! needs: none
+! std: f2008
+! feature: ALLOCATE and DEALLOCATE of a local allocatable array in a target region
+! spec: OpenMP 5.2 §1.7, pp.34-35: Fortran 2008 is a normative base language (the Fortran 2018 features whose use is unspecified are
+! listed there; this is not one of them)
+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
+  !$omp target map(to: a) map(from: b) map(tofrom: host_flag)
+    host_flag = merge(1, 0, omp_is_initial_device())
+    block
+      integer, allocatable :: w(:)
+      allocate(w(n))
+      w = 2*a + 1
+      b = w
+      deallocate(w)
+    end block
+  !$omp end target
+  ok = all(b == ref)
+  print '(a,i0,a,a)', 'RESULT ran_on_host=', host_flag, ' check=', merge('pass', 'fail', ok)
+end program wide_prog
+! site:
+! title: ftn: ALLOCATE/DEALLOCATE of a local allocatable in device code aborts (SIGABRT), OpenMP and OpenACC
+! control: ../vendor/checks/src/cce/control/cce-flang-allocate-in-target-crash-control.f90 w a fixed-size local array (no
+! + ALLOCATE/DEALLOCATE)
+! end site

offload/_root/data/findings/catalog/cce-flang-lastprivate-parallel-in-seq-loop-wrong.f90

@@ -0,0 +1,83 @@
+! # Draft finding: omp52-w-lastprivate-parallel-in-seq-loop on cce19
+!
+! - compiler: cce19
+! - toolchain: cce19; arch: gfx942; machine: tuolumne; memory mode: unified; opt: -O2
+! - program: catalog omp52-w-lastprivate-parallel-in-seq-loop (f90, version 52, sha256 b5e25088c4a2a5e8)
+! - 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/copy,
+!   afar/gfx942/copy (port:omp52-c-w-lastprivate-parallel-in-seq-loop), afar/gfx942/unified, afar/gfx942/unified
+!   (port:omp52-c-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 flang front end, not under test here); no
+!   compiler under test, gfortran or gcc is a legality witness
+! - witnesses: afar/gfx942/copy, afar/gfx942/copy (port:omp52-c-w-lastprivate-parallel-in-seq-loop), afar/gfx942/unified,
+!   afar/gfx942/unified (port:omp52-c-w-lastprivate-parallel-in-seq-loop), elision
+! - withdrawn: none
+!
+! Generated by compliance.widen (OpenMP 5.2, free-form Fortran; catalog widening). Do not edit.
+! id: omp52-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: f2008
+! feature: lastprivate on a parallel do 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)
+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 :: k, last
+  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
+  !$omp target map(to: a) map(tofrom: b, host_flag)
+  host_flag = merge(1, 0, omp_is_initial_device())
+  do k = 1, 3
+    !$omp parallel do lastprivate(last)
+    do i = 1, n
+      last = a(i) + k
+    end do
+    !$omp end parallel do
+    b(k) = last
+  end do
+  !$omp end target
+  ok = all(b(1:3) == [n + 1, n + 2, n + 3])
+  print '(a,i0,a,a)', 'RESULT ran_on_host=', host_flag, ' check=', merge('pass', 'fail', ok)
+end program wide_prog
+! site:
+! title: ftn: lastprivate on a parallel do in a target region gives a wrong final value when the variable is firstprivate in the
+! + target region (not mapped)
+! control: ../vendor/checks/src/cce/control/cce-flang-lastprivate-parallel-in-seq-loop-wrong-control.f90 last also mapped tofrom
+! + on the
+! + target
+! + construct (the sequential loop kept)
+! end site
+! spec (requirement): With lastprivate, the original list item is assigned the value of the new list item from the
+!   sequentially last iteration.
+! "the value of each new list item from the sequentially last iteration of the associated loops, or the lexically last
+!   structured block sequence associated with a sections construct, is assigned to the original list item." (5.2
+!   §5.4.5 p.115 l.14-16)
+! spec (requirement): A scalar referenced in a target region and not mapped is firstprivate in it, so the original
+!   list item of the inner lastprivate is the target region's copy.
+! "If the above rules do not apply then a scalar variable is not mapped but instead has an implicit data-sharing
+!   attribute of firstprivate" (5.2 §5.8.1 p.149 l.8-9)
+! spec (this program): last is firstprivate in the target region and lastprivate on each parallel do of the sequential
+!   k loop, so b(k) must take the value a(n) + k (65, 66, 67) from the final iteration; ftn gives a wrong final value.

offload/_root/data/findings/catalog/cce-flang-stop-in-target-crash.f90

@@ -0,0 +1,64 @@
+! # Draft finding: omp52-w-stop-unreached on cce19
+!
+! - compiler: cce19
+! - toolchain: cce19; arch: gfx942; machine: tuolumne; memory mode: unified; opt: -O2
+! - program: catalog omp52-w-stop-unreached (f90, version 52, sha256 4ae6862a92abf979)
+! - expected: check=pass (trusted; elision + model)
+! - actual: crash Thread execution stopped at FILE ../../omp52-w-stop-unreached.f90 LINE 28 due to a regular STOP statement. ...
+!   (repeated; 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: afar/gfx942/copy,
+!   afar/gfx942/copy (port:omp52-c-w-stop-unreached), afar/gfx942/unified, afar/gfx942/unified (port:omp52-c-w-stop-unreache ...
+! - 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 flang front end, not under test here); no
+!   compiler under test, gfortran or gcc is a legality witness
+! - witnesses: afar/gfx942/copy, afar/gfx942/copy (port:omp52-c-w-stop-unreached), afar/gfx942/unified, afar/gfx942/unified
+!   (port:omp52-c-w-stop-unreached), cce19/gfx942/copy (port:omp52-c-w-stop-unreached), cce19/gfx942/unified
+!   (port:omp52-c-w-stop-unrea ...
+! - withdrawn: none
+!
+! Generated by compliance.widen (OpenMP 5.2, free-form Fortran; catalog widening). Do not edit.
+! id: omp52-w-stop-unreached
+! primary atom: base.device.stop
+! atoms: base.device.stop
+! legal: yes
+! observable: yes
+! ran_on_host: inside the target region of interest
+! evidence: construct
+! needs: none
+! std: f2008
+! feature: a STOP statement in device code that is not executed
+! spec: OpenMP 5.2 §4.3, p.76: a structured block may contain STOP or ERROR STOP statements
+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
+  !$omp target teams distribute parallel do map(to: a) map(from: b) map(tofrom: host_flag)
+  do i = 1, n
+    if (a(i) < 0) stop 1
+    b(i) = 2*a(i) + 1
+    if (i == 1) host_flag = merge(1, 0, omp_is_initial_device())
+  end do
+  !$omp end target teams distribute parallel do
+  ok = all(b == ref)
+  print '(a,i0,a,a)', 'RESULT ran_on_host=', host_flag, ' check=', merge('pass', 'fail', ok)
+end program wide_prog
+! site:
+! title: ftn: an IF statement guarding STOP in device code: the STOP runs although its condition is false (target loop), or an
+! + internal compiler error (directly in a target region)
+! control: ../vendor/checks/src/cce/control/cce-flang-stop-in-target-crash-control.f90 the IF with an assignment instead of STOP
+! end site

offload/_root/data/findings/catalog/cce-iterator-link.f90

@@ -0,0 +1,67 @@
+! # Draft finding: omp52-clause-from-iterator on cce19
+!
+! - compiler: cce19
+! - toolchain: cce19; arch: gfx942; machine: tuolumne; memory mode: unified; opt: -O2
+! - program: catalog omp52-clause-from-iterator (f90, version 52, sha256 5869ce00261053a5)
+! - expected: None (None; )
+! - actual: rejected  (link_undefined_symbol: The Cpu Module:(.text+0xa3b): undefined reference to `OmpIt$k')
+! - verdict: compiler_bug by rule R10b-own-link-or-hang: a link failure on symbols the compiler's own generated code needs, or a
+!   compile that does not finish, on a legal program: the compiler's defect (never a rejection)
+! - 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 5.2, free-form Fortran). Do not edit.
+! id: omp52-clause-from-iterator
+! primary atom: omp.clause.from.iterator
+! legal: yes
+! observable: yes
+! ran_on_host: inside the target region of interest
+! evidence: copy_mode_only
+! needs: none
+! std: f2008
+! derivation (check=pass): target enter data maps a (to) and b (alloc); the host adds 10 to a and target update to(a) copies it (5.2
+! derivation: §13.9 p.289), so the device's a(i) = i + 10 and the target region writes b(i) = 2*(i + 10) + 1 on the device; target
+! derivation: update from(iterator(k = 1:1): b(k:n)) expands to from(b(1:n)) (5.2 §3.2.6 p.67), so the host's b is the device's: b =
+! derivation: ref = 2*(i + 10) + 1; the check accepts
+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
+  integer :: k
+  allocate(a(n), b(n))
+  do i = 1, n
+    a(i) = i
+    b(i) = 0
+    ref(i) = 2*(i + 10) + 1
+  end do
+  host_flag = 1
+  !$omp target enter data map(to: a) map(alloc: b)
+  do i = 1, n
+    a(i) = a(i) + 10
+  end do
+  !$omp target update to(a)
+  !$omp target map(to: 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
+  !$omp target update from(iterator(k = 1:1): b(k:n))
+  !$omp target exit data map(release: a, b)
+  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
+! site:
+! title: ftn: target update from(iterator(k = 1:1): b(k:n)) fails at the host link (OmpIt$k undefined)
+! control: ../vendor/checks/src/cce/control/cce-iterator-link-control.f90 from(b(1:n)) without the iterator modifier
+! end site