offtarget 0.1.0__py3-none-any.whl

offload/_root/data/findings/nested/controls/ua4-ctl-to-in-place-of-alloc-and-update.f90

@@ -0,0 +1,37 @@
+! control: enter data map(to: r) in place of map(alloc: r) and the update
+program t
+  use omp_lib
+  implicit none
+  type :: n1
+    integer :: s = 0
+  end type n1
+  type :: n0
+    integer :: s = 0
+    integer :: a(8) = 0
+    type(n1), allocatable :: nx
+  end type n0
+  type(n0), pointer :: r
+  integer :: q, hf, tot
+  logical :: ok
+  hf = 1
+  !$omp target map(from: hf)
+  hf = merge(1, 0, omp_is_initial_device())
+  !$omp end target
+  allocate(r)
+  allocate(r%nx)
+  do q = 1, 8
+    r%a(q) = 100 + q - 1
+  end do
+  r%nx%s = 21
+  tot = 0
+  !$omp target enter data map(to: r)
+  !$omp target teams distribute parallel do reduction(+: tot)
+  do q = 1, 8
+    tot = tot + r%a(q) + r%nx%s
+  end do
+  !$omp end target teams distribute parallel do
+  !$omp target exit data map(delete: r)
+  ok = tot == 996
+  print '(a,i0)', 'tot= ', tot
+  print '(a,i0,a,a)', 'RESULT ran_on_host=', hf, ' check=', merge('pass', 'fail', ok)
+end program t

offload/_root/data/findings/nested/controls/v2-ctl-parent-first.c

@@ -0,0 +1,25 @@
+// control: the same two list items, the parent first
+#include <stdio.h>
+#include <stdlib.h>
+#include <omp.h>
+struct s1 { int a[8]; };
+struct s0 { int v; struct s1 *nx; };
+int main(void)
+{
+  int hf = 1, i, tot = 0, ok;
+  #pragma omp target map(from: hf)
+  hf = omp_is_initial_device() ? 1 : 0;
+  struct s0 *r = malloc(sizeof *r);
+  r->v = 10;
+  r->nx = malloc(sizeof *r->nx);
+  for (i = 0; i < 8; i++) r->nx->a[i] = 200 + i;
+  #pragma omp target map(tofrom: tot) map(to: r[0:1]) map(to: r->nx[0:1])
+  {
+    tot += r->v;
+    for (int q = 0; q < 8; q++) tot += r->nx->a[q];
+  }
+  ok = tot == 1638;
+  printf("tot= %d\n", tot);
+  printf("RESULT ran_on_host=%d check=%s\n", hf, ok ? "pass" : "fail");
+  return 0;
+}

offload/_root/data/findings/nested/controls/v4-ctl-embedded-member.c

@@ -0,0 +1,24 @@
+// control: the member is embedded, not a pointer
+#include <stdio.h>
+#include <stdlib.h>
+#include <omp.h>
+struct s1 { int a[8]; };
+struct s0 { int v; struct s1 nx; };
+int main(void)
+{
+  int hf = 1, i, tot = 0, ok;
+  #pragma omp target map(from: hf)
+  hf = omp_is_initial_device() ? 1 : 0;
+  struct s0 *r = malloc(sizeof *r);
+  r->v = 10;
+  for (i = 0; i < 8; i++) r->nx.a[i] = 200 + i;
+  #pragma omp target map(tofrom: tot) map(to: r[0:1])
+  {
+    tot += r->v;
+    for (int q = 0; q < 8; q++) tot += r->nx.a[q];
+  }
+  ok = tot == 1638;
+  printf("tot= %d\n", tot);
+  printf("RESULT ran_on_host=%d check=%s\n", hf, ok ? "pass" : "fail");
+  return 0;
+}

offload/_root/data/findings/nested/gcc-acc-c-exit-data-of-a-pointer-array-element-target-hangs.c

