1 // RUN: %clang_cc1 %s -std=c++11 -fcxx-exceptions -fexceptions -fsyntax-only -Wignored-qualifiers -verify
2 
3 int test1() {
4   throw;
5 }
6 
7 // PR5071
8 template<typename T> T f() { }
9 
10 template<typename T>
11 void g(T t) {
12   return t * 2; // okay
13 }
14 
15 template<typename T>
16 T h() {
17   return 17;
18 }
19 
20 // Don't warn on cv-qualified class return types, only scalar return types.
21 namespace ignored_quals {
22 struct S {};
23 const S class_c();
24 const volatile S class_cv();
25 
26 const int scalar_c(); // expected-warning{{'const' type qualifier on return type has no effect}}
27 int const scalar_c2(); // expected-warning{{'const' type qualifier on return type has no effect}}
28 
29 const
30 char*
31 const // expected-warning{{'const' type qualifier on return type has no effect}}
32 f();
33 
34 char
35 const*
36 const // expected-warning{{'const' type qualifier on return type has no effect}}
37 g();
38 
39 char* const h(); // expected-warning{{'const' type qualifier on return type has no effect}}
40 char* volatile i(); // expected-warning{{'volatile' type qualifier on return type has no effect}}
41 
42 char*
43 volatile // expected-warning{{'const volatile' type qualifiers on return type have no effect}}
44 const
45 j();
46 
47 const volatile int scalar_cv(); // expected-warning{{'const volatile' type qualifiers on return type have no effect}}
48 
49 // FIXME: Maintain enough information that we can point the diagnostic at the 'volatile' keyword.
50 const
51 int S::*
52 volatile
53 mixed_ret(); // expected-warning {{'volatile' type qualifier on return type has no effect}}
54 
55 const int volatile // expected-warning {{'const volatile' type qualifiers on return type have no effect}}
56     (((parens())));
57 
58 _Atomic(int) atomic();
59 
60 _Atomic // expected-warning {{'_Atomic' type qualifier on return type has no effect}}
61     int
62     atomic();
63 
64 auto trailing_return_type() ->
65     const int; // expected-warning {{'const' type qualifier on return type has no effect}}
66 
67 auto trailing_return_type_lambda = [](const int &x) ->
68     const int // expected-warning {{'const' type qualifier on return type has no effect}}
69     { return x; };
70 
71 const int ret_array()[4]; // expected-error {{cannot return array}}
72 }
73 
74 namespace PR9328 {
75   typedef char *PCHAR;
76   class Test
77   {
78     const PCHAR GetName() { return 0; } // expected-warning{{'const' type qualifier on return type has no effect}}
79   };
80 }
81 
82 class foo  {
83   operator const int ();
84   operator int * const ();
85 };
86 
87 namespace PR10057 {
88   struct S {
89     ~S();
90   };
91 
92   template <class VarType>
93   void Test(const VarType& value) {
94     return S() = value;
95   }
96 }
97 
98 namespace return_has_expr {
99   struct S {
100     S() {
101       return 42; // expected-error {{constructor 'S' should not return a value}}
102     }
103     ~S() {
104       return 42; // expected-error {{destructor '~S' should not return a value}}
105     }
106   };
107 }
108 
109 // rdar://15366494
110 // pr17759
111 namespace ctor_returns_void {
112   void f() {}
113   struct S {
114     S() { return f(); } // expected-error {{constructor 'S' must not return void expression}}
115     ~S() { return f(); } // expected-error {{destructor '~S' must not return void expression}}
116   };
117 
118   template <typename T> struct ST {
119     ST() { return f(); } // expected-error {{constructor 'ST<T>' must not return void expression}}
120                          // expected-error@-1 {{constructor 'ST' must not return void expression}}
121     ~ST() { return f(); } // expected-error {{destructor '~ST<T>' must not return void expression}}
122                           // expected-error@-1 {{destructor '~ST' must not return void expression}}
123   };
124 
125   ST<int> st; // expected-note {{in instantiation of member function 'ctor_returns_void::ST<int>::ST'}}
126               // expected-note@-1 {{in instantiation of member function 'ctor_returns_void::ST<int>::~ST'}}
127 }
128 
129 void cxx_unresolved_expr() {
130   // The use of an undeclared variable tricks clang into building a
131   // CXXUnresolvedConstructExpr, and the missing ')' gives it an invalid source
132   // location for its rparen.  Check that emitting a diag on the range of the
133   // expr doesn't assert.
134   return int(undeclared, 4; // expected-error {{expected ')'}} expected-note{{to match this '('}} expected-error {{use of undeclared identifier 'undeclared'}}
135 }
136