1 // RUN: %clang_cc1 -pedantic -Wall -Wno-comment -verify -fcxx-exceptions -x c++ %s 2 // RUN: cp %s %t 3 // RUN: not %clang_cc1 -pedantic -Wall -Wno-comment -fcxx-exceptions -fixit -x c++ %t 4 // RUN: %clang_cc1 -fsyntax-only -pedantic -Wall -Werror -Wno-comment -fcxx-exceptions -x c++ %t 5 6 /* This is a test of the various code modification hints that are 7 provided as part of warning or extension diagnostics. All of the 8 warnings will be fixed by -fixit, and the resulting file should 9 compile cleanly with -Werror -pedantic. */ 10 11 struct C1 { 12 virtual void f(); 13 static void g(); 14 }; 15 struct C2 : virtual public virtual C1 { }; // expected-error{{duplicate}} 16 17 virtual void C1::f() { } // expected-error{{'virtual' can only be specified inside the class definition}} 18 19 static void C1::g() { } // expected-error{{'static' can only be specified inside the class definition}} 20 21 template<int Value> struct CT { }; // expected-note{{previous use is here}} 22 23 CT<10 >> 2> ct; // expected-warning{{require parentheses}} 24 25 class C3 { 26 public: 27 C3(C3, int i = 0); // expected-error{{copy constructor must pass its first argument by reference}} 28 }; 29 30 struct CT<0> { }; // expected-error{{'template<>'}} 31 32 template<> union CT<1> { }; // expected-error{{tag type}} 33 34 // Access declarations 35 class A { 36 protected: 37 int foo(); 38 }; 39 40 class B : public A { 41 A::foo; // expected-warning{{access declarations are deprecated}} 42 }; 43 44 void f() throw(); // expected-note{{previous}} 45 void f(); // expected-warning{{missing exception specification}} 46 47 namespace rdar7853795 { 48 struct A { 49 bool getNumComponents() const; // expected-note{{declared here}} 50 void dump() const { 51 getNumComponenets(); // expected-error{{use of undeclared identifier 'getNumComponenets'; did you mean 'getNumComponents'?}} 52 } 53 }; 54 } 55 56 namespace rdar7796492 { 57 struct A { int x, y; A(); }; 58 59 A::A() 60 : x(1) y(2) { // expected-error{{missing ',' between base or member initializers}} 61 } 62 63 } 64 65 // extra qualification on member 66 class C { 67 int C::foo(); // expected-error {{extra qualification}} 68 }; 69 70 namespace rdar8488464 { 71 int x = 0; 72 int x1 &= 0; // expected-error {{invalid '&=' at end of declaration; did you mean '='?}} 73 int x2 *= 0; // expected-error {{invalid '*=' at end of declaration; did you mean '='?}} 74 int x3 += 0; // expected-error {{invalid '+=' at end of declaration; did you mean '='?}} 75 int x4 -= 0; // expected-error {{invalid '-=' at end of declaration; did you mean '='?}} 76 int x5 != 0; // expected-error {{invalid '!=' at end of declaration; did you mean '='?}} 77 int x6 /= 0; // expected-error {{invalid '/=' at end of declaration; did you mean '='?}} 78 int x7 %= 0; // expected-error {{invalid '%=' at end of declaration; did you mean '='?}} 79 int x8 <= 0; // expected-error {{invalid '<=' at end of declaration; did you mean '='?}} 80 int x9 <<= 0; // expected-error {{invalid '<<=' at end of declaration; did you mean '='?}} 81 int x10 >= 0; // expected-error {{invalid '>=' at end of declaration; did you mean '='?}} 82 int x11 >>= 0; // expected-error {{invalid '>>=' at end of declaration; did you mean '='?}} 83 int x12 ^= 0; // expected-error {{invalid '^=' at end of declaration; did you mean '='?}} 84 int x13 |= 0; // expected-error {{invalid '|=' at end of declaration; did you mean '='?}} 85 int x14 == 0; // expected-error {{invalid '==' at end of declaration; did you mean '='?}} 86 87 void f() { 88 int x = 0; 89 (void)x; 90 int x1 &= 0; // expected-error {{invalid '&=' at end of declaration; did you mean '='?}} 91 (void)x1; 92 int x2 *= 0; // expected-error {{invalid '*=' at end of declaration; did you mean '='?}} 93 (void)x2; 94 int x3 += 0; // expected-error {{invalid '+=' at end of declaration; did you mean '='?}} 95 (void)x3; 96 int x4 -= 0; // expected-error {{invalid '-=' at end of declaration; did you mean '='?}} 97 (void)x4; 98 int x5 != 0; // expected-error {{invalid '!=' at end of declaration; did you mean '='?}} 99 (void)x5; 100 int x6 /= 0; // expected-error {{invalid '/=' at end of declaration; did you mean '='?}} 101 (void)x6; 102 int x7 %= 0; // expected-error {{invalid '%=' at end of declaration; did you mean '='?}} 103 (void)x7; 104 int x8 <= 0; // expected-error {{invalid '<=' at end of declaration; did you mean '='?}} 105 (void)x8; 106 int x9 <<= 0; // expected-error {{invalid '<<=' at end of declaration; did you mean '='?}} 107 (void)x9; 108 int x10 >= 0; // expected-error {{invalid '>=' at end of declaration; did you mean '='?}} 109 (void)x10; 110 int x11 >>= 0; // expected-error {{invalid '>>=' at end of declaration; did you mean '='?}} 111 (void)x11; 112 int x12 ^= 0; // expected-error {{invalid '^=' at end of declaration; did you mean '='?}} 113 (void)x12; 114 int x13 |= 0; // expected-error {{invalid '|=' at end of declaration; did you mean '='?}} 115 (void)x13; 116 int x14 == 0; // expected-error {{invalid '==' at end of declaration; did you mean '='?}} 117 (void)x14; 118 if (int x = 0) { (void)x; } 119 if (int x1 &= 0) { (void)x1; } // expected-error {{invalid '&=' at end of declaration; did you mean '='?}} 120 if (int x2 *= 0) { (void)x2; } // expected-error {{invalid '*=' at end of declaration; did you mean '='?}} 121 if (int x3 += 0) { (void)x3; } // expected-error {{invalid '+=' at end of declaration; did you mean '='?}} 122 if (int x4 -= 0) { (void)x4; } // expected-error {{invalid '-=' at end of declaration; did you mean '='?}} 123 if (int x5 != 0) { (void)x5; } // expected-error {{invalid '!=' at end of declaration; did you mean '='?}} 124 if (int x6 /= 0) { (void)x6; } // expected-error {{invalid '/=' at end of declaration; did you mean '='?}} 125 if (int x7 %= 0) { (void)x7; } // expected-error {{invalid '%=' at end of declaration; did you mean '='?}} 126 if (int x8 <= 0) { (void)x8; } // expected-error {{invalid '<=' at end of declaration; did you mean '='?}} 127 if (int x9 <<= 0) { (void)x9; } // expected-error {{invalid '<<=' at end of declaration; did you mean '='?}} 128 if (int x10 >= 0) { (void)x10; } // expected-error {{invalid '>=' at end of declaration; did you mean '='?}} 129 if (int x11 >>= 0) { (void)x11; } // expected-error {{invalid '>>=' at end of declaration; did you mean '='?}} 130 if (int x12 ^= 0) { (void)x12; } // expected-error {{invalid '^=' at end of declaration; did you mean '='?}} 131 if (int x13 |= 0) { (void)x13; } // expected-error {{invalid '|=' at end of declaration; did you mean '='?}} 132 if (int x14 == 0) { (void)x14; } // expected-error {{invalid '==' at end of declaration; did you mean '='?}} 133 } 134 } 135 136 template <class A> 137 class F1 { 138 public: 139 template <int B> 140 class Iterator { 141 }; 142 }; 143 144 template<class T> 145 class F2 { 146 typename F1<T>:: /*template*/ Iterator<0> Mypos; // expected-error {{use 'template' keyword to treat 'Iterator' as a dependent template name}} 147 }; 148 149 template <class T> 150 void f(){ 151 typename F1<T>:: /*template*/ Iterator<0> Mypos; // expected-error {{use 'template' keyword to treat 'Iterator' as a dependent template name}} 152 } 153 154 // Tests for &/* fixits radar 7113438. 155 class AD {}; 156 class BD: public AD {}; 157 158 void test (BD &br) { 159 AD* aPtr; 160 BD b; 161 aPtr = b; // expected-error {{assigning to 'AD *' from incompatible type 'BD'; take the address with &}} 162 aPtr = br; // expected-error {{assigning to 'AD *' from incompatible type 'BD'; take the address with &}} 163 } 164 165 void foo1() const {} // expected-error {{non-member function cannot have 'const' qualifier}} 166 void foo2() volatile {} // expected-error {{non-member function cannot have 'volatile' qualifier}} 167 void foo3() const volatile {} // expected-error {{non-member function cannot have 'const volatile' qualifier}} 168 169 struct S { void f(int, char); }; 170 int itsAComma, 171 itsAComma2 = 0, 172 oopsAComma(42), // expected-error {{expected ';' at end of declaration}} 173 AD oopsMoreCommas() { 174 static int n = 0, // expected-error {{expected ';' at end of declaration}} 175 static char c, 176 &d = c, // expected-error {{expected ';' at end of declaration}} 177 S s, // expected-error {{expected ';' at end of declaration}} 178 s.f(n, d); 179 AD ad, // expected-error {{expected ';' at end of declaration}} 180 return ad; 181 } 182 struct MoreAccidentalCommas { 183 int a : 5, 184 b : 7, 185 : 4, // expected-error {{expected ';' at end of declaration}} 186 char c, // expected-error {{expected ';' at end of declaration}} 187 double d, // expected-error {{expected ';' at end of declaration}} 188 MoreAccidentalCommas *next, // expected-error {{expected ';' at end of declaration}} 189 public: 190 int k, // expected-error {{expected ';' at end of declaration}} 191 friend void f(MoreAccidentalCommas) {} 192 int k2, // expected-error {{expected ';' at end of declaration}} 193 virtual void g(), // expected-error {{expected ';' at end of declaration}} 194 }; 195 196 template<class T> struct Mystery; 197 template<class T> typedef Mystery<T>::type getMysteriousThing() { // \ 198 expected-error {{function definition declared 'typedef'}} \ 199 expected-error {{missing 'typename' prior to dependent}} 200 return Mystery<T>::get(); 201 } 202 203 template<template<typename> Foo, // expected-error {{template template parameter requires 'class' after the parameter list}} 204 template<typename> typename Bar, // expected-error {{template template parameter requires 'class' after the parameter list}} 205 template<typename> struct Baz> // expected-error {{template template parameter requires 'class' after the parameter list}} 206 void func(); 207 208 namespace ShadowedTagType { 209 class Foo { 210 public: 211 enum Bar { X, Y }; 212 void SetBar(Bar bar); 213 Bar Bar(); // expected-note 2 {{enum 'Bar' is hidden by a non-type declaration of 'Bar' here}} 214 private: 215 Bar bar_; // expected-error {{must use 'enum' tag to refer to type 'Bar' in this scope}} 216 }; 217 void Foo::SetBar(Bar bar) { bar_ = bar; } // expected-error {{must use 'enum' tag to refer to type 'Bar' in this scope}} 218 } 219 220 #define NULL __null 221 char c = NULL; // expected-warning {{implicit conversion of NULL constant to 'char'}} 222 double dbl = NULL; // expected-warning {{implicit conversion of NULL constant to 'double'}} 223 224 namespace arrow_suggest { 225 226 template <typename T> 227 class wrapped_ptr { 228 public: 229 wrapped_ptr(T* ptr) : ptr_(ptr) {} 230 T* operator->() { return ptr_; } 231 private: 232 T *ptr_; 233 }; 234 235 class Worker { 236 public: 237 void DoSomething(); 238 }; 239 240 void test() { 241 wrapped_ptr<Worker> worker(new Worker); 242 worker.DoSomething(); // expected-error {{no member named 'DoSomething' in 'arrow_suggest::wrapped_ptr<arrow_suggest::Worker>'; did you mean to use '->' instead of '.'?}} 243 } 244 245 } // namespace arrow_suggest 246 247 // Make sure fixing namespace-qualified identifiers functions properly with 248 // namespace-aware typo correction/ 249 namespace redecl_typo { 250 namespace Foo { 251 void BeEvil(); // expected-note {{'BeEvil' declared here}} 252 } 253 namespace Bar { 254 namespace Foo { 255 bool isGood(); // expected-note {{'Bar::Foo::isGood' declared here}} 256 void beEvil(); 257 } 258 } 259 bool Foo::isGood() { // expected-error {{out-of-line definition of 'isGood' does not match any declaration in namespace 'redecl_typo::Foo'; did you mean 'Bar::Foo::isGood'?}} 260 return true; 261 } 262 void Foo::beEvil() {} // expected-error {{out-of-line definition of 'beEvil' does not match any declaration in namespace 'redecl_typo::Foo'; did you mean 'BeEvil'?}} 263 } 264 265 // Test behavior when a template-id is ended by a token which starts with '>'. 266 namespace greatergreater { 267 template<typename T> struct S { S(); S(T); }; 268 void f(S<int>=0); // expected-error {{a space is required between a right angle bracket and an equals sign (use '> =')}} 269 270 // FIXME: The fix-its here overlap so -fixit mode can't apply the second one. 271 //void f(S<S<int>>=S<int>()); 272 273 struct Shr { 274 template<typename T> Shr(T); 275 template<typename T> void operator >>=(T); 276 }; 277 278 template<template<typename>> struct TemplateTemplateParam; // expected-error {{requires 'class'}} 279 280 template<typename T> void t(); 281 void g() { 282 void (*p)() = &t<int>; 283 (void)(&t<int>==p); // expected-error {{use '> ='}} 284 (void)(&t<int>>=p); // expected-error {{use '> >'}} 285 (void)(&t<S<int>>>=p); // expected-error {{use '> >'}} 286 (Shr)&t<S<int>>>>=p; // expected-error {{use '> >'}} 287 288 // FIXME: We correct this to '&t<int> > >= p;' not '&t<int> >>= p;' 289 //(Shr)&t<int>>>=p; 290 291 // FIXME: The fix-its here overlap. 292 //(void)(&t<S<int>>==p); 293 } 294 } 295 296 class foo { 297 static void test() { 298 (void)&i; // expected-error{{must explicitly qualify name of member function when taking its address}} 299 } 300 int i(); 301 }; 302