From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
	id EE6423858D3C; Wed,  6 Dec 2023 15:43:18 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org EE6423858D3C
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1701877398;
	bh=YYGFfB48o0G4kv35RHiyztosrRCvaFgUglUoGdU0BMY=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=jH6y8wgPyTuFlmed1N97S88iFdVxmiebcJGdlQYBGWsilC/d4JafZANsrm0mVr4u2
	 hqHdfb0MlCekVVUB7iSSeZeyTllGRC91FcSHahB19ietess83v2nv+KimpmHaYo6ci
	 kxRJbNtdLJ+UDkvOfjAIDzWAgi2Bn5WOE+ZO3xRw=
From: "burnus at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug middle-end/110639] [OpenMP][5.1] Predefined firstprivate for
 pointers - attachment missing
Date: Wed, 06 Dec 2023 15:43:17 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: middle-end
X-Bugzilla-Version: 14.0
X-Bugzilla-Keywords: openmp, wrong-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: burnus at gcc dot gnu.org
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-110639-4-uYjffAhJgy@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-110639-4@http.gcc.gnu.org/bugzilla/>
References: <bug-110639-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
List-Id: <gcc-bugs.sourceware.org>

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

--- Comment #4 from Tobias Burnus <burnus at gcc dot gnu.org> ---
There are *two* independent issues:

(A) Predefined firstprivate does not find mappings done in the same
    directive, e.g.

  int a[100];
  int *p =3D &a[0];
  #pragma omp target teams distribute map(a)
    p[0] =3D 5;


(B) The base pointer is not stored, hence, the following fails:

  int a[100];
  int *p =3D &a[0];
  //   #pragma omp target enter data map(a[10:])  /* same result */
  #pragma omp target teams distribute map(a[10:])
    p[15] =3D 5;

Here,
   map(a[10:])  /* or: map(a[start:n])  */
gives:
   map(tofrom:a[start] [len: _7])
      map(firstprivate:a [pointer assign, bias: D.2943])

But then the basepointer is gone. Thus, any later lookup of an address that
falls between basepointer and first mapped storage location is not found.=