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 8DF6C383E80F; Mon, 25 May 2020 14:38:21 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 8DF6C383E80F
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
 s=default; t=1590417501;
 bh=HixfaxyDh04jl5oPVK6iJKZm/x2OVO1UoAN/RoWU9w4=;
 h=From:To:Subject:Date:In-Reply-To:References:From;
 b=OwJ+u8FE9soE6Lzibh3784v4V+dY8apr7Sxz+9xH+Dnu+21IAavxagRheE/BeoR1X
 IatcHCoykrgtbpY8LH8jIRCKQe0qrukkgYLv6OJCksAaPX7LiaZ4CnI3O9249Y/xw4
 d60ZMPjvHL29AbdUexiit5DVdWTceai4bhy21fik=
From: "jakub at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/95197] libgomp/testsuite/libgomp.c++/for-27.C fails with
 -std=c++17
Date: Mon, 25 May 2020 14:38:21 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: unknown
X-Bugzilla-Keywords: openmp
X-Bugzilla-Severity: normal
X-Bugzilla-Who: jakub 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-95197-4-NmIeXbJak2@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-95197-4@http.gcc.gnu.org/bugzilla/>
References: <bug-95197-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
X-BeenThere: gcc-bugs@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc-bugs mailing list <gcc-bugs.gcc.gnu.org>
List-Unsubscribe: <http://gcc.gnu.org/mailman/options/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-request@gcc.gnu.org?subject=help>
List-Subscribe: <http://gcc.gnu.org/mailman/listinfo/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Mon, 25 May 2020 14:38:21 -0000

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

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Reduced testcase:

// { dg-do link }

typedef __PTRDIFF_TYPE__ ptrdiff_t;

template <typename T>
class I
{
public:
  typedef ptrdiff_t difference_type;
  I ();
  ~I ();
  I (T *);
  I (const I &);
  T &operator * ();
  T *operator -> ();
  T &operator [] (const difference_type &) const;
  I &operator =3D (const I &);
  I &operator ++ ();
  I operator ++ (int);
  I &operator -- ();
  I operator -- (int);
  I &operator +=3D (const difference_type &);
  I &operator -=3D (const difference_type &);
  I operator + (const difference_type &) const;
  I operator - (const difference_type &) const;
  template <typename S> friend bool operator =3D=3D (I<S> &, I<S> &);
  template <typename S> friend bool operator =3D=3D (const I<S> &, const I<=
S> &);
  template <typename S> friend bool operator < (I<S> &, I<S> &);
  template <typename S> friend bool operator < (const I<S> &, const I<S> &);
  template <typename S> friend bool operator <=3D (I<S> &, I<S> &);
  template <typename S> friend bool operator <=3D (const I<S> &, const I<S>=
 &);
  template <typename S> friend bool operator > (I<S> &, I<S> &);
  template <typename S> friend bool operator > (const I<S> &, const I<S> &);
  template <typename S> friend bool operator >=3D (I<S> &, I<S> &);
  template <typename S> friend bool operator >=3D (const I<S> &, const I<S>=
 &);
  template <typename S> friend typename I<S>::difference_type operator - (I=
<S>
&, I<S> &);
  template <typename S> friend typename I<S>::difference_type operator - (c=
onst
I<S> &, const I<S> &);
  template <typename S> friend I<S> operator + (typename I<S>::difference_t=
ype
, const I<S> &);
private:
  T *p;
};
template <typename T> I<T>::I () : p (0) {}
template <typename T> I<T>::~I () {}
template <typename T> I<T>::I (T *x) : p (x) {}
template <typename T> I<T>::I (const I &x) : p (x.p) {}
template <typename T> T &I<T>::operator * () { return *p; }
template <typename T> T *I<T>::operator -> () { return p; }
template <typename T> T &I<T>::operator [] (const difference_type &x) const=
 {
return p[x]; }
template <typename T> I<T> &I<T>::operator =3D (const I &x) { p =3D x.p; re=
turn
*this; }
template <typename T> I<T> &I<T>::operator ++ () { ++p; return *this; }
template <typename T> I<T> I<T>::operator ++ (int) { return I (p++); }
template <typename T> I<T> &I<T>::operator -- () { --p; return *this; }
template <typename T> I<T> I<T>::operator -- (int) { return I (p--); }
template <typename T> I<T> &I<T>::operator +=3D (const difference_type &x) =
{ p +=3D
x; return *this; }
template <typename T> I<T> &I<T>::operator -=3D (const difference_type &x) =
{ p -=3D
x; return *this; }
template <typename T> I<T> I<T>::operator + (const difference_type &x) cons=
t {
return I (p + x); }
template <typename T> I<T> I<T>::operator - (const difference_type &x) cons=
t {
return I (p - x); }
template <typename T> bool operator =3D=3D (I<T> &x, I<T> &y) { return x.p =
=3D=3D y.p;
}
template <typename T> bool operator =3D=3D (const I<T> &x, const I<T> &y) {=
 return
x.p =3D=3D y.p; }
template <typename T> bool operator !=3D (I<T> &x, I<T> &y) { return !(x =
=3D=3D y); }
template <typename T> bool operator !=3D (const I<T> &x, const I<T> &y) { r=
eturn
!(x =3D=3D y); }
template <typename T> bool operator < (I<T> &x, I<T> &y) { return x.p < y.p=
; }
template <typename T> bool operator < (const I<T> &x, const I<T> &y) { retu=
rn
x.p < y.p; }
template <typename T> bool operator <=3D (I<T> &x, I<T> &y) { return x.p <=
=3D y.p;
}
template <typename T> bool operator <=3D (const I<T> &x, const I<T> &y) { r=
eturn
x.p <=3D y.p; }
template <typename T> bool operator > (I<T> &x, I<T> &y) { return x.p > y.p=
; }
template <typename T> bool operator > (const I<T> &x, const I<T> &y) { retu=
rn
x.p > y.p; }
template <typename T> bool operator >=3D (I<T> &x, I<T> &y) { return x.p >=
=3D y.p;
}
template <typename T> bool operator >=3D (const I<T> &x, const I<T> &y) { r=
eturn
x.p >=3D y.p; }
template <typename T> typename I<T>::difference_type operator - (I<T> &x, I=
<T>
&y) { return x.p - y.p; }
template <typename T> typename I<T>::difference_type operator - (const I<T>=
 &x,
const I<T> &y) { return x.p - y.p; }
template <typename T> I<T> operator + (typename I<T>::difference_type x, co=
nst
I<T> &y) { return I<T> (x + y.p); }

void
bar (I<int> &a)
{
}

void
foo (const I<int> &a, const I<int> &b)
{
  I<int> i;
  #pragma omp distribute parallel for
  for (i =3D a; i < b; i++)
    bar (i);
}

int
main ()
{
  int a[64];
  foo (&a[0], &a[63]);
}=