offtarget 0.1.0__py3-none-any.whl

offload/_root/data/findings/catalog/cce-linear-lastprivate-ice.f90

@@ -0,0 +1,69 @@
+! # Draft finding: omp52-clause-linear on cce19
+!
+! - compiler: cce19
+! - toolchain: cce19; arch: gfx942; machine: tuolumne; memory mode: copy; opt: -O2
+! - program: catalog omp52-clause-linear (f90, version 52, sha256 707ffe408d371cb3)
+! - expected: None (None; )
+! - actual: ice  (ice: INTERNAL COMPILER ERROR:  "ACC - barrier/reset/protected last private not supported"
+!   (/workspace/crayftn/pdgcs/v_mt_translate.c, line 4874, 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 (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-linear
+! primary atom: omp.clause.linear
+! legal: yes
+! observable: yes
+! ran_on_host: inside the target region of interest
+! evidence: construct
+! needs: none
+! std: f2008
+! derivation (check=pass): linear(x: 1) on the parallel do (5.2 §5.4.6 p.118): on the logical iteration of i (number i - 1) the new
+! derivation: x is the original x (3) plus (i - 1)*1, so x - (i + 2) = 0 and b(i) = 2*a(i) + 1 = 2*i + 1 = ref(i); the body's x = x
+! derivation: + 1 keeps x on that sequence, and the value of the sequentially last iteration, taken as the new x at the end of that
+! derivation: iteration (3 + n after its increment, as the OpenMP Examples' linear programs assume), is assigned to the original x,
+! derivation: which the target maps tofrom: x = 1*n + 3; 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 :: x
+  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
+  x = 3
+  !$omp target map(to: a) map(from: b) map(tofrom: x) map(tofrom: host_flag)
+    host_flag = merge(1, 0, omp_is_initial_device())
+    !$omp parallel do default(none) shared(a, b) linear(x: 1)
+      do i = 1, n
+        b(i) = 2*a(i) + 1 + (x - (1*i + 2))
+        x = x + 1
+      end do
+    !$omp end parallel do
+  !$omp end target
+  ok = all(b == ref) .and. (x == 1*n + 3)
+  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: internal compiler error "ACC - barrier/reset/protected last private not supported" for linear and lastprivate on a
+! + loop in a target region
+! control: ../vendor/checks/src/cce/control/cce-linear-lastprivate-ice-control.f90 the same parallel do on the host (the target
+! + directive
+! + removed)
+! end site

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

@@ -0,0 +1,90 @@
+! Held: the legality of this program is disputed. It calls a procedure declared
+! `declare target ... device_type(nohost)` from a target region. The spec
+! says of nohost only "If nohost is specified for a procedure then only
+! non-host device versions of the procedure are made available" (5.2 §13.1
+! p.275) and states no restriction on a target region that calls such a
+! procedure (ruling RUL-LEGAL-NOHOST-REFERENCE, data/reports/rulings.md, written
+! for the C programs). The C twin
+! (omp52-c-clause-device_type-nohost) is rejected by both C front ends
+! under test, AFAR amdclang and CCE craycc ("function with
+! 'device_type(nohost)' is not available on host"), and is
+! unsupported_everywhere on the quoted spec text alone (no independent
+! compiler witness since the maintainer's 2026-10-23 ruling). AFAR amdflang
+! compiles and runs this Fortran program; CCE ftn fails at the host link.
+! The finding rests on the spec reading above; CCE's own C compiler
+! calling the construct invalid is the first reply a vendor would give.
+!
+! # Draft finding: omp52-clause-device_type-nohost on cce19
+!
+! - compiler: cce19
+! - toolchain: cce19; arch: gfx942; machine: tuolumne; memory mode: unified; opt: -O2
+! - program: catalog omp52-clause-device_type-nohost (f90, version 52, sha256 621be8a5250d0533)
+! - expected: None (None; )
+! - actual: rejected  (link_undefined_symbol: The Cpu Module:(.text+0x873): undefined reference to `f$gen_mod_')
+! - 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-device_type-nohost
+! primary atom: omp.clause.device_type.nohost
+! legal: yes
+! observable: no (f is implicitly declare target without the directive (a procedure referenced in a target construct, 5.2 §13.8
+! p.285, 6.0 §15.8 p.461), so the clause has no checked effect)
+! ran_on_host: inside the target region of interest
+! evidence: construct
+! needs: none
+! std: f2008
+! derivation (check=pass): declare target to(f) device_type(nohost) makes only a non-host version of f available (5.2 §13.1 p.275);
+! derivation: f is called only inside the target region, where f(x) = 2*x + 1, so b(i) = 2*a(i) + 1 = ref(i) (b mapped from); the
+! derivation: check accepts
+module gen_mod
+  implicit none
+  integer :: dv = 1
+  integer :: dw = 1
+  contains
+    integer function f(x)
+      !$omp declare target to(f) device_type(nohost)
+      integer, intent(in) :: x
+      f = 2*x + 1
+    end function f
+end module gen_mod
+
+program gen_prog
+  use omp_lib, only: omp_is_initial_device
+  use gen_mod
+  implicit none
+  integer, parameter :: n = 64
+  integer, allocatable, target :: a(:), b(:)
+  integer :: ref(n)
+  integer :: i, host_flag
+  logical :: ok
+  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)
+    host_flag = merge(1, 0, omp_is_initial_device())
+    do i = 1, n
+      b(i) = f(a(i))
+    end 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
+! site:
+! title: A procedure declared device_type(nohost) and called from a target region does not link (legality disputed)
+! disposition: mixed legality disputed: legal only by one reading of 5.2 §13.1 p.275 (no restriction stated on the call); the C form
+! + is rejected by both clang front ends
+! hide: true
+! end site

offload/_root/data/findings/catalog/cce-reduction-inscan-ice.f90

@@ -0,0 +1,66 @@
+! # Draft finding: omp52-clause-reduction-inscan on cce19
+!
+! - compiler: cce19
+! - toolchain: cce19; arch: gfx942; machine: tuolumne; memory mode: unified; opt: -O2
+! - program: catalog omp52-clause-reduction-inscan (f90, version 52, sha256 f26bdfc791de283c)
+! - expected: None (None; )
+! - actual: ice  (ice: INTERNAL COMPILER ERROR:  "analyze_object: unknown object type" (/workspace/crayftn/pdgcs/v_alias_new.c, line
+!   1357, 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 (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-reduction-inscan
+! primary atom: omp.clause.reduction.inscan
+! legal: yes
+! observable: yes
+! ran_on_host: inside the target region of interest
+! evidence: construct
+! needs: none
+! std: f2008
+! derivation (check=pass): reduction(inscan, +: s) with scan inclusive(s) (5.2 §5.6 p.141): the statement before the scan directive
+! derivation: is the input phase, the one after it the scan phase, which sees the sum of the updates of every iteration up to and
+! derivation: including its own; s starts at 0, so b(i) = a(1) + ... + a(i) = i*(i + 1)/2 = ref(i); 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 :: s
+  allocate(a(n), b(n))
+  do i = 1, n
+    a(i) = i
+    b(i) = 0
+    ref(i) = i*(i + 1)/2
+  end do
+  host_flag = 1
+  s = 0
+  !$omp target map(to: a) map(from: b) map(tofrom: s) map(tofrom: host_flag)
+    host_flag = merge(1, 0, omp_is_initial_device())
+    !$omp parallel do default(none) shared(a, b) reduction(inscan, +: s)
+      do i = 1, n
+        s = s + a(i)
+        !$omp scan inclusive(s)
+        b(i) = s
+      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
+! site:
+! title: ftn: internal compiler error on reduction(inscan) with a scan directive
+! control: ../vendor/checks/src/cce/control/cce-reduction-inscan-ice-control.f90 the same scan on the host (the target directive
+! + removed)
+! end site

offload/_root/data/findings/catalog/cce-reduction-task-link.f90

@@ -0,0 +1,76 @@
+! # Draft finding: omp52-clause-reduction-task on cce20
+!
+! - compiler: cce20
+! - toolchain: cce20; arch: gfx942; machine: tuolumne; memory mode: unified; opt: -O2
+! - program: catalog omp52-clause-reduction-task (f90, version 52, sha256 0181c241953a07c1)
+! - expected: None (None; )
+! - actual: rejected  (link_undefined_symbol: lld: error: undefined symbol: _cray$mt_taskred_modifier_init)
+! - 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-reduction-task
+! primary atom: omp.clause.reduction.task
+! legal: yes
+! observable: yes
+! ran_on_host: inside the target region of interest
+! evidence: construct
+! needs: none
+! std: f2008
+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 :: s, sref
+  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
+  s = 0
+  sref = 0
+  do i = 1, n
+    sref = sref + a(i)
+  end do
+  !$omp target map(to: a) map(from: b) map(tofrom: host_flag) map(tofrom: s)
+    host_flag = merge(1, 0, omp_is_initial_device())
+    !$omp parallel default(none) shared(a, b, s)
+      !$omp do reduction(task, +: s)
+        do i = 1, n
+          b(i) = 2*a(i) + 1
+          s = s + a(i)
+        end do
+      !$omp end do
+    !$omp end parallel
+  !$omp end target
+  ok = all(b == ref) .and. (s == sref)
+  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/craycc: reduction(task, +: s) on a worksharing loop in a target region fails at the device link (taskred_modifier_init
+! + undefined)
+! control: ../vendor/checks/src/cce/control/cce-reduction-task-link-control.f90 reduction(+: s) without the task modifier
+! end site
+! spec (requirement): The task reduction-modifier on a reduction clause of a parallel or worksharing construct
+!   privatizes the list item and supports task reductions.
+! "If the task reduction-modifier is present for a parallel or worksharing construct, then each list item is
+!   privatized according to the description and restrictions in Section 5.3" (5.2 §5.5.8 p.135 l.16-18)
+! spec (requirement): After the region the original list item contains the result of the reduction.
+! "After the end of the region, the original list item contains the result of the reduction." (5.2 §5.5.8 p.135
+!   l.21-22)
+! spec (this program): reduction(task, +: s) on a worksharing do inside a parallel region in a target region must
+!   leave the sum of a in s; the compiler fails at the device link (_cray$mt_taskred_modifier_init undefined).

offload/_root/data/findings/catalog/cce19-reduction-task-addrspacecast-ice.f90

@@ -0,0 +1,77 @@
+! # Draft finding: omp52-clause-reduction-task on cce19
+!
+! - compiler: cce19
+! - toolchain: cce19; arch: gfx942; machine: tuolumne; memory mode: unified; opt: -O2
+! - program: catalog omp52-clause-reduction-task (f90, version 52, sha256 0181c241953a07c1)
+! - expected: None (None; )
+! - actual: ice  (ice: error: omp52-clause-reduction-task.f90:34:0: in function gen_prog_$ck_L31_1 void (i64, i64, i64, i64, i64,
+!   i64, i64): invalid addrspacecast)
+! - 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 (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-reduction-task
+! primary atom: omp.clause.reduction.task
+! legal: yes
+! observable: yes
+! ran_on_host: inside the target region of interest
+! evidence: construct
+! needs: none
+! std: f2008
+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 :: s, sref
+  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
+  s = 0
+  sref = 0
+  do i = 1, n
+    sref = sref + a(i)
+  end do
+  !$omp target map(to: a) map(from: b) map(tofrom: host_flag) map(tofrom: s)
+    host_flag = merge(1, 0, omp_is_initial_device())
+    !$omp parallel default(none) shared(a, b, s)
+      !$omp do reduction(task, +: s)
+        do i = 1, n
+          b(i) = 2*a(i) + 1
+          s = s + a(i)
+        end do
+      !$omp end do
+    !$omp end parallel
+  !$omp end target
+  ok = all(b == ref) .and. (s == sref)
+  print '(a,i0,a,a)', 'RESULT ran_on_host=', host_flag, ' check=', merge('pass', 'fail', ok)
+  deallocate(a, b)
+end program gen_prog
+! spec (requirement): The task reduction-modifier on a reduction clause of a parallel or worksharing construct
+!   privatizes the list item and supports task reductions.
+! "If the task reduction-modifier is present for a parallel or worksharing construct, then each list item is
+!   privatized according to the description and restrictions in Section 5.3" (5.2 §5.5.8 p.135 l.16-18)
+! spec (requirement): After the region the original list item contains the result of the reduction.
+! "After the end of the region, the original list item contains the result of the reduction." (5.2 §5.5.8 p.135
+!   l.21-22)
+! spec (this program): reduction(task, +: s) on a worksharing do inside a parallel region in a target region must
+!   leave the sum of a in s; CCE 19 stops with an invalid addrspacecast internal error.
+! site:
+! title: ftn 19: internal compiler error (invalid addrspacecast) on reduction(task)
+! control: ../vendor/checks/src/cce/control/cce19-reduction-task-addrspacecast-ice-control.f90 reduction(+: s) without the task
+! + modifier
+! end site

offload/_root/data/findings/catalog/cce20-c-defaultmap-private-storage-rejected.c

@@ -0,0 +1,85 @@
+// # Draft finding: omp60-c-clause-defaultmap-private on cce20
+//
+// - compiler: cce20
+// - toolchain: cce20; arch: gfx942; machine: tuolumne; memory mode: unified; opt: -O2
+// - program: catalog omp60-c-clause-defaultmap-private (c, version 60, sha256 09a36af3c3918990)
+// - expected: None (None; )
+// - actual: rejected  (diagnostic: <tmpdir>/omp60-c-clause-defaultmap-private.c:34:80: error: expected 'alloc', 'from', 'to', 'tofrom', 'firstprivate', 'none', 'default', 'present' in OpenMP clause 'defaultmap')
+// - 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 6.0, C11): the C port (offload.engine.f2c) of omp60-clause-defaultmap-private. Do not edit.
+// id: omp60-c-clause-defaultmap-private
+// primary atom: omp.clause.defaultmap.private
+// legal: yes
+// observable: yes
+// ran_on_host: inside the target region of interest
+// evidence: construct
+// needs: none
+// std: c11
+// C: the check also reads w after the region: the defaultmap category keeps the region's writes to the aggregate w private; without the clause w is mapped tofrom and they come back (the Fortran program checks b only)
+#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 w[n];
+  for (int i = 1; i <= n; i++) {
+    a[i - 1] = i;
+    b[i - 1] = 0;
+    ref[i - 1] = 2 * i + 1;
+  }
+  host_flag = 1;
+  c = 0;
+  for (int k1_ = 0; k1_ < n; k1_++)
+    w[k1_] = 0;
+  #pragma omp target map(to: a) map(from: b) map(tofrom: host_flag) defaultmap(private)
+  {
+    host_flag = (omp_is_initial_device() ? 1 : 0);
+    c = 1;
+    for (int i = 1; i <= n; i++) {
+      w[i - 1] = 2 * a[i - 1];
+      b[i - 1] = w[i - 1] + c;
+    }
+  }
+  bool wz = true;
+  for (int k_ = 0; k_ < n; k_++)
+    wz = wz && (w[k_] == 0);
+  bool t2_ = true;
+  for (int k3_ = 0; k3_ < n; k3_++)
+    t2_ = t2_ && (b[k3_] == ref[k3_]);
+  ok = t2_ && wz;
+  printf("RESULT ran_on_host=%d check=%s\n", host_flag, ok ? "pass" : "fail");
+  return 0;
+}
+// spec (requirement): In OpenMP 6.0 the defaultmap clause sets the implicit data-mapping or data-sharing attribute of
+//   the variables referenced in a target construct, and its implicit-behavior keywords include private.
+// "The defaultmap clause controls the implicitly determined data-mapping attributes or implicitly determined
+//   data-sharing attributes of certain variables that are referenced in a target construct" (6.0 §7.9.9 p.292 l.2-4)
+// spec (requirement): A defaultmap clause with an implicit behavior other than default determines the attribute of
+//   the variables of its category.
+// "If a defaultmap clause is present for the category of the variable and specifies an implicit behavior other than
+//   default, the data-mapping attribute or data-sharing attribute is determined by that clause." (6.0 §7.9.3 p.276
+//   l.21-23)
+// spec (this program): defaultmap(private) is a 6.0 form: the 6.0 argument table lists private among the
+//   implicit-behavior keywords (a table row without line numbers, so it is not quoted), but the 6.0 semantics
+//   paragraph of the clause does not describe it, so no sentence states what private does and the cited text is the
+//   closest normative rule. The compiler rejects the keyword with a diagnostic that lists alloc, from, to, tofrom,
+//   firstprivate, none, default and present.
+// site:
+// title: craycc rejects defaultmap(private) (OpenMP 6.0)
+// control: ../vendor/checks/src/cce/control/cce20-c-defaultmap-private-storage-rejected-control.c defaultmap(firstprivate) instead
+// + of defaultmap(private)
+// end site

offload/_root/data/findings/catalog/cce20-map-self-rejected.f90

@@ -0,0 +1,64 @@
+! # Draft finding: omp60-clause-map-self on cce20
+!
+! - compiler: cce20
+! - toolchain: cce20; arch: gfx942; machine: tuolumne; memory mode: unified; opt: -O2
+! - program: catalog omp60-clause-map-self (f90, version 60, sha256 bae4dcecdf58e771)
+! - expected: None (None; )
+! - actual: rejected  (diagnostic: ftn-810 ftn: ERROR GEN_PROG, File = ../../omp60-clause-map-self.f90, Line = 26, Column = 20 | On
+!   the OpenMP map clause, if a map-type-modifier is specified, a map-type must also be specifi)
+! - 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.gen (OpenMP 6.0, free-form Fortran). Do not edit.
+! id: omp60-clause-map-self
+! primary atom: omp.clause.map.self
+! 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: zero_copy
+! std: f2008
+! unverified (oracle_not_written): re-categorised (was implementation_defined): a self map is 'a mapping
+!   operation for
+! which the corresponding storage is the same as its original storage' (6.0 Glossary p.95), and a map-entering self map of storage
+! the device cannot access must end in runtime error termination (6.0 §7.9.6 p.285), so the spec fixes the behaviour: in copy mode
+! (HSA_XNACK=0) a device write of a self-mapped a must be seen by the host, or the run must stop; without self the write stays on
+! the device. That check is not written: the program needs zero-copy memory as generated, and AFAR at HSA_XNACK=0 copies even with
+! self (probe 2026-10-18: map(self, to: a) with a device write of a leaves the host's a unchanged), which the check would report as
+! a wrong answer
+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
+  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(self: 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
+  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 20 rejects the self map-type modifier (OpenMP 6.0)
+! control: ../vendor/checks/src/cce/control/cce20-map-self-rejected-control.f90 map(to: a) instead of map(self: a)
+! end site

offload/_root/data/findings/catalog/cce21-c-declare-target-local-rejected.c

@@ -0,0 +1,73 @@
+// # Draft finding: omp60-c-clause-local on cce21
+//
+// - compiler: cce21
+// - toolchain: cce21; arch: gfx942; machine: tuolumne; memory mode: unified; opt: -O2
+// - program: catalog omp60-c-clause-local (c, version 60, sha256 17d280d2796527ad)
+// - expected: None (None; )
+// - actual: rejected  (diagnostic: <tmpdir>/omp60-c-clause-local.c:17:28: error: unexpected 'local' clause, only 'enter', 'link', 'device_type' or 'indirect' clauses expected)
+// - 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 6.0, C11): the C port (offload.engine.f2c) of omp60-clause-local. Do not edit.
+// id: omp60-c-clause-local
+// primary atom: omp.clause.local
+// 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 dv = 1;
+int dw = 1;
+#pragma omp declare target local(dv)
+int f(int x) {
+  int r_;
+  r_ = 2 * x + 1;
+  return r_;
+}
+
+int main(void) {
+  int a[n];
+  int b[n];
+  int ref[n];
+  int host_flag;
+  bool ok;
+  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
+  {
+    dv = 5;
+  }
+  #pragma omp target map(to: a) map(from: b) 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] + dv - 4;
+    }
+  }
+  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
+// control: ../vendor/checks/src/cce/control/cce21-c-declare-target-local-rejected-control.c declare target enter(dv) instead of
+// + local(dv)
+// same_as: catalog/cce-c-map-iterator-ice
+// end site