1*0f4c859eSApple OSS Distributions // 2*0f4c859eSApple OSS Distributions // Tests for 3*0f4c859eSApple OSS Distributions // bounded_ptr(std::nullptr_t); 4*0f4c859eSApple OSS Distributions // 5*0f4c859eSApple OSS Distributions 6*0f4c859eSApple OSS Distributions #include <libkern/c++/bounded_ptr.h> 7*0f4c859eSApple OSS Distributions #include <darwintest.h> 8*0f4c859eSApple OSS Distributions #include <darwintest_utils.h> 9*0f4c859eSApple OSS Distributions #include "test_utils.h" 10*0f4c859eSApple OSS Distributions 11*0f4c859eSApple OSS Distributions #define _assert(...) T_ASSERT_TRUE((__VA_ARGS__), # __VA_ARGS__) 12*0f4c859eSApple OSS Distributions 13*0f4c859eSApple OSS Distributions struct T { }; 14*0f4c859eSApple OSS Distributions 15*0f4c859eSApple OSS Distributions template <typename T> 16*0f4c859eSApple OSS Distributions static void tests()17*0f4c859eSApple OSS Distributionstests() 18*0f4c859eSApple OSS Distributions { 19*0f4c859eSApple OSS Distributions // Test with nullptr 20*0f4c859eSApple OSS Distributions { 21*0f4c859eSApple OSS Distributions test_bounded_ptr<T> p = nullptr; 22*0f4c859eSApple OSS Distributions _assert(p == nullptr); 23*0f4c859eSApple OSS Distributions } 24*0f4c859eSApple OSS Distributions { 25*0f4c859eSApple OSS Distributions test_bounded_ptr<T> p{nullptr}; 26*0f4c859eSApple OSS Distributions _assert(p == nullptr); 27*0f4c859eSApple OSS Distributions } 28*0f4c859eSApple OSS Distributions { 29*0f4c859eSApple OSS Distributions test_bounded_ptr<T> p(nullptr); 30*0f4c859eSApple OSS Distributions _assert(p == nullptr); 31*0f4c859eSApple OSS Distributions } 32*0f4c859eSApple OSS Distributions { 33*0f4c859eSApple OSS Distributions test_bounded_ptr<T> p = static_cast<test_bounded_ptr<T> >(nullptr); 34*0f4c859eSApple OSS Distributions _assert(p == nullptr); 35*0f4c859eSApple OSS Distributions } 36*0f4c859eSApple OSS Distributions { 37*0f4c859eSApple OSS Distributions auto f = [](test_bounded_ptr<T> p) { 38*0f4c859eSApple OSS Distributions _assert(p == nullptr); 39*0f4c859eSApple OSS Distributions }; 40*0f4c859eSApple OSS Distributions f(nullptr); 41*0f4c859eSApple OSS Distributions } 42*0f4c859eSApple OSS Distributions 43*0f4c859eSApple OSS Distributions // Test with NULL 44*0f4c859eSApple OSS Distributions { 45*0f4c859eSApple OSS Distributions test_bounded_ptr<T> p = NULL; 46*0f4c859eSApple OSS Distributions _assert(p == nullptr); 47*0f4c859eSApple OSS Distributions } 48*0f4c859eSApple OSS Distributions { 49*0f4c859eSApple OSS Distributions test_bounded_ptr<T> p{NULL}; 50*0f4c859eSApple OSS Distributions _assert(p == nullptr); 51*0f4c859eSApple OSS Distributions } 52*0f4c859eSApple OSS Distributions { 53*0f4c859eSApple OSS Distributions test_bounded_ptr<T> p(NULL); 54*0f4c859eSApple OSS Distributions _assert(p == nullptr); 55*0f4c859eSApple OSS Distributions } 56*0f4c859eSApple OSS Distributions { 57*0f4c859eSApple OSS Distributions test_bounded_ptr<T> p = static_cast<test_bounded_ptr<T> >(NULL); 58*0f4c859eSApple OSS Distributions _assert(p == nullptr); 59*0f4c859eSApple OSS Distributions } 60*0f4c859eSApple OSS Distributions { 61*0f4c859eSApple OSS Distributions auto f = [](test_bounded_ptr<T> p) { 62*0f4c859eSApple OSS Distributions _assert(p == nullptr); 63*0f4c859eSApple OSS Distributions }; 64*0f4c859eSApple OSS Distributions f(NULL); 65*0f4c859eSApple OSS Distributions } 66*0f4c859eSApple OSS Distributions 67*0f4c859eSApple OSS Distributions // Test with 0 68*0f4c859eSApple OSS Distributions { 69*0f4c859eSApple OSS Distributions test_bounded_ptr<T> p = 0; 70*0f4c859eSApple OSS Distributions _assert(p == nullptr); 71*0f4c859eSApple OSS Distributions } 72*0f4c859eSApple OSS Distributions { 73*0f4c859eSApple OSS Distributions test_bounded_ptr<T> p{0}; 74*0f4c859eSApple OSS Distributions _assert(p == nullptr); 75*0f4c859eSApple OSS Distributions } 76*0f4c859eSApple OSS Distributions { 77*0f4c859eSApple OSS Distributions test_bounded_ptr<T> p(0); 78*0f4c859eSApple OSS Distributions _assert(p == nullptr); 79*0f4c859eSApple OSS Distributions } 80*0f4c859eSApple OSS Distributions { 81*0f4c859eSApple OSS Distributions test_bounded_ptr<T> p = static_cast<test_bounded_ptr<T> >(0); 82*0f4c859eSApple OSS Distributions _assert(p == nullptr); 83*0f4c859eSApple OSS Distributions } 84*0f4c859eSApple OSS Distributions { 85*0f4c859eSApple OSS Distributions auto f = [](test_bounded_ptr<T> p) { 86*0f4c859eSApple OSS Distributions _assert(p == nullptr); 87*0f4c859eSApple OSS Distributions }; 88*0f4c859eSApple OSS Distributions f(0); 89*0f4c859eSApple OSS Distributions } 90*0f4c859eSApple OSS Distributions } 91*0f4c859eSApple OSS Distributions 92*0f4c859eSApple OSS Distributions T_DECL(ctor_nullptr, "bounded_ptr.ctor.nullptr") { 93*0f4c859eSApple OSS Distributions tests<T>(); 94*0f4c859eSApple OSS Distributions tests<T const>(); 95*0f4c859eSApple OSS Distributions tests<T volatile>(); 96*0f4c859eSApple OSS Distributions tests<T const volatile>(); 97*0f4c859eSApple OSS Distributions } 98