[Bug c++/26693] New: [4.0/4.1/4.2 regression] Access checks not performed for types in templates

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

The following invalid code is accepted since GCC 3.4.0:

================================================
class A
{
  private:
    typedef int X;
};

template<int> int foo() { return A::X(); } // A::X is private!

int i=foo<0>();
================================================

If I make foo a non-template function, the code is correctly rejected.


-- 
           Summary: [4.0/4.1/4.2 regression] Access checks not performed for
                    types in templates
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Keywords: accepts-invalid, monitored
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: reichelt at gcc dot gnu dot org


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