1 // RUN: %clang_cc1 -verify -std=c++11 -Wno-anonymous-pack-parens %s 2 // RUN: cp %s %t 3 // RUN: not %clang_cc1 -x c++ -std=c++11 -fixit %t 4 // RUN: %clang_cc1 -Wall -pedantic -x c++ -std=c++11 %t 5 6 /* This is a test of the various code modification hints that only 7 apply in C++0x. */ 8 struct A { 9 explicit operator int(); // expected-note{{conversion to integral type}} 10 }; 11 12 void x() { 13 switch(A()) { // expected-error{{explicit conversion to}} 14 } 15 } 16 17 using ::T = void; // expected-error {{name defined in alias declaration must be an identifier}} 18 using typename U = void; // expected-error {{name defined in alias declaration must be an identifier}} 19 using typename ::V = void; // expected-error {{name defined in alias declaration must be an identifier}} 20 21 namespace SemiCommaTypo { 22 int m {}, 23 n [[]], // expected-error {{expected ';' at end of declaration}} 24 int o; 25 26 struct Base { 27 virtual void f2(), f3(); 28 }; 29 struct MemberDeclarator : Base { 30 int k : 4, 31 //[[]] : 1, FIXME: test this once we support attributes here 32 : 9, // expected-error {{expected ';' at end of declaration}} 33 char c, // expected-error {{expected ';' at end of declaration}} 34 typedef void F(), // expected-error {{expected ';' at end of declaration}} 35 F f1, 36 f2 final, 37 f3 override, // expected-error {{expected ';' at end of declaration}} 38 }; 39 } 40 41 namespace ScopedEnum { 42 enum class E { a }; 43 44 enum class E b = E::a; // expected-error {{must use 'enum' not 'enum class'}} 45 struct S { 46 friend enum class E; // expected-error {{must use 'enum' not 'enum class'}} 47 }; 48 } 49 50 struct S2 { 51 void f(int i); 52 void g(int i); 53 }; 54 55 void S2::f(int i) { 56 (void)[&, &i, &i]{}; // expected-error 2{{'&' cannot precede a capture when the capture default is '&'}} 57 (void)[=, this]{ this->g(5); }; // expected-error{{'this' cannot be explicitly captured}} 58 (void)[i, i]{ }; // expected-error{{'i' can appear only once in a capture list}} 59 (void)[&, i, i]{ }; // expected-error{{'i' can appear only once in a capture list}} 60 (void)[] mutable { }; // expected-error{{lambda requires '()' before 'mutable'}} 61 (void)[] -> int { }; // expected-error{{lambda requires '()' before return type}} 62 } 63 64 #define bar "bar" 65 const char *p = "foo"bar; // expected-error {{requires a space between}} 66 #define ord - '0' 67 int k = '4'ord; // expected-error {{requires a space between}} 68 69 void operator"x" _y(char); // expected-error {{must be '""'}} 70 void operator L"" _z(char); // expected-error {{encoding prefix}} 71 void operator "x" "y" U"z" ""_whoops "z" "y"(char); // expected-error {{must be '""'}} 72 73 void f() { 74 'b'_y; 75 'c'_z; 76 'd'_whoops; 77 } 78 79 template<typename ...Ts> struct MisplacedEllipsis { 80 int a(Ts ...(x)); // expected-error {{'...' must immediately precede declared identifier}} 81 int b(Ts ...&x); // expected-error {{'...' must immediately precede declared identifier}} 82 int c(Ts ...&); // expected-error {{'...' must be innermost component of anonymous pack declaration}} 83 int d(Ts ...(...&...)); // expected-error 2{{'...' must be innermost component of anonymous pack declaration}} 84 int e(Ts ...*[]); // expected-error {{'...' must be innermost component of anonymous pack declaration}} 85 int f(Ts ...(...*)()); // expected-error 2{{'...' must be innermost component of anonymous pack declaration}} 86 int g(Ts ...()); // ok 87 }; 88 namespace TestMisplacedEllipsisRecovery { 89 MisplacedEllipsis<int, char> me; 90 int i; char k; 91 int *ip; char *kp; 92 int ifn(); char kfn(); 93 int a = me.a(i, k); 94 int b = me.b(i, k); 95 int c = me.c(i, k); 96 int d = me.d(i, k); 97 int e = me.e(&ip, &kp); 98 int f = me.f(ifn, kfn); 99 int g = me.g(ifn, kfn); 100 } 101 102 template<template<typename> ...Foo, // expected-error {{template template parameter requires 'class' after the parameter list}} 103 template<template<template<typename>>>> // expected-error 3 {{template template parameter requires 'class' after the parameter list}} 104 void func(); 105 106 template<int *ip> struct IP { }; // expected-note{{declared here}} 107 IP<0> ip0; // expected-error{{null non-type template argument must be cast to template parameter type 'int *'}} 108 109 namespace MissingSemi { 110 struct a // expected-error {{expected ';' after struct}} 111 struct b // expected-error {{expected ';' after struct}} 112 enum x : int { x1, x2, x3 } // expected-error {{expected ';' after enum}} 113 struct c // expected-error {{expected ';' after struct}} 114 enum x : int // expected-error {{expected ';' after enum}} 115 // FIXME: The following gives a poor diagnostic (we parse the 'int' and the 116 // 'struct' as part of the same enum-base. 117 // enum x : int 118 // struct y 119 namespace N { 120 struct d // expected-error {{expected ';' after struct}} 121 } 122 } 123 124 namespace NonStaticConstexpr { 125 struct foo { 126 constexpr int i; // expected-error {{non-static data member cannot be constexpr; did you intend to make it const?}} 127 constexpr int j = 7; // expected-error {{non-static data member cannot be constexpr; did you intend to make it static?}} 128 constexpr const int k; // expected-error {{non-static data member cannot be constexpr; did you intend to make it const?}} 129 foo() : i(3), k(4) { 130 } 131 static int get_j() { 132 return j; 133 } 134 }; 135 } 136 137 int RegisterVariable() { 138 register int n; // expected-warning {{'register' storage class specifier is deprecated}} 139 return n; 140 } 141 142 namespace MisplacedParameterPack { 143 template <typename Args...> // expected-error {{'...' must immediately precede declared identifier}} 144 void misplacedEllipsisInTypeParameter(Args...); 145 146 template <typename... Args...> // expected-error {{'...' must immediately precede declared identifier}} 147 void redundantEllipsisInTypeParameter(Args...); 148 149 template <template <typename> class Args...> // expected-error {{'...' must immediately precede declared identifier}} 150 void misplacedEllipsisInTemplateTypeParameter(Args<int>...); 151 152 template <template <typename> class... Args...> // expected-error {{'...' must immediately precede declared identifier}} 153 void redundantEllipsisInTemplateTypeParameter(Args<int>...); 154 155 template <int N...> // expected-error {{'...' must immediately precede declared identifier}} 156 void misplacedEllipsisInNonTypeTemplateParameter(); 157 158 template <int... N...> // expected-error {{'...' must immediately precede declared identifier}} 159 void redundantEllipsisInNonTypeTemplateParameter(); 160 } 161 162 namespace MisplacedDeclAndRefSpecAfterVirtSpec { 163 struct B { 164 virtual void f(); 165 virtual void f() volatile const; 166 }; 167 struct D : B { 168 virtual void f() override; 169 virtual void f() override final const volatile; // expected-error {{'const' qualifier may not appear after the virtual specifier 'final'}} expected-error {{'volatile' qualifier may not appear after the virtual specifier 'final'}} 170 }; 171 struct B2 { 172 virtual void f() &; 173 virtual void f() volatile const &&; 174 }; 175 struct D2 : B2 { 176 virtual void f() override &; // expected-error {{'&' qualifier may not appear after the virtual specifier 'override'}} 177 virtual void f() override final const volatile &&; // expected-error {{'const' qualifier may not appear after the virtual specifier 'final'}} expected-error {{'volatile' qualifier may not appear after the virtual specifier 'final'}} expected-error {{'&&' qualifier may not appear after the virtual specifier 'final'}} 178 }; 179 } 180
