[Bug c++/50400] New: compiler accepts invalid &X::Impl::Impl::Impl::.....::foo

[Bug c++/50400] New: compiler accepts invalid &X::Impl::Impl::Impl::.....::foo

[pluto at agmk dot net]

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

             Bug #: 50400
           Summary: compiler accepts invalid
                    &X::Impl::Impl::Impl::.....::foo
    Classification: Unclassified
           Product: gcc
           Version: 4.6.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: pluto@agmk.net


struct X { struct Impl; };
struct X::Impl {
        Impl();
        void foo();
};
X::Impl::Impl() {
        void ( X::Impl::* ptr )() = &X::Impl::Impl::Impl::Impl::Impl::foo;
}

gcc-4.6-20110908 and clang++ accept this code while e.g. MSVC reports
an error: C3083: '{ctor}': the symbol to the left of a '::' must be a type

[Bug c++/50400] compiler accepts invalid &X::Impl::Impl::Impl::.....::foo

[redi at gcc dot gnu.org]

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

--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> 2011-09-15 09:34:52 UTC ---
EDG accepts it too, are you suggesting MSVC is right and all the others wrong?
That would be a first ;)

See http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#318

Because the constructor Impl::Impl is not an acceptable lookup result in the
expression X::Impl::Impl::foo the second "Impl" names the class itself, and so
the code is valid and G++ is correct

[Bug c++/50400] compiler accepts invalid &X::Impl::Impl::Impl::.....::foo

[paolo.carlini at oracle dot com]

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

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |INVALID

--- Comment #2 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-09-23 11:05:09 UTC ---
Closing.

[Bug c++/50400] compiler accepts invalid &X::Impl::Impl::Impl::.....::foo

[paolo.carlini at oracle dot com]

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

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |hans.buchmann at fhnw dot
                   |                            |ch

--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-09-23 21:36:14 UTC ---
*** Bug 45158 has been marked as a duplicate of this bug. ***