blob: e8ac8a657ab84aeefd7c0a0abb8d515065935089 (
plain)
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
|
// RUN: %clang_cc1 -fsyntax-only -verify -std=c++20 %s
// Various tests for -fno-exceptions
typedef __SIZE_TYPE__ size_t;
namespace test0 {
class Foo {
public:
void* operator new(size_t x);
private:
void operator delete(void *x);
};
void test() {
// Under -fexceptions, this does access control for the associated
// 'operator delete'.
(void) new Foo();
}
}
namespace test1 {
void f() {
throw; // expected-error {{cannot use 'throw' with exceptions disabled}}
}
void g() {
try { // expected-error {{cannot use 'try' with exceptions disabled}}
f();
} catch (...) {
}
}
}
namespace test2 {
template <auto enable> void foo(auto &&Fnc) {
if constexpr (enable)
try {
Fnc();
} catch (...) {
}
else
Fnc();
}
void bar1() {
foo<false>([] {});
}
template <typename T> void foo() {
try { // expected-error {{cannot use 'try' with exceptions disabled}}
} catch (...) {
}
throw 1; // expected-error {{cannot use 'throw' with exceptions disabled}}
}
void bar2() { foo<int>(); } // expected-note {{in instantiation of function template specialization 'test2::foo<int>' requested here}}
}
|