diff options
Diffstat (limited to 'test/CXX/dcl.dcl/basic.namespace/namespace.udecl/p4.cpp')
| -rw-r--r-- | test/CXX/dcl.dcl/basic.namespace/namespace.udecl/p4.cpp | 239 |
1 files changed, 0 insertions, 239 deletions
diff --git a/test/CXX/dcl.dcl/basic.namespace/namespace.udecl/p4.cpp b/test/CXX/dcl.dcl/basic.namespace/namespace.udecl/p4.cpp deleted file mode 100644 index 781a1a1824e9..000000000000 --- a/test/CXX/dcl.dcl/basic.namespace/namespace.udecl/p4.cpp +++ /dev/null @@ -1,239 +0,0 @@ -// RUN: %clang_cc1 -fsyntax-only -verify %s -// RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s - -// C++03 [namespace.udecl]p4: -// A using-declaration used as a member-declaration shall refer to a -// member of a base class of the class being defined, shall refer to -// a member of an anonymous union that is a member of a base class -// of the class being defined, or shall refer to an enumerator for -// an enumeration type that is a member of a base class of the class -// being defined. - -// There is no directly analogous paragraph in C++0x, and the feature -// works sufficiently differently there that it needs a separate test. - -namespace test0 { - namespace NonClass { - typedef int type; - struct hiding {}; - int hiding; - static union { double union_member; }; - enum tagname { enumerator }; - } - - class Test0 { - using NonClass::type; // expected-error {{not a class}} - using NonClass::hiding; // expected-error {{not a class}} - using NonClass::union_member; // expected-error {{not a class}} - using NonClass::enumerator; // expected-error {{not a class}} - }; -} - -struct Opaque0 {}; - -namespace test1 { - struct A { - typedef int type; - struct hiding {}; // expected-note {{previous use is here}} - Opaque0 hiding; - union { double union_member; }; - enum tagname { enumerator }; - }; - - struct B : A { - using A::type; - using A::hiding; - using A::union_member; - using A::enumerator; - using A::tagname; - - void test0() { - type t = 0; - } - - void test1() { - typedef struct A::hiding local; - struct hiding _ = local(); - } - - void test2() { - union hiding _; // expected-error {{tag type that does not match previous}} - } - - void test3() { - char array[sizeof(union_member) == sizeof(double) ? 1 : -1]; - } - - void test4() { - enum tagname _ = enumerator; - } - - void test5() { - Opaque0 _ = hiding; - } - }; -} - -namespace test2 { - struct A { - typedef int type; - struct hiding {}; // expected-note {{previous use is here}} - int hiding; - union { double union_member; }; - enum tagname { enumerator }; - }; - - template <class T> struct B : A { - using A::type; - using A::hiding; - using A::union_member; - using A::enumerator; - using A::tagname; - - void test0() { - type t = 0; - } - - void test1() { - typedef struct A::hiding local; - struct hiding _ = local(); - } - - void test2() { - union hiding _; // expected-error {{tag type that does not match previous}} - } - - void test3() { - char array[sizeof(union_member) == sizeof(double) ? 1 : -1]; - } - - void test4() { - enum tagname _ = enumerator; - } - - void test5() { - Opaque0 _ = hiding; - } - }; -} - -namespace test3 { - struct hiding {}; - - template <class T> struct A { - typedef int type; // expected-note {{target of using declaration}} - struct hiding {}; - Opaque0 hiding; // expected-note {{target of using declaration}} - union { double union_member; }; // expected-note {{target of using declaration}} - enum tagname { enumerator }; // expected-note 2 {{target of using declaration}} - }; - - template <class T> struct B : A<T> { - using A<T>::type; // expected-error {{dependent using declaration resolved to type without 'typename'}} - using A<T>::hiding; - using A<T>::union_member; - using A<T>::enumerator; - using A<T>::tagname; // expected-error {{dependent using declaration resolved to type without 'typename'}} - - // FIXME: re-enable these when the various bugs involving tags are fixed -#if 0 - void test1() { - typedef struct A<T>::hiding local; - struct hiding _ = local(); - } - - void test2() { - typedef struct A<T>::hiding local; - union hiding _ = local(); - } -#endif - - void test3() { - char array[sizeof(union_member) == sizeof(double) ? 1 : -1]; - } - -#if 0 - void test4() { - enum tagname _ = enumerator; - } -#endif - - void test5() { - Opaque0 _ = hiding; - } - }; - - template struct B<int>; // expected-note {{in instantiation}} - - template <class T> struct C : A<T> { - using typename A<T>::type; - using typename A<T>::hiding; // expected-note {{declared here}} \ - // expected-error {{'typename' keyword used on a non-type}} - using typename A<T>::union_member; // expected-error {{'typename' keyword used on a non-type}} - using typename A<T>::enumerator; // expected-error {{'typename' keyword used on a non-type}} - - void test6() { - type t = 0; - } - - void test7() { - Opaque0 _ = hiding; // expected-error {{does not refer to a value}} - } - }; - - template struct C<int>; // expected-note {{in instantiation}} -} - -namespace test4 { - struct Base { - int foo(); - }; - - struct Unrelated { - int foo(); - }; - - struct Subclass : Base { - }; - - namespace InnerNS { - int foo(); - } - - // We should be able to diagnose these without instantiation. - template <class T> struct C : Base { - using InnerNS::foo; // expected-error {{not a class}} - using Base::bar; // expected-error {{no member named 'bar'}} - using Unrelated::foo; // expected-error {{not a base class}} - using C::foo; // legal in C++03 - using Subclass::foo; // legal in C++03 -#if __cplusplus >= 201103L - // expected-error@-3 {{refers to its own class}} - // expected-error@-3 {{refers into 'Subclass::', which is not a base class}} -#endif - - int bar(); -#if __cplusplus < 201103L - // expected-note@-2 {{target of using declaration}} -#endif - using C::bar; // expected-error {{refers to its own class}} - }; -} - -namespace test5 { - struct B; - struct A { - A(const B&); - B &operator=(const B&); - }; - struct B : A { -#if __cplusplus >= 201103L - using A::A; -#endif - using A::operator=; - }; - void test(B b) { - B b2(b); - b2 = b; - } -} |