1 // RUN: %clang_cc1 -fsyntax-only -verify %s
2 
3 // Reachability tests have to come first because they get suppressed
4 // if any errors have occurred.
5 namespace test5 {
6   struct A {
7     __attribute__((noreturn)) void fail();
8     void nofail();
9   } a;
10 
test1()11   int &test1() {
12     a.nofail();
13   } // expected-warning {{control reaches end of non-void function}}
14 
test2()15   int &test2() {
16     a.fail();
17   }
18 }
19 
20 // PR5620
21 void f0() __attribute__((__noreturn__));
22 void f1(void (*)());
f2()23 void f2() { f1(f0); }
24 
25 // Taking the address of a noreturn function
test_f0a()26 void test_f0a() {
27   void (*fp)() = f0;
28   void (*fp1)() __attribute__((noreturn)) = f0;
29 }
30 
31 // Taking the address of an overloaded noreturn function
32 void f0(int) __attribute__((__noreturn__));
33 
test_f0b()34 void test_f0b() {
35   void (*fp)() = f0;
36   void (*fp1)() __attribute__((noreturn)) = f0;
37 }
38 
39 // No-returned function pointers
40 typedef void (* noreturn_fp)() __attribute__((noreturn));
41 
42 void f3(noreturn_fp); // expected-note{{candidate function}}
43 
test_f3()44 void test_f3() {
45   f3(f0); // okay
46   f3(f2); // expected-error{{no matching function for call}}
47 }
48 
49 
50 class xpto {
51   int blah() __attribute__((noreturn));
52 };
53 
blah()54 int xpto::blah() {
55   return 3; // expected-warning {{function 'blah' declared 'noreturn' should not return}}
56 }
57 
58 // PR12948
59 
60 namespace PR12948 {
61   template<int>
62   void foo() __attribute__((__noreturn__));
63 
64   template<int>
foo()65   void foo() {
66     while (1) continue;
67   }
68 
69   void bar() __attribute__((__noreturn__));
70 
bar()71   void bar() {
72     foo<0>();
73   }
74 
75 
76   void baz() __attribute__((__noreturn__));
77   typedef void voidfn();
78   voidfn baz;
79 
80   template<typename> void wibble()  __attribute__((__noreturn__));
81   template<typename> voidfn wibble;
82 }
83 
84 // PR15291
85 // Overload resolution per over.over should allow implicit noreturn adjustment.
86 namespace PR15291 {
foo(int)87   __attribute__((noreturn)) void foo(int) {}
foo(double)88   __attribute__((noreturn)) void foo(double) {}
89 
90   template <typename T>
bar(T)91   __attribute__((noreturn)) void bar(T) {}
92 
baz(int)93   void baz(int) {}
baz(double)94   void baz(double) {}
95 
96   template <typename T>
qux(T)97   void qux(T) {}
98 
99   // expected-note@+5 {{candidate function [with T = void (*)(int) __attribute__((noreturn))] not viable: no overload of 'baz' matching 'void (*)(int) __attribute__((noreturn))' for 1st argument}}
100   // expected-note@+4 {{candidate function [with T = void (*)(int) __attribute__((noreturn))] not viable: no overload of 'qux' matching 'void (*)(int) __attribute__((noreturn))' for 1st argument}}
101   // expected-note@+3 {{candidate function [with T = void (*)(int) __attribute__((noreturn))] not viable: no overload of 'bar' matching 'void (*)(int) __attribute__((noreturn))' for 1st argument}}
102   // expected-note@+2 {{candidate function [with T = void (*)(int)] not viable: no overload of 'bar' matching 'void (*)(int)' for 1st argument}}
103   // expected-note@+1 {{candidate function [with T = void (int)] not viable: no overload of 'bar' matching 'void (*)(int)' for 1st argument}}
accept_T(T)104   template <typename T> void accept_T(T) {}
105 
106   // expected-note@+1 {{candidate function not viable: no overload of 'bar' matching 'void (*)(int)' for 1st argument}}
accept_fptr(void (* f)(int))107   void accept_fptr(void (*f)(int)) {
108     f(42);
109   }
110 
111   // expected-note@+2 {{candidate function not viable: no overload of 'baz' matching 'void (*)(int) __attribute__((noreturn))' for 1st argument}}
112   // expected-note@+1 {{candidate function not viable: no overload of 'qux' matching 'void (*)(int) __attribute__((noreturn))' for 1st argument}}
accept_noreturn_fptr(void (* f)(int))113   void accept_noreturn_fptr(void __attribute__((noreturn)) (*f)(int)) {
114     f(42);
115   }
116 
117   typedef void (*fptr_t)(int);
118   typedef void __attribute__((noreturn)) (*fptr_noreturn_t)(int);
119 
120   // expected-note@+1 {{candidate function not viable: no overload of 'bar' matching 'fptr_t' (aka 'void (*)(int)') for 1st argument}}
accept_fptr_t(fptr_t f)121   void accept_fptr_t(fptr_t f) {
122     f(42);
123   }
124 
125   // expected-note@+2 {{candidate function not viable: no overload of 'baz' matching 'fptr_noreturn_t' (aka 'void (*)(int) __attribute__((noreturn))') for 1st argument}}
126   // expected-note@+1 {{candidate function not viable: no overload of 'qux' matching 'fptr_noreturn_t' (aka 'void (*)(int) __attribute__((noreturn))') for 1st argument}}
accept_fptr_noreturn_t(fptr_noreturn_t f)127   void accept_fptr_noreturn_t(fptr_noreturn_t f) {
128     f(42);
129   }
130 
131   // Stripping noreturn should work if everything else is correct.
strip_noreturn()132   void strip_noreturn() {
133     accept_fptr(foo);
134     accept_fptr(bar<int>);
135     accept_fptr(bar<double>); // expected-error {{no matching function for call to 'accept_fptr'}}
136 
137     accept_fptr_t(foo);
138     accept_fptr_t(bar<int>);
139     accept_fptr_t(bar<double>); // expected-error {{no matching function for call to 'accept_fptr_t'}}
140 
141     accept_T<void __attribute__((noreturn)) (*)(int)>(foo);
142     accept_T<void __attribute__((noreturn)) (*)(int)>(bar<int>);
143     accept_T<void __attribute__((noreturn)) (*)(int)>(bar<double>); // expected-error {{no matching function for call to 'accept_T'}}
144 
145     accept_T<void (*)(int)>(foo);
146     accept_T<void (*)(int)>(bar<int>);
147     accept_T<void (*)(int)>(bar<double>); // expected-error {{no matching function for call to 'accept_T'}}
148 
149     accept_T<void (int)>(foo);
150     accept_T<void (int)>(bar<int>);
151     accept_T<void (int)>(bar<double>); // expected-error {{no matching function for call to 'accept_T'}}
152   }
153 
154   // Introducing noreturn should not work.
introduce_noreturn()155   void introduce_noreturn() {
156     accept_noreturn_fptr(baz); // expected-error {{no matching function for call to 'accept_noreturn_fptr'}}
157     accept_noreturn_fptr(qux<int>); // expected-error {{no matching function for call to 'accept_noreturn_fptr'}}
158 
159     accept_fptr_noreturn_t(baz); // expected-error {{no matching function for call to 'accept_fptr_noreturn_t'}}
160     accept_fptr_noreturn_t(qux<int>); // expected-error {{no matching function for call to 'accept_fptr_noreturn_t'}}
161 
162     accept_T<void __attribute__((noreturn)) (*)(int)>(baz); // expected-error {{no matching function for call to 'accept_T'}}
163     accept_T<void __attribute__((noreturn)) (*)(int)>(qux<int>); // expected-error {{no matching function for call to 'accept_T'}}
164   }
165 }
166