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.)