@@ -0,0 +1,83 @@
+// # Finding (nested-data): GCC OpenACC: exit data of the target of an element of a pointer array stops at run time:
+// # "goacc_exit_data_internal UNHANDLED kind 0x50" (the program hangs)
+//
+// - toolchains and modes that fail: gcc_g90 (GCC 16.2.0), gcc_sm80 (GCC 16.2.0); modes: copy; -O2
+// - build: gcc -fopenacc -foffload=amdgcn-amdhsa -foffload-options=amdgcn-amdhsa=-march=gfx90a -O2 (gcc_g90); gcc -fopenacc
+//   -foffload=nvptx-none -foffload-options=nvptx-none=-march=sm_80 -foffload-options=nvptx-none=-latomic -O2 (gcc_sm80)
+// - failure: timeout
+// - observed: `RUN_TIMEOUT`; identical signature on 2 of 2 failing cells
+// - expected: compiles and prints `tot= 6` with `check=pass`
+// - rule: OpenACC 3.4 §2.7.1 p.49 l.1686-1688 describes how the pointers of dynamically allocated dimensions are filled
+//   in; the text has no sentence that names a subarray of the target of an element of a pointer array (r.nx[0][0:1]) as
+//   a var form, so the legality of the program rests on the rules' reading of var forms and on NVHPC accepting and
+//   running it. Exit data with delete or copyout of a var that is present decrements its counters and, for a pointer
+//   reference, its attachment counter (3.4 §2.7.12 p.58 l.2023-2024)
+// - same-compiler control: controls/f3-pointer-array-only.c (one change from this file; correct on gcc_g90 (GCC 16.2.0), gcc_sm80
+//   (GCC 16.2.0); rows results/nested/red/red10.jsonl, results/nested/red/wgs.jsonl, results/nested/red/wnv.jsonl);
+//   controls/f5-ctl-copyout-exit.c (one change from this file; correct on gcc_g90 (GCC 16.2.0), gcc_sm80 (GCC 16.2.0); rows
+//   results/nested/red/red10.jsonl, results/nested/red/wgs.jsonl, results/nested/red/wnv.jsonl);
+//   controls/f6-ctl-pointer-to-struct-array.c (one change from this file; correct on gcc_g90 (GCC 16.2.0), gcc_sm80 (GCC 16.2.0);
+//   rows results/nested/red/red10.jsonl, results/nested/red/wgs.jsonl, results/nested/red/wnv.jsonl)
+// - other families: nvhpc (NVHPC 25.11), nvhpc269 (NVHPC 26.9) run the file correctly (rows results/nested/red/wnv.jsonl)
+// - gate and confirmer: campaign gate of the programs below: 14 cells, 14 confirmed in the four environments (a-d; (c) on another
+//   node or GPU; rows results/nested/big/gate_reruns.part.tioga38.1371141.jsonl,
+//   results/nested/big/gate_reruns.part.tioga39.517665.jsonl,
+//   results/nested/big/gate_reruns.part.wingtip.501872.jsonl,
+//   results/nested/big/gate_reruns.part.wingtip.501873.jsonl,
+//   results/nested/big/gate_reruns.part.wingtip.711615.jsonl,
+//   results/nested/big/gate_reruns.part.wingtip.724122.jsonl, results/nested/big/rows.part.tioga39.397000.jsonl,
+//   results/nested/big/rows.part.wingtip.3886921.jsonl,
+//   results/nested/main/gate_reruns.part.tioga37.2711328.jsonl, results/nested/main/gate_reruns.part.tioga39.351539.jsonl,
+//   results/nested/main/gate_reruns.part.wingtip.3582436.jsonl,
+//   results/nested/main/gate_reruns.part.wingtip.3582437.jsonl,
+//   results/nested/main/gate_reruns.part.wingtip.3637854.jsonl,
+//   results/nested/main/gate_reruns.part.wingtip.3639010.jsonl,
+//   results/nested/main/rows.part.tioga37.2691037.jsonl, results/nested/main/rows.part.wingtip.3363230.jsonl)
+// - programs (7): nd-c-acc-enter-chain-d2-a882d869, nd-c-acc-enter-chain-d2-e7da4dab, nd-c-acc-enter-chain-d3-315d10d9,
+//   nd-c-acc-enter-chain-d3-358c069c, nd-c-acc-enter-chain-d3-b9bb6619, nd-c-acc-enter-chain-d4-1fa7e914,
+//   nd-c-acc-enter-chain-d4-658d9bcd
+// - legality: the rules (offload.engine.rules) accept it; both NVHPC releases compile and run the reduction correctly (a
+//   compiler of another family; the registry has no OpenACC C clause checker, so this is acceptance and execution, not a
+//   clause check)
+#include <stdio.h>
+#include <stdlib.h>
+#include <openacc.h>
+struct s1 { int *a; };
+struct s0 { int v; struct s1 **nx; };
+int main(void)
+{
+  int hf = 1, i, tot = 0, ok;
+  struct s0 r;
+  r.v = 5;
+  r.nx = malloc(2 * sizeof *r.nx);
+  for (i = 0; i < 2; i++) {
+    r.nx[i] = malloc(sizeof *r.nx[i]);
+    r.nx[i]->a = malloc(4 * sizeof(int));
+    for (int q = 0; q < 4; q++) r.nx[i]->a[q] = 10 * (i + 1) + q;
+  }
+  #pragma acc serial copy(hf)
+  hf = acc_on_device(acc_device_host) ? 1 : 0;
+  #pragma acc enter data copyin(r)
+  #pragma acc enter data copyin(r.nx[0:2])
+  #pragma acc enter data copyin(r.nx[0][0:1])
+  #pragma acc serial copy(tot) present(r)
+  {
+    tot = r.v;
+    tot += 1;
+  }
+  #pragma acc exit data delete(r.nx[0][0:1])
+  #pragma acc exit data delete(r.nx[0:2])
+  #pragma acc exit data delete(r)
+  ok = tot == 6;
+  printf("tot= %d\n", tot);
+  printf("RESULT ran_on_host=%d check=%s\n", hf, ok ? "pass" : "fail");
+  return 0;
+}
+
+// site:
+// title: GCC OpenACC: exit data of a pointer-array element target hangs
+// summary: GCC prints "UNHANDLED kind 0x50" and hangs after exit data of an element target of a pointer array.
+// control: nested/controls/f3-pointer-array-only.c one change from the finding; correct on gcc_g90, gcc_sm80
+// control: nested/controls/f5-ctl-copyout-exit.c one change from the finding; correct on gcc_g90, gcc_sm80
+// control: nested/controls/f6-ctl-pointer-to-struct-array.c one change from the finding; correct on gcc_g90, gcc_sm80
+// end site

offload/_root/data/findings/nested/gcc-acc-c-parent-and-shared-pointee-one-directive.c

