[Bug c++/42291] New: gcc should reject code violating the C++ two-phase look-up rules.

[wan at google dot com]

The following code should NOT compile; yet gcc accepts it.

template <typename T>
class Base {
 public:
 typedef int Foo;
 void MethodInBase(Foo x) {}
};

template <typename T>
class Derived : public Base<T> {
 public:
 typedef typename Base<T>::Foo Foo;
 Derived() {
   // According to C++ standard [14.6.4], the following line SHOULD
   // NOT COMPILE.  Yet gcc and MSVC accept it.  clang and comeau
   // reject it correctly.
   MethodInBase(Foo());

   // This is the right way to write it:
   this->MethodInBase(Foo());
 }
};

int main() {
 Derived<void> foo;
}


-- 
           Summary: gcc should reject code violating the C++ two-phase look-
                    up rules.
           Product: gcc
           Version: 4.2.4
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: wan at google dot com


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