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
