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   class 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-warning {{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 {{type qualifier is not allowed on this function}}
166 void foo2() volatile {} // expected-error {{type qualifier is not allowed on this function}}
167 void foo3() const volatile {} // expected-error {{type qualifier is not allowed on this function}}
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