[Bug c++/58661] New: Definition of inherited nested class should be invalid

[Bug c++/58661] New: Definition of inherited nested class should be invalid

[zeratul976 at hotmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58661

            Bug ID: 58661
           Summary: Definition of inherited nested class should be invalid
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: zeratul976 at hotmail dot com

GCC accepts the following code without any errors:


struct A 
{
    struct nested;
};

struct B : public A {};

struct B::nested {};


I believe that this code is invalid according to [class] p11:

"If a class-head-name contains a nested-name-specifier, the class-specifier
shall refer to a class that was previously declared directly in the class or
namespace to which the nested-name-specifier refers, or in an element of the
inline namespace set (7.3.1) of that namespace (i.e., not merely inherited or
introduced by a using-declaration)"

Note that clang rejects the above code, with the error:

test.cpp:8:11: error: no struct named 'nested' in 'B'
struct B::nested {};
       ~~~^

[Bug c++/58661] Definition of inherited nested class should be invalid

[redi at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58661

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-10-08
     Ever confirmed|0                           |1

[Bug c++/58661] Definition of inherited nested class should be invalid

[pinskia at gcc dot gnu.org]

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

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Just for reference this was defect #347 which was closed as not a defect due to
other changes (defect report #284)
https://www.open-std.org/jtc1/sc22/wg21/docs/cwg_closed.html#347

https://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#284