blob: 506c5aaf43b9bd69e19256e67e44dde184e0f7bb (
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
|
// RUN: %clang_cc1 -verify -std=c++2a -fclang-abi-compat=latest -emit-llvm -triple %itanium_abi_triple -o - %s | FileCheck %s
// expected-no-diagnostics
template <typename T, int N> concept SmallerThan = sizeof(T) < N;
template <typename T> concept Small = SmallerThan<T, 1000>;
template <typename T> struct X { using type = T; };
template <typename T> void f(int n) requires requires {
// simple-requirement
T();
n;
n == T();
// compound-requirement
{T() + 1} -> Small;
{T() - 1} noexcept;
{T() * 2} noexcept -> SmallerThan<1234>;
// type-requirement
typename T;
typename X<T>;
typename X<T>::type;
typename X<decltype(n)>;
// nested-requirement
requires SmallerThan<T, 256>;
} {}
// CHECK: define {{.*}}@_Z1fIiEviQrqXcvT__EXfp_Xeqfp_cvS0__EXplcvS0__ELi1ER5SmallXmicvS0__ELi1ENXmlcvS0__ELi2ENR11SmallerThanILi1234EETS0_T1XIS0_ETNS3_4typeETS2_IiEQ11SmallerThanIS0_Li256EEE(
template void f<int>(int);
template <typename T> void g(int n) requires requires (T m) {
// reference to our parameter vs an enclosing parameter
n + m;
} {}
// CHECK: define {{.*}}@_Z1gIiEviQrQT__XplfL0p_fp_E(
template void g<int>(int);
namespace GH147650 {
template <int> int b;
template <int b>
void f()
requires requires { [] { (void)b; }; } {}
void test() {
f<42>();
}
// CHECK-LABEL:define {{.*}} void @"_ZN8GH1476501fILi42EEEvvQrqXLNS_3$_0EEE"()
}
|
