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-do compile { target c++11 } }
#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);
|