@@ -0,0 +1,88 @@
+// # Finding (nested-data): GCC OpenACC: copyin of a new parent and of its pointer member's target, which is already present, in
+// # one enter data directive stops at run time: "enclosing struct not mapped for attach"
+//
+// - toolchains and modes that fail: gcc_g90 (GCC 16.2.0), gcc_sm80 (GCC 16.2.0); modes: copy; -O2
+// - build: gcc -fopenacc -foffload=amdgcn-amdhsa -foffload-options=amdgcn-amdhsa=-march=gfx90a -O2 (gcc_g90); gcc -fopenacc
+//   -foffload=nvptx-none -foffload-options=nvptx-none=-march=sm_80 -foffload-options=nvptx-none=-latomic -O2 (gcc_sm80)
+// - failure: run_error
+// - observed: `exit_status: 1`; identical signature on 2 of 2 failing cells
+// - expected: compiles and prints `tot= 25` with `check=pass`
+// - rule: OpenACC 3.4 §2.7.8 p.55 l.1902-1903: "If var is a pointer reference, an attach pointer action is performed
+//   followed by an increment counter action"; attach actions are scheduled after the transfers of the same directive
+//   (§2.7.2 p.52 l.1785-1786), and the target of the pointer is present (it was mapped by the first parent)
+// - same-compiler control: controls/e2-ctl-two-directives.c (one change from this file; correct on gcc_g90 (GCC 16.2.0), gcc_sm80
+//   (GCC 16.2.0); rows results/nested/red/red9.jsonl, results/nested/red/wgs.jsonl, results/nested/red/wnv.jsonl);
+//   controls/e3-ctl-attach-clause.c (one change from this file; correct on gcc_g90 (GCC 16.2.0), gcc_sm80 (GCC 16.2.0); rows
+//   results/nested/red/red9.jsonl, results/nested/red/wgs.jsonl, results/nested/red/wnv.jsonl)
+// - other families: nvhpc (NVHPC 25.11), nvhpc269 (NVHPC 26.9) run the file correctly (rows results/nested/red/wnv.jsonl)
+// - gate and confirmer: campaign gate of the programs below: 32 cells, 32 confirmed in the four environments (a-d; (c) on another
+//   node or GPU; rows results/nested/big/gate_reruns.part.tioga38.1371141.jsonl,
+//   results/nested/big/gate_reruns.part.tioga39.517665.jsonl,
+//   results/nested/big/gate_reruns.part.wingtip.501872.jsonl,
+//   results/nested/big/gate_reruns.part.wingtip.501873.jsonl,
+//   results/nested/big/gate_reruns.part.wingtip.711615.jsonl,
+//   results/nested/big/gate_reruns.part.wingtip.724122.jsonl, results/nested/big/rows.part.tioga39.397000.jsonl,
+//   results/nested/big/rows.part.wingtip.3886921.jsonl,
+//   results/nested/main/gate_reruns.part.tioga37.2711328.jsonl, results/nested/main/gate_reruns.part.tioga39.351539.jsonl,
+//   results/nested/main/gate_reruns.part.wingtip.3582436.jsonl,
+//   results/nested/main/gate_reruns.part.wingtip.3582437.jsonl,
+//   results/nested/main/gate_reruns.part.wingtip.3637854.jsonl,
+//   results/nested/main/gate_reruns.part.wingtip.3639010.jsonl,
+//   results/nested/main/rows.part.tioga37.2691037.jsonl, results/nested/main/rows.part.wingtip.3363229.jsonl,
+//   results/nested/main/rows.part.wingtip.3363230.jsonl)
+// - programs (16): nd-c-acc-enter-alias-d2-7309596a, nd-c-acc-enter-alias-d2-8d638b4c, nd-c-acc-enter-alias-d2-afeabcf3,
+//   nd-c-acc-enter-aliassub-d2-0a90f75a, nd-c-acc-enter-aliassub-d2-0ca27fa7, nd-c-acc-enter-aliassub-d2-a27eabb0,
+//   nd-c-acc-enter-aliassub-d2-deeda44f, nd-c-acc-enter-aliassub-d2-e893a050, nd-c-acc-enter-diamond-d3-10d00adc,
+//   nd-c-acc-enter-diamond-d3-35c7e4c2, nd-c-acc-enter-diamond-d3-5ba7e8ba, nd-c-acc-enter-diamond-d3-699c342b,
+//   nd-c-acc-enter-diamond-d3-76ded6c0, nd-c-acc-enter-diamond-d3-ac852196, nd-c-acc-enter-diamond-d3-b4186a11,
+//   nd-c-acc-enter-diamond-d3-b5ee2a63
+// - legality: the rules (offload.engine.rules) accept it; both NVHPC releases compile and run the reduction correctly (a
+//   compiler of another family; the registry has no OpenACC C clause checker, so this is acceptance and execution, not a
+//   clause check)
+#include <stdio.h>
+#include <stdlib.h>
+#include <openacc.h>
+struct leaf { int *a; };
+struct mid { struct leaf *c; };
+struct top { int v; struct mid *l; struct mid *r; };
+int main(void)
+{
+  int hf = 1, i, tot = 0, ok;
+  struct top t;
+  t.v = 5;
+  t.l = malloc(sizeof *t.l);
+  t.r = malloc(sizeof *t.r);
+  t.l->c = malloc(sizeof *t.l->c);
+  t.r->c = t.l->c;                       /* one leaf, two parents */
+  t.l->c->a = malloc(4 * sizeof(int));
+  for (i = 0; i < 4; i++) t.l->c->a[i] = i + 1;
+  #pragma acc serial copy(hf)
+  hf = acc_on_device(acc_device_host) ? 1 : 0;
+  #pragma acc enter data copyin(t)
+  #pragma acc enter data copyin(t.l[0:1])
+  #pragma acc enter data copyin(t.l->c[0:1])
+  #pragma acc enter data copyin(t.l->c->a[0:4])
+  #pragma acc enter data copyin(t.r[0:1], t.r->c[0:1])
+  #pragma acc serial copy(tot) present(t)
+  {
+    tot = t.v;
+    for (int q = 0; q < 4; q++) tot += t.l->c->a[q] + t.r->c->a[q];
+  }
+  #pragma acc exit data delete(t.r->c[0:1])
+  #pragma acc exit data delete(t.r[0:1])
+  #pragma acc exit data delete(t.l->c->a[0:4])
+  #pragma acc exit data delete(t.l->c[0:1])
+  #pragma acc exit data delete(t.l[0:1])
+  #pragma acc exit data delete(t)
+  ok = tot == 25;
+  printf("tot= %d\n", tot);
+  printf("RESULT ran_on_host=%d check=%s\n", hf, ok ? "pass" : "fail");
+  return 0;
+}
+
+// site:
+// title: GCC OpenACC: second parent of a present pointee stops at run time
+// summary: GCC stops with "enclosing struct not mapped for attach" at an enter data naming a second parent of a present pointee.
+// control: nested/controls/e2-ctl-two-directives.c one change from the finding; correct on gcc_g90, gcc_sm80
+// control: nested/controls/e3-ctl-attach-clause.c one change from the finding; correct on gcc_g90, gcc_sm80
+// end site

offload/_root/data/findings/nested/gcc-acc-c-struct-and-member-array-one-directive.c

