[Bug libgomp/95062] New: [10/11 Regression] libgomp.oacc-c-c++-common/pr92843-1.c:26: verify_array: Assertion `array[i] == value' failed

[tschwinge at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95062

            Bug ID: 95062
           Summary: [10/11 Regression]
                    libgomp.oacc-c-c++-common/pr92843-1.c:26:
                    verify_array: Assertion `array[i] == value' failed
           Product: gcc
           Version: 10.0
            Status: UNCONFIRMED
          Keywords: openacc
          Severity: normal
          Priority: P3
         Component: libgomp
          Assignee: unassigned at gcc dot gnu.org
          Reporter: tschwinge at gcc dot gnu.org
                CC: jakub at gcc dot gnu.org, jules at gcc dot gnu.org
  Target Milestone: ---

As made apparent by the 'dg-xfail-run-if' added, r279621 "OpenACC reference
count overhaul" regressed the 'libgomp.oacc-c-c++-common/pr92843-1.c' test
case:

    pr92843-1.exe: [...]/libgomp.oacc-c-c++-common/pr92843-1.c:26:
verify_array: Assertion `array[i] == value' failed.

There are patches to cure this:
<http://mid.mail-archive.com/666bd70af1514e8a3d80fa9ad1ef114bbc2b3a80.1579292772.git.julian@codesourcery.com>
"Introduce dynamic data mapping sentinel for OpenACC",
<http://mid.mail-archive.com/4bbb4970cd48424873573a50e627786cc9cf3378.1579292772.git.julian@codesourcery.com"
"Don't copy back vars mapped with acc_map_data", but these have issues on their
own (cause other regressions).