[Bug libgomp/92854] New: [OpenACC] Always-true conditional in 'libgomp/oacc-mem.c:acc_unmap_data'?

[tschwinge at gcc dot gnu.org]

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

            Bug ID: 92854
           Summary: [OpenACC] Always-true conditional in
                    'libgomp/oacc-mem.c:acc_unmap_data'?
           Product: gcc
           Version: unknown
            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: ---

Given the current implementation (in particular, the "force unmap" semantics of
'acc_unmap_data'?), can there be any way where the 'if (t->refcount == 2)'
conditional in 'libgomp/oacc-mem.c:acc_unmap_data' would not be true?  (Putting
in an 'assert' didn't turn up anything.)