craycc rejects defaultmap(private) (OpenMP 6.0)

// # 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.