git://gcc.gnu.org / gcc.git / blame
| Commit | Line | Data |
|---|---|---|
| be845b04 JJ |
1 | // LWG2296 - addressof should be constexpr |
| 2 | // { dg-do run { target c++11 } } | |
| 3 | ||
| 4 | template <typename T> | |
| 5 | constexpr inline T * | |
| 6 | addressof (T &x) noexcept | |
| 7 | { | |
| 8 | return __builtin_addressof (x); | |
| 9 | } | |
| 10 | ||
| 11 | int i; | |
| 12 | static_assert (__builtin_addressof (i) == &i, ""); | |
| 13 | static_assert (addressof (i) == &i, ""); | |
| 14 | ||
| 15 | constexpr int &j = i; | |
| 16 | static_assert (__builtin_addressof (j) == &i, ""); | |
| 17 | static_assert (addressof (j) == &i, ""); | |
| 18 | ||
| 19 | struct S { int s; } s; | |
| 20 | static_assert (__builtin_addressof (s) == &s, ""); | |
| be845b04 | 21 | static_assert (addressof (s) == &s, ""); |
| be845b04 JJ |
22 | |
| 23 | struct T | |
| 24 | { | |
| 25 | static T tt; | |
| 26 | constexpr T () : p (addressof (tt)) {} | |
| 27 | constexpr T *operator & () const { return p; } | |
| 28 | T *p; | |
| 29 | }; | |
| 30 | constexpr T t; | |
| 31 | T T::tt; | |
| be845b04 | 32 | static_assert (&t == __builtin_addressof (T::tt), ""); |
| be845b04 JJ |
33 | static_assert (&t == addressof (T::tt), ""); |
| 34 | ||
| 35 | struct S x, y; | |
| 36 | ||
| 37 | constexpr S * | |
| 38 | foo (bool b) | |
| 39 | { | |
| 40 | return __builtin_addressof (b ? x : y); | |
| 41 | } | |
| 42 | ||
| 43 | constexpr S * | |
| 44 | bar (bool b, S &c, S &d) | |
| 45 | { | |
| 46 | return __builtin_addressof (b ? c : d); | |
| 47 | } | |
| 48 | ||
| 49 | static_assert (foo (false) == &y, ""); | |
| 50 | static_assert (foo (true) == &x, ""); | |
| 51 | static_assert (bar (false, y, x) == &x, ""); | |
| 52 | static_assert (bar (true, y, x) == &y, ""); | |
| 53 | ||
| 54 | constexpr S * | |
| 55 | foo2 (bool b) | |
| 56 | { | |
| 57 | return addressof (b ? x : y); | |
| 58 | } | |
| 59 | ||
| 60 | constexpr S * | |
| 61 | bar2 (bool b, S &c, S &d) | |
| 62 | { | |
| 63 | return addressof (b ? c : d); | |
| 64 | } | |
| 65 | ||
| 66 | static_assert (foo2 (false) == &y, ""); | |
| 67 | static_assert (foo2 (true) == &x, ""); | |
| 68 | static_assert (bar2 (false, y, x) == &x, ""); | |
| 69 | static_assert (bar2 (true, y, x) == &y, ""); | |
| 70 | ||
| 71 | constexpr int a = 1; | |
| 72 | static_assert (__builtin_addressof (a) == &a, ""); | |
| 73 | static_assert (addressof (a) == &a, ""); | |
| 74 | constexpr int c[10] = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 }; | |
| be845b04 JJ |
75 | |
| 76 | void | |
| 77 | baz () | |
| 78 | { | |
| 79 | } | |
| 80 | ||
| 81 | int | |
| 82 | main () | |
| 83 | { | |
| 84 | if (__builtin_addressof (T::tt) == __builtin_addressof (t) | |
| 85 | || addressof (T::tt) == addressof (t) | |
| 86 | || &T::tt != &t | |
| 87 | || __builtin_addressof (baz) != baz | |
| 88 | || addressof (baz) != baz) | |
| 89 | __builtin_abort (); | |
| 7d75ea04 JJ |
90 | |
| 91 | // reinterpret casts are not constexprs | |
| 92 | if (! (((int *) __builtin_addressof (s) == &s.s) | |
| 93 | && ((int *) addressof (s) == &s.s) | |
| 94 | && (__builtin_addressof (t) == (const T *) &t.p) | |
| 95 | && (addressof (t) == (const T *) &t.p) | |
| 96 | && ((const int *) __builtin_addressof (c) == &c[0]) | |
| 97 | && ((const int *) addressof (c) == &c[0]))) | |
| 98 | __builtin_abort (); | |
| 99 | ||
| 100 | return 0; | |
| be845b04 | 101 | } |