| //===----------------------------------------------------------------------===// |
| // |
| // The LLVM Compiler Infrastructure |
| // |
| // This file is dual licensed under the MIT and the University of Illinois Open |
| // Source Licenses. See LICENSE.TXT for details. |
| // |
| //===----------------------------------------------------------------------===// |
| |
| #include <memory> |
| #include <cassert> |
| |
| #if __cplusplus >= 201103L |
| // #include <memory> |
| // |
| // template <class Alloc> |
| // struct allocator_traits |
| // { |
| // typedef Alloc allocator_type; |
| // typedef typename allocator_type::value_type |
| // value_type; |
| // |
| // typedef Alloc::pointer | value_type* pointer; |
| // typedef Alloc::const_pointer |
| // | pointer_traits<pointer>::rebind<const value_type> |
| // const_pointer; |
| // typedef Alloc::void_pointer |
| // | pointer_traits<pointer>::rebind<void> |
| // void_pointer; |
| // typedef Alloc::const_void_pointer |
| // | pointer_traits<pointer>::rebind<const void> |
| // const_void_pointer; |
| |
| template <typename Alloc> |
| void test_pointer() |
| { |
| typename std::allocator_traits<Alloc>::pointer vp; |
| typename std::allocator_traits<Alloc>::const_pointer cvp; |
| |
| static_assert(std::is_same<bool, decltype( vp == vp)>::value, ""); |
| static_assert(std::is_same<bool, decltype( vp != vp)>::value, ""); |
| static_assert(std::is_same<bool, decltype( vp > vp)>::value, ""); |
| static_assert(std::is_same<bool, decltype( vp >= vp)>::value, ""); |
| static_assert(std::is_same<bool, decltype( vp < vp)>::value, ""); |
| static_assert(std::is_same<bool, decltype( vp <= vp)>::value, ""); |
| |
| static_assert(std::is_same<bool, decltype( vp == cvp)>::value, ""); |
| static_assert(std::is_same<bool, decltype(cvp == vp)>::value, ""); |
| static_assert(std::is_same<bool, decltype( vp != cvp)>::value, ""); |
| static_assert(std::is_same<bool, decltype(cvp != vp)>::value, ""); |
| static_assert(std::is_same<bool, decltype( vp > cvp)>::value, ""); |
| static_assert(std::is_same<bool, decltype(cvp > vp)>::value, ""); |
| static_assert(std::is_same<bool, decltype( vp >= cvp)>::value, ""); |
| static_assert(std::is_same<bool, decltype(cvp >= vp)>::value, ""); |
| static_assert(std::is_same<bool, decltype( vp < cvp)>::value, ""); |
| static_assert(std::is_same<bool, decltype(cvp < vp)>::value, ""); |
| static_assert(std::is_same<bool, decltype( vp <= cvp)>::value, ""); |
| static_assert(std::is_same<bool, decltype(cvp <= vp)>::value, ""); |
| |
| static_assert(std::is_same<bool, decltype(cvp == cvp)>::value, ""); |
| static_assert(std::is_same<bool, decltype(cvp != cvp)>::value, ""); |
| static_assert(std::is_same<bool, decltype(cvp > cvp)>::value, ""); |
| static_assert(std::is_same<bool, decltype(cvp >= cvp)>::value, ""); |
| static_assert(std::is_same<bool, decltype(cvp < cvp)>::value, ""); |
| static_assert(std::is_same<bool, decltype(cvp <= cvp)>::value, ""); |
| } |
| |
| template <typename Alloc> |
| void test_void_pointer() |
| { |
| typename std::allocator_traits<Alloc>::void_pointer vp; |
| typename std::allocator_traits<Alloc>::const_void_pointer cvp; |
| |
| static_assert(std::is_same<bool, decltype( vp == vp)>::value, ""); |
| static_assert(std::is_same<bool, decltype( vp != vp)>::value, ""); |
| static_assert(std::is_same<bool, decltype( vp > vp)>::value, ""); |
| static_assert(std::is_same<bool, decltype( vp >= vp)>::value, ""); |
| static_assert(std::is_same<bool, decltype( vp < vp)>::value, ""); |
| static_assert(std::is_same<bool, decltype( vp <= vp)>::value, ""); |
| |
| static_assert(std::is_same<bool, decltype( vp == cvp)>::value, ""); |
| static_assert(std::is_same<bool, decltype(cvp == vp)>::value, ""); |
| static_assert(std::is_same<bool, decltype( vp != cvp)>::value, ""); |
| static_assert(std::is_same<bool, decltype(cvp != vp)>::value, ""); |
| static_assert(std::is_same<bool, decltype( vp > cvp)>::value, ""); |
| static_assert(std::is_same<bool, decltype(cvp > vp)>::value, ""); |
| static_assert(std::is_same<bool, decltype( vp >= cvp)>::value, ""); |
| static_assert(std::is_same<bool, decltype(cvp >= vp)>::value, ""); |
| static_assert(std::is_same<bool, decltype( vp < cvp)>::value, ""); |
| static_assert(std::is_same<bool, decltype(cvp < vp)>::value, ""); |
| static_assert(std::is_same<bool, decltype( vp <= cvp)>::value, ""); |
| static_assert(std::is_same<bool, decltype(cvp <= vp)>::value, ""); |
| |
| static_assert(std::is_same<bool, decltype(cvp == cvp)>::value, ""); |
| static_assert(std::is_same<bool, decltype(cvp != cvp)>::value, ""); |
| static_assert(std::is_same<bool, decltype(cvp > cvp)>::value, ""); |
| static_assert(std::is_same<bool, decltype(cvp >= cvp)>::value, ""); |
| static_assert(std::is_same<bool, decltype(cvp < cvp)>::value, ""); |
| static_assert(std::is_same<bool, decltype(cvp <= cvp)>::value, ""); |
| } |
| |
| struct Foo { int x; }; |
| |
| int main() |
| { |
| test_pointer<std::allocator<char>> (); |
| test_pointer<std::allocator<int>> (); |
| test_pointer<std::allocator<Foo>> (); |
| |
| test_void_pointer<std::allocator<char>> (); |
| test_void_pointer<std::allocator<int>> (); |
| test_void_pointer<std::allocator<Foo>> (); |
| } |
| #else |
| int main() {} |
| #endif |