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 32A733858D28; Tue, 30 May 2023 10:37:11 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 32A733858D28
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1685443031;
	bh=PwbKHrg3UMHhNUSFAj2Tf62X560GsFJ92j2O+N/IlDw=;
	h=From:To:Subject:Date:From;
	b=LFKTeJRmQzOm6abl2mW3axQhondG6xHxLGSZ30+TSF106mDgcgjCPAg8TwsDI+wDV
	 M6UBorSWGD2CnyXfeANCRh39d+o2bDn2+KcNZJwLfb51s3DSkSoRYIY6zFjrcxW+2Z
	 N9kQaPpk/MZdFLimG/5JdbBuvGJ3kWe/tI7d10kw=
From: "jlame646 at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/110037] New: GCC accepts private member access of enclosing
 through friend function of inner class
Date: Tue, 30 May 2023 10:37:10 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: 13.2.1
X-Bugzilla-Keywords: 
X-Bugzilla-Severity: normal
X-Bugzilla-Who: jlame646 at gmail dot com
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: bug_id short_desc product version bug_status
 bug_severity priority component assigned_to reporter target_milestone
Message-ID: <bug-110037-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=3D110037

            Bug ID: 110037
           Summary: GCC accepts private member access of enclosing through
                    friend function of inner class
           Product: gcc
           Version: 13.2.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: jlame646 at gmail dot com
  Target Milestone: ---

The following program is accepted by gcc and clang:
https://godbolt.org/z/Gs479M4Tf

```
template <typename T>
class Outer
{
public:
  struct Inner {
    friend bool operator=3D=3D(const Inner& a, const Inner& b) {
      return a.outer_.private_member_ =3D=3D b.outer_.private_member_;
    }

  Inner(Outer<T> & o):outer_{o}=20
  {

  }
   private:
    Outer<T>& outer_;

  };
  friend struct Iterator;
 //friend bool operator=3D=3D(const Inner& a, const Inner& b);
  private:
  int private_member_;
};

bool test(Outer<int>::Inner A, Outer<int>::Inner B)
{
    return A =3D=3D B;
}

int main()
{
    Outer<int> o;=20
    Outer<int>::Inner i(o);=20
    Outer<int>::Inner j(o);
    if(i=3D=3Dj){}=20=20
}
```

[class.nest#4] makes this ill-formed.=