offtarget 0.1.0__py3-none-any.whl

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

@@ -0,0 +1,64 @@
+// # Draft finding: omp52-c-w-lastprivate-parallel-in-seq-loop on cce19
+//
+// - compiler: cce19
+// - toolchain: cce19; arch: gfx942; machine: tuolumne; memory mode: unified; opt: -O2
+// - program: catalog omp52-c-w-lastprivate-parallel-in-seq-loop (c, version 52, sha256 26a32d8bcc61408e)
+// - expected: check=pass (trusted; elision + model)
+// - actual: wrong_answer check=fail (check_fail: ran_on_host=0 check=fail)
+// - verdict: compiler_bug by rule R20-runtime-bug: a legal program fails at run time, deterministically, against an expected value from two or more independent sources with an executed witness, and another toolchain, mode, arch or the elision gives the expected value
+// - reason: expected trusted check=pass (elision + model): stored main verdict: elision + model agree; witnesses: afar/gfx942/unified, afar/gfx942/unified (port:omp52-w-lastprivate-parallel-in-seq-loop), elision
+// - citations: RUL-DERIVED-NEEDS-EXECUTION (rulings.md); RUL-WITNESS-PER-MODE (rulings.md); RUL-SAME-COMPILER-RUNS (rulings.md); RUL-PRESENCE-WITNESS (rulings.md); RUL-METAMORPHIC-OTHER-FAMILY (rulings.md)
+// - legality: legal: offload.engine.prerun.check accepts it (rerun: offload.engine.rules with the
+//   race rule and the restriction checks, and the AFAR clang front end, not under test here); no
+//   compiler under test, gfortran or gcc is a legality witness
+// - witnesses: afar/gfx942/unified, afar/gfx942/unified (port:omp52-w-lastprivate-parallel-in-seq-loop), elision
+// - withdrawn: none
+//
+// Generated by compliance.widen (OpenMP 5.2, C11; catalog widening). Do not edit.
+// id: omp52-c-w-lastprivate-parallel-in-seq-loop
+// primary atom: pair.omp.clause.lastprivate+base.device.parallel_in_seq_loop
+// atoms: pair.omp.clause.lastprivate+base.device.parallel_in_seq_loop, omp.clause.lastprivate, base.device.parallel_in_seq_loop
+// legal: yes
+// observable: yes
+// ran_on_host: inside the target region of interest
+// evidence: construct
+// needs: none
+// std: c11
+// feature: lastprivate on a parallel for nested in a sequential loop of a target region
+// spec: the parts' own programs
+// pair of: omp.clause.lastprivate + base.device.parallel_in_seq_loop (each has a program of its own)
+#include <stdio.h>
+#include <stdbool.h>
+#include <omp.h>
+
+enum { n = 64 };
+
+int main(void) {
+  int a[n], b[n], ref[n];
+  int host_flag = 1;
+  for (int i = 0; i < n; i++) {
+    a[i] = i + 1;
+    b[i] = 0;
+    ref[i] = i < 3 ? n + i : 0;
+  }
+  #pragma omp target map(to: a) map(tofrom: b, host_flag)
+  {
+    host_flag = omp_is_initial_device();
+    for (int k = 0; k < 3; k++) {
+      int last = 0;
+      #pragma omp parallel for lastprivate(last)
+      for (int i = 0; i < n; i++)
+        last = a[i] + k;
+      b[k] = last;
+    }
+  }
+  bool ok = true;
+  for (int i = 0; i < n; i++)
+    ok = ok && (b[i] == ref[i]);
+  printf("RESULT ran_on_host=%d check=%s\n", host_flag, ok ? "pass" : "fail");
+  return 0;
+}
+// site:
+// title: craycc: lastprivate and linear on a parallel for in a target region do not return the final value
+// same_as: cce-c-parallel-for-in-target
+// end site

offload/_root/data/findings/catalog/cce-c-long-double-ice.c

