[Bug c++/11617] New: [3.4 regression] g++ does not report missing member functions

["reichelt at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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

           Summary: [3.4 regression] g++ does not report missing member
                    functions
           Product: gcc
           Version: 3.4
            Status: UNCONFIRMED
          Keywords: accepts-invalid
          Severity: critical
          Priority: P1
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: reichelt at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org

The following invalid code is accepted by mainline
(but not by gcc 2.95.x - 3.3):

----------------------------------------------
template <int> struct A
{
    static const int i=0;
};

int baz() { return A<0>::i; }

struct B {};

template <typename T> struct C
{
    virtual void bar() const { T::foo(); } // invalid for T=B, since B has no
member foo.
};

C<B> c;
-----------------------------------------

According to Phil's snapshot collection the regression was introduced
between 2003-07-14 and 2003-07-15.