nvc/nvfortran -mp=gpu: compile succeeds but the kernel is missing at run time ("Failed to find device function") for function pointers, static locals, VLAs, long double, type-bound calls

// # Draft finding: omp52-c-w-save-local-routine on nvhpc
//
// - compiler: nvhpc
// - toolchain: nvhpc; arch: sm_80; machine: wingtip; memory mode: copy; opt: -O2
// - program: catalog omp52-c-w-save-local-routine (c, version 52, sha256 867d9b2fcaa9ad8f)
// - expected: check=pass (trusted; elision + model)
// - actual: run_error  (exit_status: 1; without mandatory: exit_status: 1) [the confirmer's class run_error; the matrix's class of the same run is wrong_answer: a run that fails]
// - observed: nvc warns "NVC++-W-1053-External and Static variables are not supported in acc routine - cnt" and still compiles; the run ends with "Accelerator Fatal Error: Failed to find device function 'nvkernel_main_...'" (25.11 and 26.9, both memory modes). A warning, then no kernel: the program is legal (OpenMP 5.2 §7.8, p.204), so the target region should either run or the compile should fail
// - verdict: compiler_bug by rule R20-runtime-bug: a legal program fails at run time, deterministically, against an expected value from two or more independent sources with an executed witness, and another toolchain, mode, arch or the elision gives the expected value
// - reason: expected trusted check=pass (elision + model): stored main verdict: elision + model agree; witnesses: afar/gfx942/copy, cce19/gfx942/copy, cce20/gfx942/copy, cce21/gfx942/copy, elision, nvhpc/sm_80/copy (port:omp52-w-save-local-routine), nvhpc269/sm_80/copy (p ...
// - 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/copy, cce19/gfx942/copy, cce20/gfx942/copy, cce21/gfx942/copy, elision, nvhpc/sm_80/copy (port:omp52-w-save-local-routine), nvhpc269/sm_80/copy (port:omp52-w-save-local-routine)
// - withdrawn: none
//
// Generated by compliance.widen (OpenMP 5.2, C11; catalog widening). Do not edit.
// id: omp52-c-w-save-local-routine
// primary atom: base.device.save_local
// atoms: base.device.save_local
// legal: yes
// observable: yes
// ran_on_host: inside the target region of interest
// evidence: construct
// needs: none
// std: c11
// feature: a static local variable of a declare target function, updated by sequential calls in one target region
// spec: OpenMP 5.2 §7.8, p.204: a variable with static storage duration declared in a device routine is treated as if it appeared in an enter clause on a declare target directive
#include <stdio.h>
#include <stdbool.h>
#include <omp.h>

enum { n = 64 };

#pragma omp declare target
int bump(void) {
  static int cnt = 0;
  cnt = cnt + 1;
  return cnt;
}
#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 < 3 ? i + 1 : 0;
  }
  #pragma omp target map(tofrom: b, host_flag)
  {
    host_flag = omp_is_initial_device();
    b[0] = bump();
    b[1] = bump();
    b[2] = bump();
  }
  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;
}