@@ -0,0 +1,61 @@
+// # Draft finding: omp52-c-w-long-double on cce19
+//
+// - compiler: cce19
+// - toolchain: cce19; arch: gfx942; machine: tuolumne; memory mode: unified; opt: -O2
+// - program: catalog omp52-c-w-long-double (c, version 52, sha256 95c075422c35bf6b)
+// - expected: None (None; )
+// - actual: ice  (ice: PLEASE submit a bug report to HPE at https://support.hpe.com/ and include the crash backtrace.)
+// - 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 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-long-double
+// primary atom: base.device.long_double
+// atoms: base.device.long_double
+// legal: yes
+// observable: yes
+// ran_on_host: inside the target region of interest
+// evidence: construct
+// needs: none
+// std: c11
+// feature: long double arithmetic on a mapped long double array (the representation of long double is implementation defined; a device that has no wider type than double may reject it)
+// spec: OpenMP 5.2 §1.7, p.35: C11 is a normative base language
+#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;
+  long double ld[n];
+  for (int i = 0; i < n; i++) {
+    a[i] = i + 1;
+    b[i] = 0;
+    ref[i] = 2 * (i + 1) + 1;
+  }
+  for (int i = 0; i < n; i++) ld[i] = 0.0L;
+  #pragma omp target teams distribute parallel for map(to: a) map(from: ld) map(tofrom: \
+      host_flag)
+  for (int i = 0; i < n; i++) {
+    ld[i] = (long double)a[i] * 2.0L + 1.0L;
+    if (i == 0) host_flag = omp_is_initial_device();
+  }
+  for (int i = 0; i < n; i++) b[i] = (int)ld[i];
+  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: internal compiler error on long double arithmetic in a target loop
+// control: ../vendor/checks/src/cce/control/cce-c-long-double-ice-control.c double instead of long double
+// end site

offload/_root/data/findings/catalog/cce-c-map-iterator-ice.c

@@ -0,0 +1,92 @@
+// # Draft finding: omp52-c-clause-map-iterator on cce19
+//
+// - compiler: cce19
+// - toolchain: cce19; arch: gfx942; machine: tuolumne; memory mode: unified; opt: -O2
+// - program: catalog omp52-c-clause-map-iterator (c, version 52, sha256 a7be9001f201c65b)
+// - expected: None (None; )
+// - actual: ice  (ice: PLEASE submit a bug report to HPE at https://support.hpe.com/ and include the crash backtrace, preprocessed source, and associated run script.)
+// - 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.c_gen (OpenMP 5.2, C11): the C port (offload.engine.f2c) of omp52-clause-map-iterator. Do not edit.
+// id: omp52-c-clause-map-iterator
+// primary atom: omp.clause.map.iterator
+// legal: yes
+// observable: yes
+// ran_on_host: inside the target region of interest
+// evidence: copy_mode_only
+// 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 k;
+  int w[n];
+  bool pres;
+  bool shared_mem;
+  int zc[1];
+  for (int i = 1; i <= n; i++) {
+    a[i - 1] = i;
+    b[i - 1] = 0;
+    ref[i - 1] = 2 * i + 1;
+  }
+  host_flag = 1;
+  for (int k1_ = 0; k1_ < n; k1_++)
+    w[k1_] = 0;
+  #pragma omp target enter data map(iterator(k = 1:2), to: w[k:n / 2 - (k + 1) + 1])
+  pres = true;
+  for (int k2_ = 0; k2_ < 1; k2_++)
+    zc[k2_] = 0;
+  #pragma omp target map(to: zc)
+  {
+    zc[0] = 1;
+  }
+  shared_mem = zc[0] == 1;
+  #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] + 1;
+    }
+  }
+  if (!shared_mem) pres = pres && (omp_target_is_present(&w[1], omp_get_default_device()) != 0);
+  if (!shared_mem) pres = pres && (omp_target_is_present(&w[n / 2 - 1], omp_get_default_device()) != 0);
+  if (!shared_mem) pres = pres && (omp_target_is_present(&w[0], omp_get_default_device()) == 0);
+  if (!shared_mem) pres = pres && (omp_target_is_present(&w[n / 2], omp_get_default_device()) == 0);
+  #pragma omp target exit data map(iterator(k = 1:2), release: w[k:n / 2 - (k + 1) + 1])
+  bool t3_ = true;
+  for (int k4_ = 0; k4_ < n; k4_++)
+    t3_ = t3_ && (b[k4_] == ref[k4_]);
+  ok = t3_ && pres;
+  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/cce-c-map-iterator-ice-control.c the same sections mapped without the iterator modifier
+// + (w[1:n/2 -
+// + 2])
+// end site
+// spec (requirement): An iterator modifier defines a set of iterators and is allowed on the map clause.
+// "An iterator modifier is a unique, complex modifier that defines a set of iterators, each of which is an
+//   iterator-identifier and an associated set of values." (5.2 §3.2.6 p.67 l.6-8)
+// spec (requirement): A list item in a map clause may use any iterator-identifier defined in the iterator modifier of
+//   that clause.
+// "A list item in a map clause may reference any iterator-identifier defined in its iterator modifier." (5.2 §5.8.3
+//   p.151 l.13-14)
+// spec (this program): target enter data and target exit data map w[k:n/2-(k+1)+1] for k = 1:2 with an iterator
+//   modifier; the compiler stops with an internal error instead of mapping the iterated sections or giving a
+//   diagnostic.

