|
111
|
1 // Positive examples from N3092 (FCD)
|
|
|
2 // { dg-do compile { target c++11 } }
|
|
|
3
|
|
|
4 #define SA(X) static_assert(X, #X)
|
|
|
5
|
|
|
6 constexpr int bufsz = 1024; // OK: definition
|
|
|
7 SA (bufsz == 1024);
|
|
|
8
|
|
|
9 constexpr int square(int x); // OK: declaration
|
|
|
10
|
|
|
11 struct pixel {
|
|
|
12 int x;
|
|
|
13 int y;
|
|
|
14 // OK: declaration
|
|
|
15 constexpr pixel(int);
|
|
|
16 };
|
|
|
17 constexpr pixel::pixel(int a) // OK: definition
|
|
|
18 : x(square(a)), y(square(a))
|
|
|
19 { }
|
|
|
20
|
|
|
21 constexpr int square(int x) // OK: definition
|
|
|
22 { return x * x; }
|
|
|
23
|
|
|
24 constexpr pixel large(4); // OK: square defined
|
|
|
25 SA(large.x == 16 && large.y==16);
|
|
|
26
|
|
|
27 constexpr long long_max() // OK
|
|
|
28 { return 2147483647; }
|
|
|
29
|
|
|
30 SA(long_max() == 2147483647);
|
|
|
31
|
|
|
32 constexpr int abs(int x) // OK
|
|
|
33 { return x < 0 ? -x : x; }
|
|
|
34
|
|
|
35 SA(abs(-1) == 1);
|
|
|
36 SA(abs(24) == 24);
|
|
|
37
|
|
|
38 struct Length {
|
|
|
39 explicit constexpr Length(int i = 0) : val(i) { }
|
|
|
40 private:
|
|
|
41 int val;
|
|
|
42 };
|
|
|
43
|
|
|
44 constexpr Length l1;
|
|
|
45 constexpr Length l2(12);
|
|
|
46
|
|
|
47 struct pixel2 {
|
|
|
48 int x, y;
|
|
|
49 };
|
|
|
50 constexpr pixel2 ur = { 1294, 1024 };// OK
|
|
|
51
|
|
|
52 SA(ur.x == 1294 && ur.y == 1024);
|
|
|
53
|
|
|
54 constexpr const int* addr(const int& ir) { return &ir; } // OK
|
|
|
55 static const int x = 5;
|
|
|
56 extern constexpr const int* xp = addr(x); // OK: (const int*)&(const int&)x
|
|
|
57 // is an address contant expression
|
|
|
58 SA(xp == &x);
|
|
|
59 extern constexpr int x2 = *addr(5);
|
|
|
60 SA(x2 == 5);
|
