File: constexpr.cc

package info (click to toggle)
gcc-arm-none-eabi 15%3A12.2.rel1-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 959,712 kB
  • sloc: cpp: 3,275,382; ansic: 2,061,766; ada: 840,956; f90: 208,513; makefile: 76,132; asm: 73,433; xml: 50,448; exp: 34,146; sh: 32,436; objc: 15,637; fortran: 14,012; python: 11,991; pascal: 6,787; awk: 4,779; perl: 3,054; yacc: 338; ml: 285; lex: 201; haskell: 122
file content (51 lines) | stat: -rw-r--r-- 876 bytes parent folder | download 
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
 
// { dg-options "-std=gnu++20" }
// { dg-do compile { target c++20 } }
// { dg-xfail-if "not supported" { debug_mode } }

#include <vector>
#include <utility>
#include <testsuite_hooks.h>

constexpr bool
test_std_swap()
{
  std::vector<int> v1 = {1, 2, 3};
  std::vector<int> v2 = {0, 1};

  std::swap(v1, v2);

  VERIFY(v1.size() == 2);
  VERIFY(v1.at(0) == 0);
  VERIFY(v1.at(1) == 1);

  VERIFY(v2.size() == 3);
  VERIFY(v2[0] == 1);
  VERIFY(v2[1] == 2);
  VERIFY(v2[2] == 3);

  return true;
}

static_assert(test_std_swap());

constexpr bool
test_member_swap()
{
  std::vector<int> v1 = {1, 2, 3};
  std::vector<int> v2 = {0, 1};

  v1.swap(v2);

  VERIFY(v1.size() == 2);
  VERIFY(v1.at(0) == 0);
  VERIFY(v1.at(1) == 1);

  VERIFY(v2.size() == 3);
  VERIFY(v2[0] == 1);
  VERIFY(v2[1] == 2);
  VERIFY(v2[2] == 3);

  return true;
}

static_assert(test_member_swap());