offload/_root/data/findings/catalog/cce-c-motion-iterator-rejected.c

@@ -0,0 +1,68 @@
+// # Draft finding: omp52-c-clause-from-iterator on cce19
+//
+// - compiler: cce19
+// - toolchain: cce19; arch: gfx942; machine: tuolumne; memory mode: unified; opt: -O2
+// - program: catalog omp52-c-clause-from-iterator (c, version 52, sha256 a2f233574ec18e5d)
+// - expected: None (None; )
+// - actual: rejected  (diagnostic: <tmpdir>/omp52-c-clause-from-iterator.c:41:34: error: call to undeclared function 'iterator'; ISO C99 and later do not support implicit function declarations [-Wimplicit-function-declarati)
+// - 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-from-iterator. Do not edit.
+// id: omp52-c-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: 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 k;
+  for (int i = 1; i <= n; i++) {
+    a[i - 1] = i;
+    b[i - 1] = 0;
+    ref[i - 1] = 2 * (i + 10) + 1;
+  }
+  host_flag = 1;
+  #pragma omp target enter data map(to: a) map(alloc: b)
+  for (int i = 1; i <= n; i++) {
+    a[i - 1] = a[i - 1] + 10;
+  }
+  #pragma omp target update to(a)
+  #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] + 1;
+    }
+  }
+  #pragma omp target update from(iterator(k = 1:2): b[k - 1:n - k + 1])
+  #pragma omp target exit data map(release: a, b)
+  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/cce-c-motion-iterator-rejected-control.c from(b[0:n]) without the iterator modifier
+// same_as: catalog/cce-c-map-iterator-ice
+// end site

offload/_root/data/findings/catalog/cce-c-ordered-doacross-link.c

