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
|
// RUN: %clang_cc1 -std=c++17 %s -emit-llvm -triple %itanium_abi_triple -o - | FileCheck %s
namespace LambdaContainingLocalClasses {
template <typename F>
void GH59734() {
[&](auto param) {
struct Guard {
Guard() {
// Check that we're able to create DeclRefExpr to param at this point.
static_assert(__is_same(decltype(param), int), "");
}
~Guard() {
static_assert(__is_same(decltype(param), int), "");
}
operator decltype(param)() {
return decltype(param)();
}
};
Guard guard;
param = guard;
}(42);
}
// Guard::Guard():
// CHECK-DAG: define {{.*}} @_ZZZN28LambdaContainingLocalClasses7GH59734IiEEvvENKUlT_E_clIiEEDaS1_EN5GuardC2Ev
// Guard::operator int():
// CHECK-DAG: define {{.*}} @_ZZZN28LambdaContainingLocalClasses7GH59734IiEEvvENKUlT_E_clIiEEDaS1_EN5GuardcviEv
// Guard::~Guard():
// CHECK-DAG: define {{.*}} @_ZZZN28LambdaContainingLocalClasses7GH59734IiEEvvENKUlT_E_clIiEEDaS1_EN5GuardD2Ev
struct S {};
template <class T = void>
auto GH132208 = [](auto param) {
struct OnScopeExit {
OnScopeExit() {
static_assert(__is_same(decltype(param), S), "");
}
~OnScopeExit() {
static_assert(__is_same(decltype(param), S), "");
}
operator decltype(param)() {
return decltype(param)();
}
} pending;
param = pending;
};
void bar() {
GH59734<int>();
GH132208<void>(S{});
}
// OnScopeExit::OnScopeExit():
// CHECK-DAG: define {{.*}} @_ZZNK28LambdaContainingLocalClasses8GH132208IvEMUlT_E_clINS_1SEEEDaS2_EN11OnScopeExitC2Ev
// OnScopeExit::operator S():
// CHECK-DAG: define {{.*}} @_ZZNK28LambdaContainingLocalClasses8GH132208IvEMUlT_E_clINS_1SEEEDaS2_EN11OnScopeExitcvS5_Ev
// OnScopeExit::~OnScopeExit():
// CHECK-DAG: define {{.*}} @_ZZNK28LambdaContainingLocalClasses8GH132208IvEMUlT_E_clINS_1SEEEDaS2_EN11OnScopeExitD2Ev
} // namespace LambdaContainingLocalClasses
|
