1 // RUN: %clang_cc1 -std=c++20 %s -emit-llvm -o - -triple %itanium_abi_triple | FileCheck %s --implicit-check-not=DoNotEmit
2
3 // constexpr virtual functions can be called at runtime and go in the vtable as
4 // normal. But they are implicitly inline so are never the key function.
5
6 struct DoNotEmit {
7 virtual constexpr void f();
8 };
f()9 constexpr void DoNotEmit::f() {}
10
11 // CHECK-DAG: @_ZTV1B = {{.*}} constant { [3 x i8*] } { {{.*}} null, {{.*}} @_ZTI1B {{.*}} @_ZN1B1fEv
12 struct B {
13 // CHECK-DAG: define {{.*}} @_ZN1B1fEv
fB14 virtual constexpr void f() {}
15 };
16 B b;
17
18 struct CBase {
19 virtual constexpr void f(); // not key function
20 };
21
22 // CHECK-DAG: @_ZTV1C = {{.*}} constant {{.*}} null, {{.*}} @_ZTI1C {{.*}} @_ZN1C1fEv
23 struct C : CBase {
24 void f(); // key function
25 };
26 // CHECK-DAG: define {{.*}} @_ZN1C1fEv
f()27 void C::f() {}
28