1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
| // RUN: %clang_cc1 -triple x86_64-apple-darwin9 %s -std=c++14 -fcoroutines-ts -fsyntax-only -Wignored-qualifiers -Wno-error=return-type -verify -fblocks -Wall -Wextra -Wno-error=unreachable-code
#include "Inputs/std-coroutine.h"
using std::experimental::suspend_always;
using std::experimental::suspend_never;
struct awaitable {
bool await_ready();
void await_suspend(std::experimental::coroutine_handle<>); // FIXME: coroutine_handle
void await_resume();
} a;
struct promise_void {
void get_return_object();
suspend_always initial_suspend();
suspend_always final_suspend();
void return_void();
void unhandled_exception();
};
struct promise_void_return_value {
void get_return_object();
suspend_always initial_suspend();
suspend_always final_suspend();
void unhandled_exception();
void return_value(int);
};
struct VoidTagNoReturn {
struct promise_type {
VoidTagNoReturn get_return_object();
suspend_always initial_suspend();
suspend_always final_suspend();
void unhandled_exception();
};
};
struct VoidTagReturnValue {
struct promise_type {
VoidTagReturnValue get_return_object();
suspend_always initial_suspend();
suspend_always final_suspend();
void unhandled_exception();
void return_value(int);
};
};
struct VoidTagReturnVoid {
struct promise_type {
VoidTagReturnVoid get_return_object();
suspend_always initial_suspend();
suspend_always final_suspend();
void unhandled_exception();
void return_void();
};
};
struct promise_float {
float get_return_object();
suspend_always initial_suspend();
suspend_always final_suspend();
void return_void();
void unhandled_exception();
};
struct promise_int {
int get_return_object();
suspend_always initial_suspend();
suspend_always final_suspend();
void return_value(int);
void unhandled_exception();
};
template <>
struct std::experimental::coroutine_traits<void> { using promise_type = promise_void; };
template <typename T1>
struct std::experimental::coroutine_traits<void, T1> { using promise_type = promise_void_return_value; };
template <typename... T>
struct std::experimental::coroutine_traits<float, T...> { using promise_type = promise_float; };
template <typename... T>
struct std::experimental::coroutine_traits<int, T...> { using promise_type = promise_int; };
void test0() { co_await a; }
float test1() { co_await a; }
int test2() {
co_await a;
} // expected-warning {{control reaches end of coroutine; which is undefined behavior because the promise type 'std::experimental::coroutine_traits<int>::promise_type' (aka 'promise_int') does not declare 'return_void()'}}
int test2a(bool b) {
if (b)
co_return 42;
} // expected-warning {{control may reach end of coroutine; which is undefined behavior because the promise type 'std::experimental::coroutine_traits<int, bool>::promise_type' (aka 'promise_int') does not declare 'return_void()'}}
int test3() {
co_await a;
b:
goto b;
}
int test4() {
co_return 42;
}
void test5(int) {
co_await a;
} // expected-warning {{control reaches end of coroutine; which is undefined behavior because}}
void test6(int x) {
if (x)
co_return 42;
} // expected-warning {{control may reach end of coroutine; which is undefined behavior because}}
void test7(int y) {
if (y)
co_return 42;
else
co_return 101;
}
VoidTagReturnVoid test8() {
co_await a;
}
VoidTagReturnVoid test9(bool b) {
if (b)
co_return;
}
VoidTagReturnValue test10() {
co_await a;
} // expected-warning {{control reaches end of coroutine}}
VoidTagReturnValue test11(bool b) {
if (b)
co_return 42;
} // expected-warning {{control may reach end of coroutine}}
|