@@ -0,0 +1,64 @@
+// # Draft finding: omp52-c-clause-ordered-n on cce19
+//
+// - compiler: cce19
+// - toolchain: cce19; arch: gfx942; machine: tuolumne; memory mode: unified; opt: -O2
+// - program: catalog omp52-c-clause-ordered-n (c, version 52, sha256 872526bfa6d022e4)
+// - expected: None (None; )
+// - actual: rejected  (link_undefined_symbol: lld: error: undefined symbol: __kmpc_doacross_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.c_gen (OpenMP 5.2, C11): the C port (offload.engine.f2c) of omp52-clause-ordered-n. Do not edit.
+// id: omp52-c-clause-ordered-n
+// primary atom: omp.clause.ordered.n
+// legal: yes
+// observable: no (equivalent_default: the check covers the device kernel, not the atom)
+// ran_on_host: inside the target region of interest
+// evidence: equivalent_default
+// needs: none
+// std: c11
+// no oracle (equivalent_default): re-categorised (was implementation_defined): without n the ordered clause behaves as if n were the collapse value, here 1, so ordered(1) on this one-loop nest is the ordered clause without its argument, with or without doacross constructs
+// basis: OpenMP 5.2 §4.4.4, p.94: "If n is not specified then the behavior is as if n is specified with the same value as is specified for the collapse clause on the construct."
+#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;
+  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)
+  {
+    host_flag = (omp_is_initial_device() ? 1 : 0);
+    #pragma omp parallel for default(none) shared(a, b) ordered(1)
+    for (int i = 1; i <= n; i++) {
+      b[i - 1] = 2 * a[i - 1] + 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: 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-ordered-doacross-link-control.c the ordered(1) clause removed
+// same_as: cce19-target-parallel-single-ice
+// end site

offload/_root/data/findings/catalog/cce-c-ordered-link.c

@@ -0,0 +1,77 @@
+// # Draft finding: omp52-c-clause-ordered on cce19
+//
+// - compiler: cce19
+// - toolchain: cce19; arch: gfx942; machine: tuolumne; memory mode: unified; opt: -O2
+// - program: catalog omp52-c-clause-ordered (c, version 52, sha256 2af75a6f949bff54)
+// - expected: None (None; )
+// - actual: rejected  (link_undefined_symbol: lld: error: undefined symbol: __kmpc_dispatch_init_4)
+// - 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-ordered. Do not edit.
+// id: omp52-c-clause-ordered
+// primary atom: omp.clause.ordered
+// 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 cnt;
+  int seq[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;
+  cnt = 0;
+  for (int k1_ = 0; k1_ < n; k1_++)
+    seq[k1_] = -1;
+  #pragma omp target map(to: a) map(from: b) map(tofrom: cnt) map(from: seq) \
+      map(tofrom: host_flag)
+  {
+    host_flag = (omp_is_initial_device() ? 1 : 0);
+    #pragma omp parallel for default(none) shared(a, b, cnt, seq) ordered
+    for (int i = 1; i <= n; i++) {
+      b[i - 1] = 2 * a[i - 1] + 1;
+      #pragma omp ordered
+      {
+        cnt = cnt + 1;
+        seq[i - 1] = cnt;
+      }
+    }
+  }
+  bool t2_ = true;
+  for (int k3_ = 0; k3_ < n; k3_++)
+    t2_ = t2_ && (b[k3_] == ref[k3_]);
+  bool t4_ = true;
+  for (int k5_ = 0; k5_ < n; k5_++)
+    t4_ = t4_ && (2 * seq[k5_] + 1 == ref[k5_]);
+  ok = t2_ && t4_;
+  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-ordered-link-control.c the same parallel for on the host (the target directive
+// + removed)
+// same_as: cce19-target-parallel-single-ice
+// end site

offload/_root/data/findings/catalog/cce-c-recursive-function-ice.c

@@ -0,0 +1,62 @@
+// # Draft finding: omp52-c-w-recursive-routine on cce19
+//
+// - compiler: cce19
+// - toolchain: cce19; arch: gfx942; machine: tuolumne; memory mode: unified; opt: -O2
+// - program: catalog omp52-c-w-recursive-routine (c, version 52, sha256 5032bc0dcb16068b)
+// - expected: None (None; )
+// - actual: ice  (ice: clang: error: clang frontend command failed due to signal (use -v to see invocation))
+// - 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 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-recursive-routine
+// primary atom: base.device.recursion
+// atoms: base.device.recursion
+// legal: yes
+// observable: yes
+// ran_on_host: inside the target region of interest
+// evidence: construct
+// needs: none
+// std: c11
+// feature: a recursive declare target function
+// spec: OpenMP 5.2 §1.7, p.35: C11 is a normative base language
+#include <stdio.h>
+#include <stdbool.h>
+#include <omp.h>
+
+enum { n = 64 };
+
+#pragma omp declare target
+int sumto(int k) { return k <= 0 ? 0 : k + sumto(k - 1); }
+#pragma omp end declare target
+
+int main(void) {
+  int a[n], b[n], ref[n];
+  int host_flag = 1;
+  for (int i = 0; i < n; i++) {
+    a[i] = i + 1;
+    b[i] = 0;
+    ref[i] = ((i + 1) % 8) * ((i + 1) % 8 + 1) / 2;
+  }
+  #pragma omp target teams distribute parallel for map(to: a) map(from: b) map(tofrom: \
+      host_flag)
+  for (int i = 0; i < n; i++) {
+    b[i] = sumto(a[i] % 8);
+    if (i == 0) host_flag = omp_is_initial_device();
+  }
+  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: compiler crash on a recursive function called in a target region
+// control: ../vendor/checks/src/cce/control/cce-c-recursive-function-ice-control.c sumto computed without recursion (k*(k+1)/2)
+// end site

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

@@ -0,0 +1,67 @@
+// # Draft finding: omp52-c-clause-reduction-inscan on cce19
+//
+// - compiler: cce19
+// - toolchain: cce19; arch: gfx942; machine: tuolumne; memory mode: unified; opt: -O2
+// - program: catalog omp52-c-clause-reduction-inscan (c, version 52, sha256 09fe312de8f77fd1)
+// - expected: None (None; )
+// - actual: ice  (ice: PLEASE submit a bug report to HPE at https://support.hpe.com/ and include the crash backtrace, preprocessed source, and associated run script.)
+// - 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.c_gen (OpenMP 5.2, C11): the C port (offload.engine.f2c) of omp52-clause-reduction-inscan. Do not edit.
+// id: omp52-c-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: 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 s;
+  for (int i = 1; i <= n; i++) {
+    a[i - 1] = i;
+    b[i - 1] = 0;
+    ref[i - 1] = i * (i + 1) / 2;
+  }
+  host_flag = 1;
+  s = 0;
+  #pragma omp target map(to: a) map(from: b) map(tofrom: s) map(tofrom: host_flag)
+  {
+    host_flag = (omp_is_initial_device() ? 1 : 0);
+    #pragma omp parallel for default(none) shared(a, b) reduction(inscan, +: s)
+    for (int i = 1; i <= n; i++) {
+      s = s + a[i - 1];
+      #pragma omp scan inclusive(s)
+      b[i - 1] = s;
+    }
+  }
+  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: 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-reduction-inscan-ice-control.c the same scan on the host (the target directive
+// + removed)
+// same_as: cce19-target-parallel-single-ice
+// end site

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

@@ -0,0 +1,73 @@
+// # Draft finding: omp52-c-clause-reduction-task on cce19
+//
+// - compiler: cce19
+// - toolchain: cce19; arch: gfx942; machine: tuolumne; memory mode: unified; opt: -O2
+// - program: catalog omp52-c-clause-reduction-task (c, version 52, sha256 54be3b72d697c751)
+// - expected: None (None; )
+// - actual: rejected  (link_undefined_symbol: lld: error: undefined symbol: __kmpc_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.c_gen (OpenMP 5.2, C11): the C port (offload.engine.f2c) of omp52-clause-reduction-task. Do not edit.
+// id: omp52-c-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: 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 s;
+  int sref;
+  for (int i = 1; i <= n; i++) {
+    a[i - 1] = i;
+    b[i - 1] = 0;
+    ref[i - 1] = 2 * i + 1;
+  }
+  host_flag = 1;
+  s = 0;
+  sref = 0;
+  for (int i = 1; i <= n; i++) {
+    sref = sref + a[i - 1];
+  }
+  #pragma omp target map(to: a) map(from: b) map(tofrom: host_flag) map(tofrom: s)
+  {
+    host_flag = (omp_is_initial_device() ? 1 : 0);
+    #pragma omp parallel default(none) shared(a, b, s)
+    {
+      #pragma omp for reduction(task, +: s)
+      for (int i = 1; i <= n; i++) {
+        b[i - 1] = 2 * a[i - 1] + 1;
+        s = s + a[i - 1];
+      }
+    }
+  }
+  bool t1_ = true;
+  for (int k2_ = 0; k2_ < n; k2_++)
+    t1_ = t1_ && (b[k2_] == ref[k2_]);
+  ok = t1_ && (s == sref);
+  printf("RESULT ran_on_host=%d check=%s\n", host_flag, ok ? "pass" : "fail");
+  return 0;
+}
+// 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-c-reduction-task-link-control.c reduction(+: s) without the task modifier
+// same_as: catalog/cce-reduction-task-link
+// end site