@@ -0,0 +1,84 @@
+// # Finding (nested-data): GCC OpenACC: copyin of a structure and of the array its pointer member points to in one data
+// # directive stops at run time: "outer struct not mapped for attach"
+//
+// - toolchains and modes that fail: gcc_g90 (GCC 16.2.0), gcc_sm80 (GCC 16.2.0); modes: copy; -O2
+// - build: gcc -fopenacc -foffload=amdgcn-amdhsa -foffload-options=amdgcn-amdhsa=-march=gfx90a -O2 (gcc_g90); gcc -fopenacc
+//   -foffload=nvptx-none -foffload-options=nvptx-none=-march=sm_80 -foffload-options=nvptx-none=-latomic -O2 (gcc_sm80)
+// - failure: wrong_answer (check=fail)
+// - observed: `libgomp: outer struct not mapped for attach`; identical signature on 2 of 2 failing cells
+// - expected: compiles and prints `tot= 15` with `check=pass`
+// - rule: OpenACC 3.4 §2.7.8 p.55 l.1902-1903: "If var is a pointer reference, an attach pointer action is performed
+//   followed by an increment counter action"; the attach actions of a directive are scheduled after its transfers: "The
+//   implementation schedules pointer updates after any data transfers due to transfer in actions that are performed for
+//   the same directive." (§2.7.2 p.52 l.1785-1786), so the structure and the array its member points to may be mapped by
+//   one directive
+// - same-compiler control: controls/c3-ctl-nested-data.c (one change from this file; correct on gcc_g90 (GCC 16.2.0), gcc_sm80 (GCC
+//   16.2.0); rows results/nested/red/red6.jsonl, results/nested/red/wgs.jsonl, results/nested/red/wnv.jsonl);
+//   controls/c5-acc-serial-struct-and-array.c (one change from this file; correct on gcc_g90 (GCC 16.2.0), gcc_sm80 (GCC 16.2.0);
+//   rows results/nested/red/red6.jsonl, results/nested/red/wgs.jsonl, results/nested/red/wnv.jsonl)
+// - other families: nvhpc (NVHPC 25.11), nvhpc269 (NVHPC 26.9) run the file correctly (rows results/nested/red/wnv.jsonl, site
+//   rows, check case site-nested--gcc-acc-c-struct-and-member-array-one-directive)
+// - gate and confirmer: campaign gate of the programs below: 82 cells, 82 confirmed in the four environments (a-d; (c) on another
+//   node or GPU; rows results/nested/big/gate_reruns.part.tioga38.1371141.jsonl,
+//   results/nested/big/gate_reruns.part.tioga39.517665.jsonl,
+//   results/nested/big/gate_reruns.part.wingtip.501872.jsonl,
+//   results/nested/big/gate_reruns.part.wingtip.501873.jsonl,
+//   results/nested/big/gate_reruns.part.wingtip.711615.jsonl,
+//   results/nested/big/gate_reruns.part.wingtip.724122.jsonl, results/nested/big/rows.part.tioga39.397000.jsonl,
+//   results/nested/big/rows.part.wingtip.3886921.jsonl,
+//   results/nested/main/gate_reruns.part.tioga37.2711328.jsonl, results/nested/main/gate_reruns.part.tioga39.351539.jsonl,
+//   results/nested/main/gate_reruns.part.wingtip.3582436.jsonl,
+//   results/nested/main/gate_reruns.part.wingtip.3582437.jsonl,
+//   results/nested/main/gate_reruns.part.wingtip.3637854.jsonl,
+//   results/nested/main/gate_reruns.part.wingtip.3639010.jsonl,
+//   results/nested/main/rows.part.tioga37.2691037.jsonl, results/nested/main/rows.part.wingtip.3363229.jsonl,
+//   results/nested/main/rows.part.wingtip.3363230.jsonl)
+// - programs (41): nd-c-acc-tdata-alias-d2-20ae973e, nd-c-acc-tdata-alias-d2-23c00982, nd-c-acc-tdata-alias-d2-72a1d7e8,
+//   nd-c-acc-tdata-alias-d2-af2ec241, nd-c-acc-tdata-chain-d1-0ed1bf12, nd-c-acc-tdata-chain-d1-9886a523,
+//   nd-c-acc-tdata-chain-d2-085c13be, nd-c-acc-tdata-chain-d2-1a584322, nd-c-acc-tdata-chain-d2-25c6c4d8,
+//   nd-c-acc-tdata-chain-d2-361ca0f9, nd-c-acc-tdata-chain-d2-36b0e127, nd-c-acc-tdata-chain-d2-43985434,
+//   nd-c-acc-tdata-chain-d2-462abe25, nd-c-acc-tdata-chain-d2-5e7728c0, nd-c-acc-tdata-chain-d2-85f2a830,
+//   nd-c-acc-tdata-chain-d2-a3760a7a, nd-c-acc-tdata-chain-d2-af1ca1e6, nd-c-acc-tdata-chain-d2-d9e6a839,
+//   nd-c-acc-tdata-chain-d2-f585dbe8, nd-c-acc-tdata-chain-d2-f85f821b, nd-c-acc-tdata-chain-d3-474c8b58,
+//   nd-c-acc-tdata-chain-d3-475cfe44, nd-c-acc-tdata-chain-d3-4bf0e2c8, nd-c-acc-tdata-chain-d3-5c2aa78e,
+//   nd-c-acc-tdata-chain-d3-63c6d8ed, nd-c-acc-tdata-chain-d3-8fa68caf, nd-c-acc-tdata-chain-d3-99924776,
+//   nd-c-acc-tdata-chain-d3-9d855631, nd-c-acc-tdata-chain-d3-f891fd7c, nd-c-acc-tdata-diamond-d3-6974fab3,
+//   nd-c-acc-tdata-diamond-d3-6fe9454b, nd-c-acc-tdata-diamond-d3-87e0b9a8, nd-c-acc-tdata-list-d2-1ab29ba9,
+//   nd-c-acc-tdata-list-d2-cc8507d1, nd-c-acc-tdata-list-d3-367465a3, nd-c-acc-tdata-tree-d2-12d76b63,
+//   nd-c-acc-tdata-tree-d2-87d4954e, nd-c-acc-tdata-tree-d2-aedfe6ab, nd-c-acc-tdata-tree-d2-fdcb2b5a,
+//   nd-c-acc-tdata-tree-d3-335e85bb, nd-c-acc-tdata-tree-d3-98389330
+// - legality: the rules (offload.engine.rules) accept it; both NVHPC releases compile and run the reduction correctly (a
+//   compiler of another family; the registry has no OpenACC C clause checker, so this is acceptance and execution, not a
+//   clause check)
+#include <stdio.h>
+#include <stdlib.h>
+#include <openacc.h>
+struct s0 { int v; int *a; };
+int main(void)
+{
+  int hf = 1, i, tot = 0, ok;
+  struct s0 r;
+  r.v = 5; r.a = malloc(4 * sizeof(int));
+  for (i = 0; i < 4; i++) r.a[i] = i + 1;
+  #pragma acc serial copy(hf)
+  hf = acc_on_device(acc_device_host) ? 1 : 0;
+  #pragma acc data copyin(r, r.a[0:4])
+  {
+    #pragma acc serial copy(tot) present(r)
+    {
+      tot = r.v;
+      for (int q = 0; q < 4; q++) tot += r.a[q];
+    }
+  }
+  ok = tot == 15;
+  printf("tot= %d\n", tot);
+  printf("RESULT ran_on_host=%d check=%s\n", hf, ok ? "pass" : "fail");
+  return 0;
+}
+
+// site:
+// title: GCC OpenACC: structure and member array in one data directive stops at run time
+// summary: GCC stops with "outer struct not mapped for attach" at a data directive naming a structure and its pointee array.
+// control: nested/controls/c3-ctl-nested-data.c one change from the finding; correct on gcc_g90, gcc_sm80
+// control: nested/controls/c5-acc-serial-struct-and-array.c one change from the finding; correct on gcc_g90, gcc_sm80
+// end site

