ca61961380
Implement https://cplusplus.github.io/CWG/issues/2631.html. Immediate calls in default arguments and defaults members are not evaluated. Instead, we evaluate them when constructing a `CXXDefaultArgExpr`/`BuildCXXDefaultInitExpr`. The immediate calls are executed by doing a transform on the initializing expression. Note that lambdas are not considering subexpressions so we do not need to transform them. As a result of this patch, unused default member initializers are not considered odr-used, and errors about members binding to local variables in an outer scope only surface at the point where a constructor is defined. Reviewed By: aaron.ballman, #clang-language-wg, rupprecht Differential Revision: https://reviews.llvm.org/D136554
55 lines
1.1 KiB
C++
55 lines
1.1 KiB
C++
// RUN: %clang_cc1 -std=c++2a -triple x86_64-elf-gnu %s -emit-llvm -o - | FileCheck %s
|
|
|
|
consteval int immediate() { return 0;}
|
|
static int ext();
|
|
void f(int a = immediate() + ext());
|
|
|
|
void test_function() {
|
|
f();
|
|
f(0);
|
|
// CHECK: call noundef i32 @_ZL3extv()
|
|
// CHECK: add
|
|
// CHECK: call {{.*}} @_Z1fi
|
|
// CHECK: call {{.*}} @_Z1fi
|
|
}
|
|
|
|
// CHECK: define {{.*}} i32 @_ZL3extv()
|
|
|
|
static constexpr int not_immediate();
|
|
struct A {
|
|
int a = immediate() + not_immediate();
|
|
};
|
|
|
|
void test_member() {
|
|
// CHECK: call void @_ZN1AC2Ev
|
|
A defaulted;
|
|
// CHECK-NOT: call void @_ZN1AC2Ev
|
|
A provided{0};
|
|
}
|
|
|
|
// CHECK: define {{.*}} void @_ZN1AC2Ev{{.*}}
|
|
// CHECK: %call = call noundef i32 @_ZL13not_immediatev()
|
|
|
|
int never_referenced() {return 42;};
|
|
|
|
|
|
namespace not_used {
|
|
|
|
struct A {
|
|
int a = immediate() + never_referenced();
|
|
};
|
|
void f(int a = immediate() + never_referenced());
|
|
|
|
void g() {
|
|
A a{0};
|
|
f(0);
|
|
}
|
|
|
|
}
|
|
|
|
static int ext() {return 0;}
|
|
static constexpr int not_immediate() {return 0;}
|
|
|
|
// CHECK-NOT: define {{.*}} i32 _ZL16never_referencedv()(
|
|
// CHECK: define {{.*}} i32 @_ZL13not_immediatev()
|