summaryrefslogtreecommitdiff
path: root/gcc/testsuite/g++.dg/cpp0x/constexpr-pos1.C
blob: 775080acce69cd8b00dc4e8df60287b09b6c9eb3 (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
48
49
50
51
52
53
54
55
56
57
58
59
60
// Positive examples from N3092 (FCD)
// { dg-options -std=c++0x }

#define SA(X) static_assert(X, #X)

constexpr int bufsz = 1024; // OK: definition
SA (bufsz == 1024);

constexpr int square(int x); // OK: declaration

struct pixel {
  int x;
  int y;
  // OK: declaration
  constexpr pixel(int);
};
constexpr pixel::pixel(int a) // OK: definition
  : x(square(a)), y(square(a))
{ }

constexpr int square(int x) // OK: definition
{ return x * x; }

constexpr pixel large(4); // OK: square defined
SA(large.x == 16 && large.y==16);

constexpr long long_max() // OK
{ return 2147483647; }

SA(long_max() == 2147483647);

constexpr int abs(int x) // OK
{ return x < 0 ? -x : x; }

SA(abs(-1) == 1);
SA(abs(24) == 24);

struct Length {
  explicit constexpr Length(int i = 0) : val(i) { }
private:
  int val;
};

constexpr Length l1;
constexpr Length l2(12);

struct pixel2 {
  int x, y;
};
constexpr pixel2 ur = { 1294, 1024 };// OK

SA(ur.x == 1294 && ur.y == 1024);

constexpr const int* addr(const int& ir) { return &ir; } // OK
static const int x = 5;
extern constexpr const int* xp = addr(x); // OK: (const int*)&(const int&)x
					  // is an address contant expression
SA(xp == &x);
extern constexpr int x2 = *addr(5);
SA(x2 == 5);