offload/_root/data/findings/nested/gcc-c-always-on-pointer-member-section-ice.c

@@ -0,0 +1,75 @@
+// # Finding (nested-data): GCC: map(always, to:) of a section of a pointer member of an embedded structure crashes the compiler
+// # (error: Segmentation fault)
+//
+// - toolchains and modes that fail: gcc_g90 (GCC 16.2.0), gcc_sm80 (GCC 16.2.0); modes: copy; -O2
+// - build: gcc -fopenmp -foffload=amdgcn-amdhsa -foffload-options=amdgcn-amdhsa=-march=gfx90a -O2 (gcc_g90); gcc -fopenmp
+//   -foffload=nvptx-none -foffload-options=nvptx-none=-march=sm_80 -foffload-options=nvptx-none=-latomic -O2 (gcc_sm80)
+// - failure: ice
+// - observed: `Please submit a full bug report, with preprocessed source (by using -freport-bug).`; identical signature on 2 of 2
+//   failing cells
+// - expected: compiles and prints `tot= 1638` with `check=pass`
+// - rule: the always map-type-modifier may be given on any map clause list item, including a section of a pointer member
+//   reached through an embedded structure (OpenMP 5.2 §5.8.3 p.153 l.15-17)
+// - same-compiler control: controls/gt2-ctl-no-always.c (one change from this file; correct on gcc_g90 (GCC 16.2.0), gcc_sm80 (GCC
+//   16.2.0); rows results/nested/red/red16.jsonl, results/nested/red/tuo22.jsonl, results/nested/red/tuo23.jsonl,
+//   results/nested/red/wgs3.jsonl, results/nested/red/wnv3.jsonl); controls/gt3-ctl-always-on-structure-only.c (one change from
+//   this file; correct on gcc_g90 (GCC 16.2.0), gcc_sm80 (GCC 16.2.0); rows results/nested/red/red16.jsonl,
+//   results/nested/red/tuo22.jsonl, results/nested/red/tuo23.jsonl, results/nested/red/wgs3.jsonl, results/nested/red/wnv3.jsonl)
+// - other families: afar (AFAR 24.3.0), cce21_4 (CCE 21.0.4), nvhpc (NVHPC 25.11), nvhpc269 (NVHPC 26.9) run the file correctly
+//   (rows results/nested/red/tuo22.jsonl, results/nested/red/tuo23.jsonl, results/nested/red/wnv3.jsonl)
+// - gate and confirmer: campaign gate of the programs below: 20 cells, 20 confirmed in the four environments (a-d; (c) on another
+//   node or GPU; rows results/nested/big/gate_reruns.part.tioga37.523062.jsonl,
+//   results/nested/big/gate_reruns.part.tioga38.1371141.jsonl, results/nested/big/gate_reruns.part.tioga39.1163127.jsonl,
+//   results/nested/big/gate_reruns.part.tioga39.517665.jsonl,
+//   results/nested/big/gate_reruns.part.wingtip.2487708.jsonl,
+//   results/nested/big/gate_reruns.part.wingtip.2487709.jsonl,
+//   results/nested/big/gate_reruns.part.wingtip.2545453.jsonl,
+//   results/nested/big/gate_reruns.part.wingtip.2551979.jsonl,
+//   results/nested/big/gate_reruns.part.wingtip.501873.jsonl,
+//   results/nested/big/gate_reruns.part.wingtip.724122.jsonl, results/nested/big/rows.part.tioga39.397000.jsonl,
+//   results/nested/big/rows.part.wingtip.3886921.jsonl,
+//   results/nested/main/gate_reruns.part.tioga37.2711328.jsonl, results/nested/main/gate_reruns.part.tioga39.351539.jsonl,
+//   results/nested/main/gate_reruns.part.wingtip.3374144.jsonl,
+//   results/nested/main/gate_reruns.part.wingtip.3386107.jsonl,
+//   results/nested/main/gate_reruns.part.wingtip.3582436.jsonl,
+//   results/nested/main/gate_reruns.part.wingtip.3637854.jsonl,
+//   results/nested/main/rows.part.tioga37.2691037.jsonl, results/nested/main/rows.part.wingtip.3363229.jsonl,
+//   results/nested/main/rows.part.wingtip.3363230.jsonl)
+// - programs (10): nd-c-omp-always-chain-d2-54e7fc79, nd-c-omp-always-chain-d2-ba438256, nd-c-omp-always-chain-d2-d3bf9d59,
+//   nd-c-omp-always-chain-d3-33791e60, nd-c-omp-always-chain-d3-37f3561f, nd-c-omp-always-chain-d3-6f147348,
+//   nd-c-omp-always-chain-d3-755bad14, nd-c-omp-always-chain-d3-bdb8bc3d, nd-c-omp-always-chain-d3-dfa07978,
+//   nd-c-omp-always-list-d2-f31eac01
+// - legality: the rules (offload.engine.rules) accept it; AFAR, CCE and NVHPC compile and run it correctly (front ends of
+//   three other families)
+#include <stdio.h>
+#include <stdlib.h>
+#include <omp.h>
+enum { NM = 8 };
+struct n1 { int s; int *a; };
+struct n0 { int s; struct n1 nx; };
+int main(void)
+{
+  int hf = 1, i, tot = 0, ok;
+  struct n0 *r = calloc(1, sizeof *r);
+  #pragma omp target map(from: hf)
+  hf = omp_is_initial_device() ? 1 : 0;
+  r->nx.a = malloc(NM * sizeof(int));
+  r->s = 10;
+  for (i = 0; i < NM; i++) r->nx.a[i] = 200 + i;
+  #pragma omp target map(tofrom: tot) map(to: r[0:1]) map(always, to: r->nx.a[0:8])
+  {
+    tot += r->s;
+    for (int q = 0; q < NM; q++) tot += r->nx.a[q];
+  }
+  ok = tot == 1638;
+  printf("tot= %d\n", tot);
+  printf("RESULT ran_on_host=%d check=%s\n", hf, ok ? "pass" : "fail");
+  return 0;
+}
+
+// site:
+// title: GCC: compiler crash on map(always) of a pointer-member section
+// summary: GCC crashes on map(always, to:) of a section of a pointer member of an embedded structure.
+// control: nested/controls/gt2-ctl-no-always.c one change from the finding; correct on gcc_g90, gcc_sm80
+// control: nested/controls/gt3-ctl-always-on-structure-only.c one change from the finding; correct on gcc_g90, gcc_sm80
+// end site

