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
|
// RUN: %clang_cc1 -std=c++20 %s -fcxx-exceptions -fsyntax-only -Wexceptions -verify -fdeclspec
#include "Inputs/std-coroutine.h"
// expected-no-diagnostics
template <typename T>
struct promise;
template <typename T>
struct task {
using promise_type = promise<T>;
explicit task(promise_type& p) { throw 1; p.return_val = this; }
T value;
};
template <typename T>
struct promise {
task<T> get_return_object() { return task{*this}; }
std::suspend_never initial_suspend() const noexcept { return {}; }
std::suspend_never final_suspend() const noexcept { return {}; }
template <typename U>
void return_value(U&& val) { return_val->value = static_cast<U&&>(val); }
void unhandled_exception() { throw 1; }
task<T>* return_val;
};
task<int> a_ShouldNotDiag(const int a, const int b) {
if (b == 0)
throw b;
co_return a / b;
}
task<int> b_ShouldNotDiag(const int a, const int b) noexcept {
if (b == 0)
throw b;
co_return a / b;
}
const auto c_ShouldNotDiag = [](const int a, const int b) -> task<int> {
if (b == 0)
throw b;
co_return a / b;
};
const auto d_ShouldNotDiag = [](const int a, const int b) noexcept -> task<int> {
if (b == 0)
throw b;
co_return a / b;
};
|
