// Build don't link:
- class A {
- class B {
- typedef long T;
- int i;
- };
+
+struct A {
+ struct B {
+ typedef long T;
+ int i;
};
- class C {
- class B {
- typedef float T;
- int i;
- };
+};
+struct C {
+ struct B {
+ typedef float T;
+ int i;
};
+};
C::B::T a;
X::E2 e2;
int x2 = X::a2;
- X::E1 e1;
+ X::E1 e1; // ERROR - within this context
int x1 = X::a1; // ERROR - within this context
}
struct B {
int x;
};
+ struct C;
+ friend struct C;
struct C {
int bug (A::B &y);
};
}
class X{
- class Y{};
+ class Y{}; // ERROR - private
};
typedef int const * bart ();
typedef bart const * const * bar2; // ERROR - qualifiers
bar2 baz (X::Y y)
-{
- X::Y f;
+{ // ERROR - in this context
+ X::Y f; // ERROR - in this context
bar2 wa [5];
wa[0] = baz(f);
undef2 (1); // ERROR - implicit declaration
X::E2 e2;
int x2 = X::a2;
- X::E1 e1; // Should be rejected, but isn't.// ERROR - .* , XFAIL *-*-*
+ X::E1 e1; // ERROR - within this context
int x1 = X::a1; // ERROR - Should be rejected, and is.
}
+++ /dev/null
-// Build don't link:
-// prms-id: 8785
-
-class Outer {
-private:
- int x; // ERROR - private
-public:
- struct Inner {
- int y;
- void f( Outer * p, int i) {
- p->x = i; // ERROR -
- };
- void f( Outer & p) {
- p.x = y; // ERROR -
- };
- };
-};
-
-int main() {
- Outer::Inner A;
- Outer Thing;
-
- A.f(Thing);
- A.f(&Thing,2);
-}
};
class B_table : private A_table {
- typedef void (B_table::* B_ti_fn) (int &item);
public:
+ typedef void (B_table::* B_ti_fn) (int &item);
B_table() { j = 0x4321;}
virtual void call_fn_fn1(int &item, void *pfn1);
void func1(int &item) { printf("func1(%d)\n",item);}
--- /dev/null
+// Test that access control for types and statics works properly
+// with nested types.
+
+// Build don't link:
+
+class A {
+ static int I1; // ERROR - private
+ struct B1 { }; // ERROR - private
+public:
+ static int I2;
+ struct B2 { };
+};
+
+class D: public A {
+ struct E {
+ void f ();
+ };
+};
+
+void D::E::f ()
+{
+ int i = I1; // ERROR - within this context
+ B1 b1; // ERROR - within this context
+ i = I2;
+ B2 b2;
+}
+
+void f ()
+{
+ A::B1 b1; // ERROR - within this context
+ new A::B1; // ERROR - within this context
+ (A::B1) b1; // ERROR - within this context
+}
// Build don't link:
// Special g++ Options: -ansi
// Origin: Theo Papadopoulo <Theodore.Papadopoulo@sophia.inria.fr>
+// Special g++ Options:
inline const unsigned& f(unsigned const& a) {
return a;
// Adapted by Alexandre Oliva <oliva@dcc.unicamp.br>
// plain char, signed char and unsigned char are distinct types
-template <class X, class Y> class bug {};
-template <class X> class bug<X,char> { typedef char t; };
-template <class X> class bug<X,unsigned char> { typedef unsigned char t; };
-template <class X> class bug<X,signed char> { typedef signed char t; };
-template <class X> class bug<char,X> { typedef char t; };
-template <class X> class bug<unsigned char,X> { typedef unsigned char t; };
-template <class X> class bug<signed char,X> { typedef signed char t; };
+template <class X, class Y> struct bug {};
+template <class X> struct bug<X,char> { typedef char t; };
+template <class X> struct bug<X,unsigned char> { typedef unsigned char t; };
+template <class X> struct bug<X,signed char> { typedef signed char t; };
+template <class X> struct bug<char,X> { typedef char t; };
+template <class X> struct bug<unsigned char,X> { typedef unsigned char t; };
+template <class X> struct bug<signed char,X> { typedef signed char t; };
void foo() {
bug<int,char>::t();