offload/_root/data/findings/nested/gcc-c-declare-mapper-pointer-member-section-gpu-fault.c

@@ -0,0 +1,93 @@
+// # Finding (nested-data): GCC: a declare mapper for a structure with a pointer member that maps a section of the pointee makes
+// # the kernel fault on the GPU
+//
+// - toolchains and modes that fail: gcc_g90 (GCC 16.2.0), gcc_sm80 (GCC 16.2.0); modes: copy; -O2
+// - build: gcc -fopenmp -foffload=amdgcn-amdhsa -foffload-options=amdgcn-amdhsa=-march=gfx90a -O2 (gcc_g90); gcc -fopenmp
+//   -foffload=nvptx-none -foffload-options=nvptx-none=-march=sm_80 -foffload-options=nvptx-none=-latomic -O2 (gcc_sm80)
+// - failure: crash
+// - observed: `Memory access fault by GPU node-4 (Agent handle: 0x794640) on address 0xbed000. Reason: Unknown.` (killed by signal
+//   6); identical signature on 1 of 2 failing cells (gcc_sm80 on a100-s: `libgomp: cuCtxSynchronize error: an illegal memory access
+//   was encountered` differ)
+// - counted as this failure: gcc_sm80 (GCC 16.2.0): on the A100 the CUDA runtime reports the same dereference of the unattached
+//   pointer as an illegal memory access (libgomp: cuCtxSynchronize error, exit status 1) where the HSA runtime on the MI250X aborts
+//   with a GPU memory access fault; one defect, reported differently by the two runtimes (50 of 50 repeat runs fail on the A100,
+//   data/reports/nested-visibility/wt_repeat.log)
+// - expected: compiles and prints `ha= 4028` with `check=pass`
+// - rule: OpenMP 5.2 §5.8.8 p.164 l.1-2: "All map clauses that are introduced by a mapper are further subject to mappers
+//   that are in scope, except a map clause with list item var maps var without invoking a mapper": the mapper maps the
+//   structure and a section of its pointer member, and a map(tofrom: r) applies it; the expected result relies on the
+//   mapper attaching that section to the device copy of r (inside the region r.a must refer to the device copy of
+//   r.a[0:NM])
+// - same-compiler control: controls/gp2-ctl-no-mapper-explicit-maps.c (one change from this file; correct on gcc_g90 (GCC 16.2.0),
+//   gcc_sm80 (GCC 16.2.0); rows results/nested/red/red15.jsonl, results/nested/red/tuo22.jsonl, results/nested/red/tuo23.jsonl,
+//   results/nested/red/wgs2.jsonl, results/nested/red/wnv2.jsonl)
+// - other families: afar (AFAR 24.3.0), cce19 (CCE 19.0.0), cce20 (CCE 20.0.2), cce21 (CCE 21.0.3), cce21_4 (CCE 21.0.4) run the
+//   file correctly (rows results/nested/red/tuo23.jsonl, site rows, check case
+//   site-nested--gcc-c-declare-mapper-pointer-member-section-gpu-fault); nvhpc (NVHPC 25.11), nvhpc269 (NVHPC 26.9) fail it another
+//   way, e.g. `"site-nested--gcc-c-declare-mapper-pointer-member-section-gpu-fault.c", line 38: error: invalid text in pragma`
+// - gate and confirmer: campaign gate of the programs below: 44 cells, 43 confirmed in the four environments (a-d; (c) on another
+//   node or GPU; rows results/nested/big/gate_reruns.part.tioga38.1371141.jsonl,
+//   results/nested/big/gate_reruns.part.tioga39.517665.jsonl,
+//   results/nested/big/gate_reruns.part.wingtip.501872.jsonl,
+//   results/nested/big/gate_reruns.part.wingtip.501873.jsonl,
+//   results/nested/big/gate_reruns.part.wingtip.711615.jsonl,
+//   results/nested/big/gate_reruns.part.wingtip.724122.jsonl, results/nested/big/rows.part.tioga39.397000.jsonl,
+//   results/nested/big/rows.part.wingtip.3886921.jsonl,
+//   results/nested/main/gate_reruns.part.tioga37.2711328.jsonl, results/nested/main/gate_reruns.part.tioga39.351539.jsonl,
+//   results/nested/main/gate_reruns.part.wingtip.3582436.jsonl,
+//   results/nested/main/gate_reruns.part.wingtip.3582437.jsonl,
+//   results/nested/main/gate_reruns.part.wingtip.3637854.jsonl,
+//   results/nested/main/gate_reruns.part.wingtip.3639010.jsonl,
+//   results/nested/main/rows.part.tioga37.2691037.jsonl, results/nested/main/rows.part.wingtip.3363229.jsonl,
+//   results/nested/main/rows.part.wingtip.3363230.jsonl)
+// - programs (23): nd-c-omp-mapper-chain-d1-f314e872, nd-c-omp-mapper-chain-d2-647b801f, nd-c-omp-mapper-chain-d2-6cace278,
+//   nd-c-omp-mapper-chain-d2-724db78d, nd-c-omp-mapper-chain-d2-75564642, nd-c-omp-mapper-chain-d2-95162abf,
+//   nd-c-omp-mapper-chain-d2-9525642f, nd-c-omp-mapper-chain-d2-aa6b2219, nd-c-omp-mapper-chain-d2-b7881884,
+//   nd-c-omp-mapper-chain-d2-dbed9877, nd-c-omp-mapper-chain-d2-e3b718a2, nd-c-omp-mapper-chain-d3-12f05097,
+//   nd-c-omp-mapper-chain-d3-1eb36c71, nd-c-omp-mapper-chain-d3-70dd651f, nd-c-omp-mapper-chain-d3-ec8da702,
+//   nd-c-omp-mapper-chain-d4-0eb32acd, nd-c-omp-mapper-chain-d4-36e66203, nd-c-omp-mapper_enter-chain-d1-dc9d313d,
+//   nd-c-omp-mapper_enter-chain-d2-07229cfd, nd-c-omp-mapper_enter-chain-d2-df4f2688, nd-c-omp-mapper_enter-chain-d3-09a92f8a,
+//   nd-c-omp-mapper_enter-chain-d3-7babd15f, nd-c-omp-mapper_enter-chain-d3-ec1b1655
+// - run condition: on gfx90a the GPU fault shows with all eight MI250X GCDs of the node visible to the program
+//   (ROCR_VISIBLE_DEVICES unset: the nested campaign's and the gate's run environment): 20 of 20 repeat runs on tioga39
+//   and tioga38 (2026-11-03), and the campaign program nd-c-omp-mapper-chain-d2-647b801f 10 of 10. With a single GCD
+//   visible (the site matrix pinned one GPU per run) the same binary completes with the correct sum in 40 of 40 runs,
+//   environments a-d on two nodes, on every GCD 0-7, and so does the campaign program; two GCDs visible fault 15 of 15,
+//   four pass 10 of 10. The control passes either way (10 of 10 with all eight visible). The visible set changes the
+//   host address layout after HSA initialization and nothing else, so in both outcomes the device dereferences the host
+//   address of r.a, which the mapper did not attach: the fault and the silently right sum are how that one missing
+//   mapping surfaces, not two defects. The A100 build fails 50 of 50 runs whatever is visible. The site matrix therefore
+//   runs this case with every device visible on the gfx90a toolchain (the site block's devices line). Logs and scripts:
+//   data/reports/nested-visibility/
+// - legality: the rules (offload.engine.rules) accept it; AFAR and CCE compile and run it correctly (front ends of two other
+//   families); NVHPC does not accept the directive in C
+#include <stdio.h>
+#include <stdlib.h>
+#include <omp.h>
+enum { NM = 8 };
+struct n0 { int s; int *a; };
+#pragma omp declare mapper(struct n0 v) map(tofrom: v) map(tofrom: v.a[0:NM])
+int main(void)
+{
+  int hf = 1, i, ha = 0, ok;
+  struct n0 r = {0};
+  #pragma omp target map(from: hf)
+  hf = omp_is_initial_device() ? 1 : 0;
+  r.a = malloc(NM * sizeof(int));
+  r.s = 10;
+  for (i = 0; i < NM; i++) r.a[i] = 100 + i;
+  #pragma omp target teams distribute parallel for map(tofrom: r)
+  for (int q = 0; q < NM; q++) r.a[q] = 500 + q;
+  for (i = 0; i < NM; i++) ha += r.a[i];
+  ok = ha == 4028;
+  printf("ha= %d\n", ha);
+  printf("RESULT ran_on_host=%d check=%s\n", hf, ok ? "pass" : "fail");
+  return 0;
+}
+
+// site:
+// title: GCC: declare mapper with a pointer-member section faults on the GPU
+// summary: GCC kernels fault when a declare mapper maps a section of a pointer member.
+// control: nested/controls/gp2-ctl-no-mapper-explicit-maps.c one change from the finding; correct on gcc_g90, gcc_sm80
+// devices: all gcc_g90
+// end site

