[Bug fortran/104545] New: [OpenMP & Fortran] Pointers issue in combination of depobj construct and depend clause with depobj dependence-type

[Bug fortran/104545] New: [OpenMP & Fortran] Pointers issue in combination of depobj construct and depend clause with depobj dependence-type

[marcel at codesourcery dot com]

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

            Bug ID: 104545
           Summary: [OpenMP & Fortran] Pointers issue in combination of
                    depobj construct and depend clause with depobj
                    dependence-type
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marcel at codesourcery dot com
  Target Milestone: ---

Created attachment 52445
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=52445&action=edit
test which fails due to the issue

Defining a dependence object "obj1" for a pointer "p" with:

  !$omp depobj(obj1) depend(in: p)

is not correctly considered at execution time when used in a depend clause
like:

  !$omp task depend(depobj: obj1)

even if the pointer is associated. This effects for instance that tasks in a
parallel construct are not executed in the correct order (see attached test
case).

This is not an issue if the locator ("p") has type integer e.g. but does not
work with pointer type.

This is not an issue for C/C++, only for Fortran.

A complete test case which fails due to this issue is attached.

[Bug fortran/104545] [OpenMP & Fortran] Pointers issue in combination of depobj construct and depend clause with depobj dependence-type

[burnus at gcc dot gnu.org]

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

Tobias Burnus <burnus at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |burnus at gcc dot gnu.org
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |FIXED

--- Comment #1 from Tobias Burnus <burnus at gcc dot gnu.org> ---
FIXED on GCC 12, only, by commit
r12-7242-g3939c1b11279dc950d2f160eb940dd791f7b40f1

commit 3939c1b11279dc950d2f160eb940dd791f7b40f1
Author: Tobias Burnus <tobias@codesourcery.com>
Date:   Tue Feb 15 12:26:48 2022 +0100

    Fortran/OpenMP: Fix depend-clause handling

    gcc/fortran/ChangeLog:

            * trans-openmp.cc (gfc_trans_omp_clauses, gfc_trans_omp_depobj):
            Depend on the proper addr, for ptr/alloc depend on pointee.

    libgomp/ChangeLog:

            * testsuite/libgomp.fortran/depend-4.f90: New test.

    gcc/testsuite/ChangeLog:

            * gfortran.dg/gomp/depend-4.f90: New test.
            * gfortran.dg/gomp/depend-5.f90: New test.

[Bug fortran/104545] [OpenMP & Fortran] Pointers issue in combination of depobj construct and depend clause with depobj dependence-type

[burnus at gcc dot gnu.org]

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

--- Comment #2 from Tobias Burnus <burnus at gcc dot gnu.org> ---
Crossrefs:

* PR 104562 shows an issue caused by the original commit.

* r12-7250-g4d74ea551734694c225643c4069b1b4d4d2b05ed
  "Fortran/OpenMP: Fix depend-clause handling for c_ptr"
  fixes that issue + an issue with type(c_ptr)