[Bug c++/97446] New: gcc accepts an unnamed struct

[Bug c++/97446] New: gcc accepts an unnamed struct

[tangyixuan at mail dot dlut.edu.cn]

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

            Bug ID: 97446
           Summary: gcc accepts an unnamed struct
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: tangyixuan at mail dot dlut.edu.cn
  Target Milestone: ---

Hi, the following code has an error in 'S3' (maybe should be 'S2'). gcc accepts
it without error diagnostics.

$ cat s.cpp

template < class T > struct S1 {
        struct S2 {
                friend struct S1 <T>::S3;
        };
};

$ clang++ -c s.cpp
s.cpp:3:32: error: no struct named 'S3' in 'S1<T>'
                friend struct S1 <T>::S3;
                              ~~~~~~~~^
1 error generated.

[Bug c++/97446] gcc accepts an unnamed struct

[jakub at gcc dot gnu.org]

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

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> ---
The template isn't instantiated, so whether you get or don't get diagnostics
from the compiler depends really on the compiler.
If you instantiate it, such as add S1<int>::S2 s; at the end, you get it
properly diagnosed even with g++.

[Bug c++/97446] gcc accepts an unnamed struct

[redi at gcc dot gnu.org]

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

--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Just like PR 97401.

Please try to remember that diagnostics are not required for errors in
uninstantiated templates, so it's not a bug.

[Bug c++/97446] gcc accepts an unnamed struct

[mpolacek at gcc dot gnu.org]

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

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

--- Comment #3 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Closing.