offload/_root/data/findings/nested/gcc-c-from-struct-and-pointee-section-rejected.c

@@ -0,0 +1,83 @@
+// # Finding (nested-data): GCC rejects map(from: r) together with a section a pointer-array member points to: "map-type other
+// # than to, from, tofrom or alloc"
+//
+// - toolchains and modes that fail: gcc_g90 (GCC 16.2.0), gcc_sm80 (GCC 16.2.0); modes: copy; -O2
+// - build: gcc -fopenmp -foffload=amdgcn-amdhsa -foffload-options=amdgcn-amdhsa=-march=gfx90a -O2 (gcc_g90); gcc -fopenmp
+//   -foffload=nvptx-none -foffload-options=nvptx-none=-march=sm_80 -foffload-options=nvptx-none=-latomic -O2 (gcc_sm80)
+// - failure: rejected
+// - observed: `site-nested--gcc-c-from-struct-and-pointee-section-rejected.c:50:62: error: ‘#pragma omp target’ with map-type other
+//   than ‘to’, ‘from’, ‘tofrom’ or ‘a`; identical signature on 2 of 2 failing cells
+// - expected: compiles and prints `tot= 7` with `check=pass`
+// - rule: "A map-type in a map clause must be to, from, tofrom or alloc." (5.2 §13.8 p.286 l.33) and map(from:) is one
+//   of them; a structure and an element of it may both be list items: "Two list items of the map clauses on the same
+//   construct must not share original storage unless they are the same list item or unless one is the containing
+//   structure of the other." (5.2 §5.8.3 p.156 l.6-7); the section r.nx[0][0:1] is storage the pointer member points to,
+//   not part of r
+// - same-compiler control: controls/g3-ctl-from-struct-no-element.c (one change from this file; correct on gcc_g90 (GCC 16.2.0),
+//   gcc_sm80 (GCC 16.2.0); rows results/nested/red/red2.jsonl, results/nested/red/wgs.jsonl, results/nested/red/wnv.jsonl);
+//   controls/g3-ptrs-two-elements-to.c (one change from this file; correct on gcc_g90 (GCC 16.2.0), gcc_sm80 (GCC 16.2.0); rows
+//   results/nested/red/red2.jsonl, results/nested/red/wgs.jsonl, results/nested/red/wnv.jsonl);
+//   controls/g3-ptrs-two-elements-tofrom.c (one change from this file; correct on gcc_g90 (GCC 16.2.0), gcc_sm80 (GCC 16.2.0); rows
+//   results/nested/red/red2.jsonl, results/nested/red/wgs.jsonl, results/nested/red/wnv.jsonl)
+// - other families: afar (AFAR 24.3.0), cce19 (CCE 19.0.0), cce20 (CCE 20.0.2), cce21 (CCE 21.0.3), cce21_4 (CCE 21.0.4), nvhpc
+//   (NVHPC 25.11), nvhpc269 (NVHPC 26.9) run the file correctly in copy mode (rows results/nested/red/wnv.jsonl, site rows, check
+//   case site-nested--gcc-c-from-struct-and-pointee-section-rejected); nvhpc (NVHPC 25.11), nvhpc269 (NVHPC 26.9) fail it another
+//   way in managed mode, e.g. `Failing in Thread:1`
+// - gate and confirmer: campaign gate of the programs below: 18 cells, 18 confirmed in the four environments (a-d; (c) on another
+//   node or GPU; rows results/nested/big/gate_reruns.part.tioga37.523062.jsonl,
+//   results/nested/big/gate_reruns.part.tioga38.1371141.jsonl, results/nested/big/gate_reruns.part.tioga39.1163127.jsonl,
+//   results/nested/big/gate_reruns.part.tioga39.517665.jsonl,
+//   results/nested/big/gate_reruns.part.wingtip.2487708.jsonl,
+//   results/nested/big/gate_reruns.part.wingtip.2487709.jsonl,
+//   results/nested/big/gate_reruns.part.wingtip.2545453.jsonl,
+//   results/nested/big/gate_reruns.part.wingtip.2551979.jsonl,
+//   results/nested/big/gate_reruns.part.wingtip.501873.jsonl,
+//   results/nested/big/gate_reruns.part.wingtip.724122.jsonl, results/nested/big/rows.part.tioga39.397000.jsonl,
+//   results/nested/big/rows.part.wingtip.3886921.jsonl,
+//   results/nested/main/gate_reruns.part.tioga37.2711328.jsonl, results/nested/main/gate_reruns.part.tioga39.351539.jsonl,
+//   results/nested/main/gate_reruns.part.wingtip.3374144.jsonl,
+//   results/nested/main/gate_reruns.part.wingtip.3374146.jsonl,
+//   results/nested/main/gate_reruns.part.wingtip.3386107.jsonl,
+//   results/nested/main/gate_reruns.part.wingtip.3391074.jsonl,
+//   results/nested/main/gate_reruns.part.wingtip.3582436.jsonl,
+//   results/nested/main/gate_reruns.part.wingtip.3637854.jsonl,
+//   results/nested/main/rows.part.tioga37.2691037.jsonl, results/nested/main/rows.part.wingtip.3363229.jsonl,
+//   results/nested/main/rows.part.wingtip.3363230.jsonl)
+// - programs (9): nd-c-omp-always-chain-d2-53712162, nd-c-omp-always-chain-d2-a0cb4117, nd-c-omp-always-chain-d3-1e86a491,
+//   nd-c-omp-always-chain-d3-5b819c3d, nd-c-omp-one-chain-d2-3557bfd6, nd-c-omp-one-chain-d2-cad870f5,
+//   nd-c-omp-present-chain-d2-60119b21, nd-c-omp-present-chain-d3-1435023d, nd-c-omp-present-chain-d4-f8a7e0f5
+// - legality: the rules accept it; AFAR's clang front end accepts it
+#include <stdio.h>
+#include <stdlib.h>
+#include <omp.h>
+struct s1 { int a[4]; };
+struct s0 { int v; struct s1 *nx[2]; };
+int main(void)
+{
+  int hf = 1, i, tot = 0, ok;
+  struct s0 r;
+  r.v = 1;
+  for (i = 0; i < 2; i++) {
+    r.nx[i] = malloc(sizeof *r.nx[i]);
+    for (int q = 0; q < 4; q++) r.nx[i]->a[q] = 10 * (i + 1) + q;
+  }
+  #pragma omp target map(from: hf)
+  hf = omp_is_initial_device() ? 1 : 0;
+  #pragma omp target map(tofrom: tot) map(from: r) map(from: r.nx[0][0:1])
+  {
+    tot = r.v;
+    for (int q = 0; q < 4; q++) { r.nx[0]->a[q] = 5; } tot = 7;
+  }
+  ok = tot == 7;
+  printf("tot= %d\n", tot);
+  printf("RESULT ran_on_host=%d check=%s\n", hf, ok ? "pass" : "fail");
+  return 0;
+}
+
+// site:
+// title: GCC: map(from:) of a structure with a pointee section rejected
+// summary: GCC rejects map(from: r) combined with a section of a pointer-array member.
+// control: nested/controls/g3-ctl-from-struct-no-element.c one change from the finding; correct on gcc_g90, gcc_sm80
+// control: nested/controls/g3-ptrs-two-elements-to.c one change from the finding; correct on gcc_g90, gcc_sm80
+// control: nested/controls/g3-ptrs-two-elements-tofrom.c one change from the finding; correct on gcc_g90, gcc_sm80
+// end site