File: consteval-operators.cpp

package info (click to toggle)
llvm-toolchain-19 1%3A19.1.7-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 1,998,520 kB
  • sloc: cpp: 6,951,680; ansic: 1,486,157; asm: 913,598; python: 232,024; f90: 80,126; objc: 75,281; lisp: 37,276; pascal: 16,990; sh: 10,009; ml: 5,058; perl: 4,724; awk: 3,523; makefile: 3,167; javascript: 2,504; xml: 892; fortran: 664; cs: 573
file content (46 lines) | stat: -rw-r--r-- 986 bytes parent folder | download | duplicates (10) 
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
 
// RUN: %clang_cc1 -std=c++2a -emit-llvm-only -Wno-unused-value %s -verify

// expected-no-diagnostics

struct A {
  consteval A operator+() { return {}; }
};
consteval A operator~(A) { return {}; }
consteval A operator+(A, A) { return {}; }

template <class> void f() {
  A a;
  A b = ~a;
  A c = a + a;
  A d = +a;
}
template void f<int>();

template <class T> void foo() {
  T a;
  T b = ~a;
  T c = a + a;
  T d = +a;
}

template void foo<A>();

template <typename DataT> struct B { DataT D; };

template <typename DataT>
consteval B<DataT> operator+(B<DataT> lhs, B<DataT> rhs) {
  return B<DataT>{lhs.D + rhs.D};
}

template <class T> consteval T template_add(T a, T b) { return a + b; }

consteval B<int> non_template_add(B<int> a, B<int> b) { return a + b; }

void bar() {
  constexpr B<int> a{};
  constexpr B<int> b{};
  auto constexpr c = a + b;
}

static_assert((template_add(B<int>{7}, B<int>{3})).D == 10);
static_assert((non_template_add(B<int>{7}, B<int>{3})).D == 10);