[Bug c++/106178] New: [13 Regression] Rejected code with "is private within this context" since r13-1390-g07ac550393d00fca

[Bug c++/106178] New: [13 Regression] Rejected code with "is private within this context" since r13-1390-g07ac550393d00fca

[marxin at gcc dot gnu.org]

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

            Bug ID: 106178
           Summary: [13 Regression] Rejected code with "is private within
                    this context" since r13-1390-g07ac550393d00fca
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Keywords: rejects-valid
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
                CC: jason at gcc dot gnu.org
  Target Milestone: ---

Seen in blender package, where the following test-case is rejected now:

$ cat hull.ii
class btConvexHullInternal {
  template <typename> struct PoolArray {};
  template <typename T> struct Pool {
    Pool() {
      PoolArray<T> *p;
      p->~PoolArray<T>();
    }
  };
  Pool<int> edgePool;
};
void compute() { btConvexHullInternal hull; }

$ g++ hull.ii -c
hull.ii: In instantiation of ‘btConvexHullInternal::Pool<T>::Pool() [with T =
int]’:
hull.ii:1:7:   required from here
hull.ii:6:22: error: ‘template<class> struct btConvexHullInternal::PoolArray’
is private within this context
    6 |       p->~PoolArray<T>();
      |       ~~~~~~~~~~~~~~~^
hull.ii:2:30: note: declared private here
    2 |   template <typename> struct PoolArray {};
      |                              ^~~~~~~~~

Started with r13-1390-g07ac550393d00fca.

[Bug c++/106178] [13 Regression] Rejected code with "is private within this context" since r13-1390-g07ac550393d00fca

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2022-07-04
   Target Milestone|---                         |13.0

[Bug c++/106178] [13 Regression] Rejected code with "is private within this context" since r13-1390-g07ac550393d00fca

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1

[Bug c++/106178] [13 Regression] Rejected code with "is private within this context" since r13-1390-g07ac550393d00fca

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
p should be initialized to something before you destruct what it points to...

[Bug c++/106178] [13 Regression] Rejected code with "is private within this context" since r13-1390-g07ac550393d00fca

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |DUPLICATE

--- Comment #2 from Jason Merrill <jason at gcc dot gnu.org> ---
Dup, fixed.  Note that there's no reason to use a template-id when naming a
destructor, just the name is enough.

*** This bug has been marked as a duplicate of bug 106179 ***