[Bug c++/12673] New: Possible accept-illegal in access control

["wwieser at gmx dot de" <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=12673

           Summary: Possible accept-illegal in access control
           Product: gcc
           Version: 3.3.2
            Status: UNCONFIRMED
          Severity: minor
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: wwieser at gmx dot de
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i686-linux-gnu
  GCC host triplet: i686-linux-gnu
GCC target triplet: i686-linux-gnu

The following code compiles cleanly using  
gcc (GCC) 3.3.2 20031003 (prerelease) 
 
If I recall correctly, this short of code was accepted by gcc-2.95  
then rejected by earlier gcc-3 versions and with gcc-3.3.2 it  
compiles cleanly again.  
 
I admit that I do not know the C++ standard well enough to be able  
to tell which behavior is the correct one. Just cancel my report in  
case GCC's current behavior is correct.  
 
----------<snip>----------- 
class A 
{ 
	private: 
		int x; 
	public: 
		struct B 
		{ 
			A *a; 
			void foo() 
			{  a->x=1;  }  // Hmm: x private member of A 
		}; 
}; 
 
void bar() 
{  A a;  A::B b;  b.a=&a;  b.foo();  }